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

Главная  

О кафедре  

Программы  

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

Публикации  

Гранты  

Экзамены  

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

:: Программы

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

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

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

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

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

ЗАНЯТИЕ 7-8. Написание программы машины Тьюринга, правильно вычисляющей заданную функцию. Построение функции с помощью операций примитивной рекурсии и минимизации.