МЛиТА-2017

ФКТИ 3 семестр 2017-2018 учебного года

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

Лектор: С.Н.Поздняков

Основной учебник: С.В.Рыбин, С.Н.Поздняков. Дискретная математика.

Лабораторные работы выложены на специально созданном сайте.

Для работы нужно зарегистрироваться (кнопка регистрации "подать заявки на участие" находится ниже текста, видимого на экране, в анкете укажите учебного заведения "ЛЭТИ", класс - номер группы, регион - СПб). Поработайте сначала с тренировочными задачами. Когда будете готовы, перейдите на задачи заочного тура - это и есть лабораторные работы - время (3 часа) начнет отсчитываться автоматически сразу после нажатия, второй раз начать прохождение задач заочного тура нельзя.

Хорошая книга для поддержки курса (особенно логического вывода):

Карпов Ю.Г. Теория автоматов (другая ссылка для скачивания)

Хорошая книга по второй половине курса:

Джон Хопкрофт и др. "Введение в теорию автоматов, языков и вычислений", 2-е издание, 2008.

Темы важных (командных) исследовательско-программистских проектов для альтернативного экзамена

Группа ВКонтакте для обсуждения задач по предмету МЛиТА

Индивидуальная работы состоит из:

3 индивидуальных заданий, 4-х лабораторных работ, задания на работу с моделями прикладных алгоритмов (7 алгоритмов), организуется самостоятельная работа студентов по чтению дополнительной литературы, участию в Интернет-школе дискретной математики и информатики, выполнение прикладных работ по курсу, включающих программирование.

По материалам самостоятельной работы по изучению алгоритмов на графах (в Интернет-школе) будут проведен коллоквиум.

По курсу проводятся 2 контрольные работы и коллоквиум.

Экзамен проходит в двух формах: письменной (обычный экзамен) и в форме обсуждения отчетов по проектной работе (альтернативный экзамен, проводится только для студентов, показывающих хорошие и отличные результаты по текущей работе)