Математическая логика и теория алгоритмов — реферат

Задания к контрольной работе по дисциплине «Математическая логика и теория алгоритмов» для студентов, обучающихся по заочной форме обучения по специальности 230105.65 «Программное обеспечение вычислительной техники и автоматизированных систем». Разработаны в соответствии с Государственным образовательным стандартом Высшего профессионального образования, содержат требования к составу, содержанию, выбору варианта, оформлению задания к домашней контрольной работе, методические рекомендации по его выполнению.

Одобрено на заседании кафедры «Общих гуманитарных, социально-экономических и естественно-научных дисциплин». Протокол № 2 от 24.09.08

ПОЯСНИТЕЛЬНАЯ ЗАПИСКА

Учебная дисциплина «Математическая логика и теория алгоритмов» предназначена для реализации государственных требований к минимуму содержания и уровню подготовки выпускников по специальности, 230105.65 «Программное обеспечение вычислительной техники и автоматизированных систем».
Целью изучения дисциплины является получение студентами необходимых знаний о новых методах экономики, основанных на эконометрических моделях, концепциях, приемах, позволяющих производить экономический прогноз в недоступных точках пространственно-временного континуума.
В результате изучения дисциплины студенты заочной формы обучения должны
знать:
 что является предметом математической логики и теории алгоритмов;
 примеры формальных систем и алгоритмов;
 основные определения и основные свойства логики высказываний и нечетной логики;
 основные формулы логики высказываний;
 основные определения и основные свойства логики предикатов;
 синтаксис семантику логики предикатов;
 клаузальную форму;
 понятие алгоритмической системы;
 алгоритмически неразрешимые проблемы;
 сложность вычислений;
уметь:
 использовать правила вывода в формальной системе;
 составлять таблицы истинности;
 выводить закон двойственности;
 записывать нормальные формы формул;
 исчислять высказывания;
 строить перечислительные таблицы;
 использование кванторных предикатов для записи различных предложений;
 определять выполнимость и общезначимость предикатных формул;
 приводить предикатные формулы к нормальной форме и сколемовской стандартной форме;
 исчислять предикаты;
 формализовать алгоритмы;
 пользоваться элементами алгоритмической логики.
Домашняя контрольная работа проводится в целях закрепления полученных теоретических знаний и выработки практических умений и навыков решения типовых задач по данной учебной дисциплине.
Перед началом выполнения контрольной работы необходимо изучить конспекты лекций, учебные пособия, примеры решения задач. При выполнении контрольной работы следует руководствоваться общими указаниями по выполнению письменных работ.
Все задания контрольной работы разделены на 10 вариантов. Номер варианта определяется по последней цифре в номере зачетной книжки студента.

Комментарии: