|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Теоретические основы информатикиучебный курс
- Автор: Васенин А С Шундеев В.А.
- Год создания: 2016
- Организация: МГУ имени М.В. Ломоносова
- Описание: Специальный курс для студентов третьего курса. Продолжительность 1 год. Тема 1. Регулярные языки и конечные автоматы. Тема 2. Контекстно-свободные языки и построение компиляторов. Тема 3. Алгоритмы и вычислимые функции. Тема 4. Сложность вычислений. Тема 5. Верификация программ. Тема 6. Автоматическое доказательство теорем. Тема 7. Информация и колмогоровская сложность. Тема 8. Машинное обучение.
- Добавил в систему: Шундеев Александр Сергеевич
Преподавание курса
- с 1 сентября 2015 Шундеев Александр Сергеевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 72 часов
- Автор: Васенин А С Шундеев В.А.