Факультатив "Теория вычислений и логика" — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
м
 
(не показано 120 промежуточных версии 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
+
−
 
+
−
==Программа курса (примерная)==
+
−
====Теория алгоритмов====
+
−
* Вычисления с оракулом
+
−
* Сведéния и арифметическая иерархия
+
−
* Частично рекурсивные функции
+
−
* Лямбда-исчисление
+
−
* Интуиционисткая логика высказываний
+
−
 
+
−
====Вычисления с конечной памятью====
+
−
* Формальные языки и автоматы. Регулярные языки. Приложения теории автоматов
+
−
* Логические способы описания языков
+
−
* Контекстно-свободные языки
+
−
 
+
−
====Логика====
+
−
* Логическое программирование (чуть-чуть)
+
−
* Выразимость и доказуемость в арифметике
+
−
* Логика второго порядка
+
−
 
+
−
==Сводка==
+
−
Пока ничего не произошло
+
−
 
+
−
==Правила оценивания==
+
−
 
+
−
==Материалы==
+
−
 
+
−
==Задачи==
+

Текущая версия на 14:29, 4 сентября 2021

Прямая ссылка на эту страницу: tinyurl.com/logicomp

Архив

Источник — «http://wiki.cs.hse.ru/index.php?title=Факультатив_%22Теория_вычислений_и_логика%22&oldid=57250»