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