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