|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Практикум по математической логике. 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 часов
- Авторы: Крупский В.Н., Кузнецов С.Л.