ИКНК
Теория логического вывода (ресурсный курс) - Осень 2022 - Герасимов Александр Сергеевич
0%
Пред.
Данные курса
Общее
Объявления
Осенний семестр 2022/23 учебного года
Введение. Язык логики высказываний и его семантика
Секвенциальное исчисление высказываний
Язык логики предикатов и его семантика
Секвенциальное исчисление предикатов
Унификация и проверка атомарной закрываемости заготовки вывода. Обзор исчислений для логики предикатов
Элементы теории вычислимости
СПИСОК ИЗУЧЕННЫХ ТЕМ
След.
Боковая панель
ИКНК
Русский (ru)
Русский (ru)
English (en)
Вход
Навигация по сайту
Теория логического вывода (ресурсный курс) - Осень 2022 - Герасимов Александр Сергеевич
В начало
Перейти к основному содержанию
Информация о курсе
В начало
Курсы
Курсы структурных подразделений института
Высшая школа программной инженерии
Теория логического вывода (ресурсный курс) - Осень 2022 - Герасимов Александр Сергеевич
Описание
Теория логического вывода (ресурсный курс) - Осень 2022 - Герасимов Александр Сергеевич
Преподаватель:
Герасимов Александр Сергеевич
Skill Level
:
Beginner
Skill Level
:
Beginner