Уважаемый слушатель!
Цель преподавания дисциплины «Математическая логика и
теория алгоритмов»состоит в изучении основных понятий и методов математической логики и теории алгоритмов,
используемые в информатике и вычислительной технике, а также в получении представления о направлениях развития данной дисциплины
и перспективах ее использования в информатике и вычислительной технике.
Задачами дисциплины является приобретение умений
использования основных понятий математической логики и теории алгоритмов для построения несложных логических моделей
предметных областей, реализации логического
вывода и оценки вычислительной сложности алгоритмов.
Изучение данной дисциплины базируется на материале предшествующего курса «Дискретная математика».
Дисциплина является предшествующей для большинства дисциплин, в том числе: «Функциональное и логическое программирование»,
«Теория сложности вычислительных процессов и структур»,
«Теория языков программирования и методы трансляции»
В процессе изучения данной дисциплины Вам необходимо:
- Изучить конспект лекций;
- Выполнить контрольную работу;
- Сдать зачет.
Внимательно прочтите следующие замечания:
-
При изучении курса «Математическая логика и
теория алгоритмов» кроме электронного конспекта лекций
рекомендуется литератуорй из списка
- Освоение курса «Математическая логика и теория
алгоритмов» невозможно без практики решения задач,
необходимо иметь знания по дискретной математике.
- В конспекте лекций приводятся примеры решения задач,
которые могут быть полезны при выполнении контрольной работы.
Также в конспекте подробно (по шагам) проиллюстрированы примеры по теме Машина Тьюринга (МТ),
дающие возможность более подробного и наглядного изучения принципов работы Машины Тьюринга.
- Выполненная
контрольная работа должна быть выслана со страниц нашего сайта. С
порядком отправки выполненной работы можно ознакомиться в
инструкции по отправке, доступной по адресу:
http://www.center.neic.nsk.su/dist2003/newsystem.htm
После проверки контрольной работы преподавателем Вы получите
рецензию с оценкой и возможными замечаниями, которые следует
устранить. Если работа не зачтена, то после доработки и устранения
ошибок Вы должны повторно выслать контрольную работу на проверку.
- Только после получения зачета по контрольной работе Вы
можете приступать к выполнению зачетного задания.
- Итоговая оценка за курс выставляется по результатам сдачи зачета.
- Получить консультацию у преподавателя Вы можете, послав электронное письмо по адресу преподавателя или центра.
Желаем Вам успехов в изучении дисциплины
«Математическая логика и теория алгоритмов»