МАИ. Кафедра «Высшая математика»

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

Перейти к почте


Главная  

О кафедре  

Программы  

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

Публикации  

Гранты  

Экзамены  

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

:: Далее...

:: Программы


: Лекции 
: Практика 
: Лабораторные 

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


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


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

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

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

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


1997-2017, (с) Дизайн разработан кафедрой "Высшая математика"