Модернизация курса«Математическая логика и теория

алгоритмов»

Санкт-Петербургский государственныйэлектротехнический университет «ЛЭТИ» им.

В.И. Ульянова (Ленина)

Антон Чухнов

Модуль 1. Булевы функции

Содержание: таблицы истинности, нормальные формы, многочлены Жегалкина, двойственность, теорема Поста

Входные компетенции: работа с функциями (в т.ч. вычисление композиции функция), вычисления в кольце вычетов по модулю 2, простейшие навыки работы с многочленами

Текущая отчётность: ИДЗ + КР

Планы модернизации: вынесение части отчётности в дистанционную форму.

Модуль 2. Исчисление высказываний и предикатов.

Содержание: интерпретация, нормальные формы, унификация, метод резолюций

Входные компетенции: умение записывать математические утверждения при помощи формул, умение применять отрицание к высказыванию

Текущая отчётность: 0,5ИДЗ и/или 0,5КР

Планы по модернизации: вынесение части отчётности в дистанционную форму

Не Не каждыйкаждый охотникохотник желаетжелает знатьзнать гдегде сидитсидит фазанфазан

Модуль 3. Языки и грамматики

Содержание: понятия языка и грамматики, КС-грамматики, синтаксические диаграммы, построение синтаксического анализатора, регулярные выражения (иногда)

Входные компетенции: знание языка программирования

Текущая отчётность: 1 задача в КР + синтаксический анализатор

Планы по модернизации: создание тестового стенда для первичной проверки синтаксических анализаторов без участия преподавателя

Модуль 4. Теория алгоритмов: конечные автоматы и машины

Тьюринга

Содержание: конечные автоматы (в т.ч. недетерминированные), минимизация конечного автомата. Машины Тьюринга и операции над ними. Алгоритмы Маркова.

Входные компетенции: начала теории графов

Текущая отчётность: части ИДЗ и/или КР

Планы по модернизации: вынесение части отчетности в дистанционную форму; вынесение части модуля в дистанционную форму целиком с приданием элективного статуса

Модуль 5. Прикладная теория алгоритмов.

(данный модуль иногда преподаётся в курсе ДМ)

Содержание: алгоритмы обработки формул, алгоритмы на графах (Прима, Краскала, Дейкстры, Флойда, Форда-Беллмана)

Входные компетенции: начала теории графов

Текущая отчётность: ИДЗ

Планы по модернизации: вынесение части отчетности в дистанционную форму; вынесение части модуля в дистанционную форму целиком с приданием элективного статуса

Иное

Планы по модернизации: вынесение на элективное дистанционное обучение некоторых тем, которые ранее затрагивались только на лекциях (возможно не у всех лекторов), например темы «Нечёткая логика».

Экзамен

Планы по модернизации: усиление творческой составляющей — увеличение количества студентов, сдающих экзамен не в устной или письменной форме, а в форме проекта.

Спасибо!