Практикум по математической логике. COQ. - учебный курс | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Практикум по математической логике. COQ.учебный курс

Авторы: Крупский В.Н., Кузнецов С.Л.
Год создания: 2013
Организация: МГУ имени М.В. Ломоносова
Описание: Практикум по математической логике, обязательный для студентов кафедры математической логики и теории алгоритмов механико-математического ф-та МГУ. Содержание: формализация рассуждений средствами теории типов; система автоматизированного построения доказательств COQ и теория типов CiC; тактики; построение пропозициональных выводов; тактики для кванторов; декларации, определения, индуктивные определения; формализация теории отношений; средства функционального программирования; примеры доказательной верификации функциональных программ.
Добавил в систему: Крупский Владимир Николаевич

Преподавание курса

1 сентября 2023 - 20 декабря 2023 Кузнецов Степан Львович
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
обязательная, вариативной части, практические занятия, 18 часов
Авторы: Крупский В.Н., Кузнецов С.Л.

1 сентября 2022 - 20 декабря 2022 Кузнецов Степан Львович
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
обязательная, вариативной части, практические занятия, 18 часов
Авторы: Крупский В.Н., Кузнецов С.Л.

1 сентября 2021 - 20 декабря 2021 Кузнецов Степан Львович
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
обязательная, вариативной части, практические занятия, 18 часов
Авторы: Крупский В.Н., Кузнецов С.Л.

1 сентября 2020 - 20 декабря 2020 Кузнецов Степан Львович
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
обязательная, вариативной части, практические занятия, 18 часов
Авторы: Крупский В.Н., Кузнецов С.Л.

1 сентября 2019 - 19 декабря 2019 Кузнецов Степан Львович
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
обязательная, вариативной части, практические занятия, 18 часов
Авторы: Крупский В.Н., Кузнецов С.Л.

1 сентября 2018 - 19 декабря 2018 Кузнецов Степан Львович
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
обязательная, вариативной части, практические занятия, 18 часов
Авторы: Крупский В.Н., Кузнецов С.Л.

1 сентября 2017 - 19 декабря 2017 Кузнецов Степан Львович
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
обязательная, вариативной части, практические занятия, 18 часов
Авторы: Крупский В.Н., Кузнецов С.Л.

1 сентября 2016 - 19 декабря 2016 Кузнецов Степан Львович
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
обязательная, вариативной части, практические занятия, 16 часов
Авторы: Крупский В.Н., Кузнецов С.Л.

1 сентября 2015 - 19 декабря 2015 Кузнецов Степан Львович
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
обязательная, вариативной части, практические занятия, 16 часов
Авторы: Крупский В.Н., Кузнецов С.Л.

1 сентября 2014 - 19 декабря 2014 Кузнецов Степан Львович
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
обязательная, вариативной части, практические занятия, 34 часов
Авторы: Крупский В.Н., Кузнецов С.Л.