МОСКОВСКИЙ АВИАЦИОННЫЙ ИНСТИТУТ
(НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ)

Главная  

О кафедре  

Программы  

Учебные пособия  

Публикации  

Гранты  

Экзамены  

Труды семинара  

:: Программы

Математика » 2 факультет » КТ(ИВТ) Мат. лог. и теор. алг. » 5 семестр » Практика

» Версия для печати

ЗАНЯТИЕ 1. Операции над высказываниями (отрицание, дизъюнкция, конъюнкция, импликация, эквивалентность, неравнозначность). Таблица истинности.

ЗАНЯТИЕ 2. Нахождение ДНФ, КНФ, СДНФ, СКНФ формул логики высказываний. Построение семантического дерева.

ЗАНЯТИЕ 3. Схемы из функциональных элементов. Контактные схемы.

ЗАНЯТИЕ 4. Решение логических задач. Метод резолюций.

ЗАНЯТИЕ 5. Нахождение области истинности предикатов. Нахождение предваренной нормальной формы предикатных формул.

ЗАНЯТИЕ 6. Нечеткие высказывания, нечеткие предикаты.

ЗАНЯТИЕ 7. Построение программ для машины Тьюринга.

ЗАНЯТИЕ 8. Операции суперпозиции, примитивной рекурсии и минимизации.