Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Математическая логика / Модуль 3. Умозаключения / Модуль 3. Структура модуля
.docЛекция 1. Условные суждения
Лекция 2. Исчисление высказываний
Лекция 3. Исчисление предикатов.
Практическое занятие 1. Условные суждения
Практическое занятие 2. Проверка формул на выводимость.
Формы отчетности:
-
ИДЗ
-
Тест.
Соседние файлы в папке Модуль 3. Умозаключения