ИКНК
Теория логического вывода (ресурсный курс) - Осень 2022 - Герасимов Александр Сергеевич
0%
Previous
Course data
General
Объявления
Осенний семестр 2022/23 учебного года
Введение. Язык логики высказываний и его семантика
Секвенциальное исчисление высказываний
Язык логики предикатов и его семантика
Секвенциальное исчисление предикатов
Унификация и проверка атомарной закрываемости заготовки вывода. Обзор исчислений для логики предикатов
Элементы теории вычислимости
СПИСОК ИЗУЧЕННЫХ ТЕМ
Next
Side panel
ИКНК
English (en)
Русский (ru)
English (en)
Log in
Site Navigation
Теория логического вывода (ресурсный курс) - Осень 2022 - Герасимов Александр Сергеевич
Home
Skip to main content
Course info
Home
Courses
Курсы структурных подразделений института
Высшая школа программной инженерии
Теория логического вывода (ресурсный курс) - Осень 2022 - Герасимов Александр Сергеевич
Summary
Теория логического вывода (ресурсный курс) - Осень 2022 - Герасимов Александр Сергеевич
Преподаватель:
Герасимов Александр Сергеевич
Skill Level
:
Beginner
Skill Level
:
Beginner