|
|
| (не показано 117 промежуточных версии 2 участников) |
| Строка 1: |
Строка 1: |
| − | Факультатив дополняет курс дискретной математики-2 рядом сюжетов на стыке математической логики и теории алгоритмов. Мы рассмотрим несколько универсальных моделей вычислений, вычисления с оракулом, вычисления с конечной памятью, поговорим о связи логики и теории автоматов, о логическом программировании и о логике второго порядка. Содержание курса может меняться в соответствии с желаниями слушателей: мы уделим больше внимания вопросам, заинтересовавшим аудиторию. Занятия планируется проводить в формате живой беседы участников. Мы будем пытаться самостоятельно приходить к некоторым важным идеям, прежде чем вводить формальные определения. Факультатив желательно (хотя и необязательно) посещать одновременно с изучением курса дискретной математики-2 или после прохождения этого курса.
| + | Прямая ссылка на эту страницу: [https://tinyurl.com/logicomp tinyurl.com/logicomp] |
| | | | |
| − | ==Общая информация== | + | ==Архив== |
| − | Преподаватель: [https://www.hse.ru/org/persons/305069360 Антон Гнатенко]
| + | * [http://wiki.cs.hse.ru/%D0%A4%D0%B0%D0%BA%D1%83%D0%BB%D1%8C%D1%82%D0%B0%D1%82%D0%B8%D0%B2_%22%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B9_%D0%B8_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0%22_(%D0%9E%D1%81%D0%B5%D0%BD%D1%8C_2020) Факультатив "Вычислимость и логика", осень 2020] |
| | | | |
| − | Начало занятий: на третьей неделе сентября
| + | * [http://wiki.cs.hse.ru/%D0%A4%D0%B0%D0%BA%D1%83%D0%BB%D1%8C%D1%82%D0%B0%D1%82%D0%B8%D0%B2_%22%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B9%22_(%D0%92%D0%B5%D1%81%D0%BD%D0%B0_2021) Факультатив "Теория вычислений", весна 2021] |
| − | | + | |
| − | Время и место: TBA
| + | |
| − | | + | |
| − | ==Программа курса (примерная)==
| + | |
| − | ====Теория алгоритмов====
| + | |
| − | * Вычисления с оракулом
| + | |
| − | * Сведéния и арифметическая иерархия
| + | |
| − | * Частично рекурсивные функции
| + | |
| − | * Лямбда-исчисление
| + | |
| − | | + | |
| − | ====Вычисления с конечной памятью====
| + | |
| − | * Формальные языки и автоматы. Регулярные языки. Приложения теории автоматов
| + | |
| − | * Автоматы и логика. Логические способы описания языков
| + | |
| − | * Контекстно-свободные языки
| + | |
| − | | + | |
| − | ====Логика====
| + | |
| − | * Интуиционистская логика
| + | |
| − | * Логическое программирование (чуть-чуть)
| + | |
| − | * Логика второго порядка
| + | |
| − | | + | |
| − | ==История==
| + | |
| − | Пока ничего не произошло
| + | |
| − | | + | |
| − | ==Правила оценивания==
| + | |
| − | | + | |
| − | ==Материалы==
| + | |
| − | | + | |
| − | ==Задачи==
| + | |
