|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Элементы теории вычислимостиучебный курс
- Автор: Григорьев О.М.
- Год создания: 2009
- Организация: МГУ имени М.В. Ломоносова
- Описание: В рамках курса "Элементы теории вычислимости" изучаются основные идеи и понятия теории вычислимости, как дисциплины, появившейся на стыке логики, математики и теоретической информатики. Наибольшее внимание уделяется формализму рекурсивных функций и понятию вычислимых по Тьюрингу функций, тезису Черча-Тьюринга. Рассматриваются некоторые неразрешимые проблемы. В частности, доказывается теорема Черча о неразрешимости проблемы выполнимости для формул языка логики предикатов первого порядка.
- Добавил в систему: Григорьев Олег Михайлович
Преподавание курса
- 12 февраля 2019 - 14 мая 2019 Григорьев Олег Михайлович
- МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
- обязательная, по выбору (спецкурс), лекции, 36 часов
- Автор: Григорьев О.М.
- 13 февраля 2018 - 15 мая 2018 Григорьев Олег Михайлович
- МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
- обязательная, по выбору (спецкурс), лекции, 36 часов
- Автор: Григорьев О.М.
- 6 сентября 2016 - 20 декабря 2016 Григорьев Олег Михайлович
- МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
- обязательная, по выбору (спецкурс), лекции, 36 часов
- Автор: Григорьев О.М.
- 8 сентября 2009 - 16 декабря 2014 Григорьев Олег Михайлович
- МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
- обязательная, по выбору (спецкурс), лекции, 36 часов
- Автор: Григорьев О.М.