|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Логика высказыванийучебный курс
- Автор: Гуров С.И.
- Год создания: 2014
- Организация: МГУ имени М.В. Ломоносова
- Дистанционный курс
- Описание: Годовой спецкурс. Слушатели знакомятся с основными логическими понятиями, это: алгебра высказываний, формулы, логическое следование, методы характеризации (семантические таблицы Э. Бета, метод резолюций, семантика возможных миров С. Крипке и др.). Для различных формализаций алгебры исследуются свойства соответствующих метатеорий. Даётся современный взгляд на пропозициональную логику в её связи с различными абстрактными математическими структурами. Является развитием курса «Исчисления высказываний классической и интуиционистской логик», который читался вплоть до 2013/14 уч. года (поддерживался пособием С. И. Гуров «Исчисления высказываний классической логики». – М.: МАКС Пресс, 2007.). Общая трудоёмкость курса 144 уч. часов, по 72 ч. в каждом семестре, 32 ч. лекции, 24 ч. семинары, 48 ч. самостоятельная работа. Форма контроля: экзамен (ВМК), зачёт (Филиал).
- Добавил в систему: Гуров Сергей Исаевич
Преподавание курса
- 22 февраля 2021 - 17 мая 2021 Гуров Сергей Исаевич
- МГУ имени М.В. Ломоносова, Филиал МГУ в г. Севастополе
- обязательная, по выбору (спецкурс), лекции, 48 часов
- Автор: Гуров С.И.
- 22 февраля 2021 - 29 марта 2021 Гуров Сергей Исаевич
- МГУ имени М.В. Ломоносова, Филиал МГУ в г. Севастополе
- обязательная, базовой части, лекции, 29 часов
- Автор: Гуров С.И.
- 17 февраля 2020 - 20 апреля 2020 Гуров Сергей Исаевич
- МГУ имени М.В. Ломоносова, Филиал МГУ в г. Севастополе
- обязательная, базовой части, лекции, 29 часов
- Автор: Гуров С.И.
- 13 февраля 2018 - 26 марта 2018 Гуров Сергей Исаевич
- МГУ имени М.В. Ломоносова, Филиал МГУ в г. Севастополе
- обязательная, вариативной части, лекции, 58 часов
- Автор: Гуров С.И.
- с 1 сентября 2014 Гуров Сергей Исаевич
- МГУ имени М.В. Ломоносова, Аналитическая служба МГУ
- обязательная, по выбору (спецкурс), лекции, 144 часов
- Автор: Гуров С.И.