Научно-исследовательский семинар "Логика и алгоритмы"

2023/2024

Учебный год

RUS

Обучение ведется на русском языке

6

Кредиты

Кто читает:

Факультет математики

Статус:

Курс обязательный

Когда читается:

2-й курс, 3, 4 модуль

Преподаватель

Рыбаков Михаил Николаевич

Программа дисциплины

Аннотация

Целями освоения дисциплины Логика и алгоритмы являются • получение представления об основных структурах, объектах и задачах математической логики и теории алгоритмов; • получение знания об основных результатах классической математической логики и теории алгоритмов; • получение представления о методах работы с формализованными логическими теориями; • развитие логической и алгоритмической интуиции. В результате освоения дисциплины студент должен: • Владеть основными методами преобразования логических выражений. • Владеть основными понятиями теории множеств. • Уметь записывать содержательные математические утверждения в языке исчисления предикатов. • Владеть методами доказательства теорем в исчислении высказываний и исчислении предикатов. • Владеть основными понятиями теории алгоритмов: вычислимость, разрешимость, перечислимость. • Уметь строить модели формул и теорий первого порядка. • Уметь реализовывать простые алгоритмы с помощью машин Тьюринга. • Знать важнейшие теоремы классической теории алгоритмов. • Уметь решать простые задачи о неразрешимости алгоритмических проблем. Для специализации математика настоящая дисциплина является базовой, относится к математическому и естественнонаучному циклу. Основные положения дисциплины должны быть использованы в дальнейшем при изучении следующих дисциплин: математический анализ, алгебра, топология.