Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» специальности 230102 «Автоматизированные системы обработки информации и управления»
Заведующий кафедрой И7 д. ф.-м. н., профессор /С.Д. Шапорев/ Рабочая программа учебной дисциплины Лист согласования Математическая логика и теория алгоритмов Цели и задачи дисциплины. требования к уровню освоения содержания учебной дисциплины. Тематический план и содержание дисциплины Раздел дисциплины Раздел I. Основы математической логики Тема 1. Логика высказываний Тема 2. Функции алгебры логики Тема 3. Приложения алгебры логики Тема 4. Логика предикатов Раздел II. Аксиоматические теории Тема 5. Исчисление высказываний Тема 6. Исчисление предикатов Тема 7. Проблемы полноты и разрешимости формальных систем Раздел III. Теория вычислимых функций Тема 8. Формализация понятия алгоритма. Рекурсивные функции Тема 9. Машины Тьюринга Тема 10. Проблемы алгоритмической неразрешимости и сложности алгоритмов Итого за 3 семестр Аудиторный практикум Аудиторные занятия 2. Раздел I, тема 2. 3. Раздел I, тема 2. 4. Раздел I, тема 2. 5. Раздел I, тема 3. 7. Раздел I, тема 4. 8. Раздел I, тема 4. 9. Раздел II, тема 5. 10. Раздел II, тема 5. 11. Раздел II, тема 5. 12. Раздел II, тема 6. 13. Мероприятия системы межсессионного контроля: раздел I, тема 4, раздел II, темы 5 - 6. 14. Раздел III, тема 8. 15. Раздел III, тема 9. 16. Раздел III, тема 9. График контрольных мероприятий Контрольная работа №1 Контрольная работа №2 14-17 неделях Недели семестра Самостоятельная работа студентов Содержание учебного задания Учебно-методическое обеспечение дисциплины Список основной литературы Методические рекомендации (материалы) для преподавателя Методические указания для студентов Программу составил Список основной литературы Перечень экзаменационных вопросов Дополнительная литература для преподавателя
