Математическая логика к 20 дек
Cрок выполнения : 20.12
Вид работы : Контрольная
Дисциплины:
Математические: Логика, теория Алгоритмов и Автоматов.
|
Добавлен 06.12.2013 23:53:14
Уникальность:
Доработка:
Подробно: Решить 44-небольших задачки по мат.логике, по темам: 1)Функциональная полнота систем булевых функций; 2)Элементы теории алгоритмов; 3)Исчисление высказываний; 4)Логика предикатов. Основные определения; 5)Подстановки; 6)Унификация. Метод резолюции
Кратко: Решить 44-небольших задачки по мат.логике, по темам: 1)Функциональная полнота систем булевых функций; 2)Элементы теории алгоритмов; 3)Исчисление высказываний; 4)Логика предикатов. Основные определения; 5)Подстановки; 6)Унификация. Метод резолюции