Бакалавриат
2021/2022
Научно-исследовательский семинар "Логика и алгоритмы"
Лучший по критерию «Новизна полученных знаний»
Статус:
Курс по выбору (Математика)
Направление:
01.03.01. Математика
Кто читает:
Факультет математики
Где читается:
Факультет математики
Когда читается:
3-й курс, 3, 4 модуль
Формат изучения:
без онлайн-курса
Охват аудитории:
для своего кампуса
Преподаватели:
Беклемишев Лев Дмитриевич,
Колмаков Евгений Александрович,
Шехтман Валентин Борисович
Язык:
русский
Кредиты:
5
Контактные часы:
104
Программа дисциплины
Аннотация
Целями освоения дисциплины Логика и алгоритмы являются • получение представления об основных структурах, объектах и задачах математической логики и теории алгоритмов; • получение знания об основных результатах классической математической логики и теории алгоритмов; • получение представления о методах работы с формализованными логическими теориями; • развитие логической и алгоритмической интуиции. В результате освоения дисциплины студент должен: • Владеть основными методами преобразования логических выражений. • Владеть основными понятиями теории множеств. • Уметь записывать содержательные математические утверждения в языке исчисления предикатов. • Владеть методами доказательства теорем в исчислении высказываний и исчислении предикатов. • Владеть основными понятиями теории алгоритмов: вычислимость, разрешимость, перечислимость. • Уметь строить модели формул и теорий первого порядка. • Уметь реализовывать простые алгоритмы с помощью машин Тьюринга. • Знать важнейшие теоремы классической теории алгоритмов. • Уметь решать простые задачи о неразрешимости алгоритмических проблем. Для специализации математика настоящая дисциплина является базовой, относится к математическому и естественнонаучному циклу. Основные положения дисциплины должны быть использованы в дальнейшем при изучении следующих дисциплин: математический анализ, алгебра, топология.
Цель освоения дисциплины
- Получение представления об основных структурах, объектах и задачах математической логики и теории алгоритмов
- Получение знания об основных результатах классической математической логики и теории алгоритмов;
- Получение представления о методах работы с формализованными логическими теориями;
- Развитие логической и алгоритмической интуиции.
Планируемые результаты обучения
- Владеть методами доказательства теорем в исчислении высказываний
- Владеть основными методами преобразования логических выражений, владеть основными понятиями теории множеств.
- Владеть основными понятиями теории алгоритмов: вычислимость, разрешимость, перечислимость. Уметь строить модели формул и теорий первого порядка. Уметь реализовывать простые алгоритмы с помощью машин Тьюринга. Знать важнейшие теоремы классической теории алгоритмов. Уметь решать простые задачи о неразрешимости алгоритмических проблем
- Уметь записывать содержательные математические утверждения в языке исчисления предикатов, и методами доказательства теорем в исчислении предикатов
Содержание учебной дисциплины
- Логика высказываний и элементы теории множеств
- Логика предикатов
- Теория алгоритмов
Промежуточная аттестация
- 2021/2022 учебный год 4 модульИтоговая оценка по дисциплине вычисляется по формуле 0,4(ОК1+OK2)/2 + 0,3Л+ 0,3Э. При этом те студенты, которые до экзамена имеют оценку 8 и выше по формуле 0,5(ОК1+OK2)/2 + 0,5Л освобождаются от экзамена и получают эту оценку в качестве итоговой. Обозначения: ОК1 и ОК2 - оценки за 1ый и 2ой коллоквиумы соответственно; Л - средняя оценка за листки; Э - оценка за экзамен.