Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.mccme.ru/dubna/2015/courses/razborov.html
Дата изменения: Mon Jul 13 20:02:46 2015 Дата индексирования: Sun Apr 10 12:31:18 2016 Кодировка: UTF-8 Поисковые слова: р с р р р р р с с с р р р р с р р с р |
А. А. Разборов планирует провести 2–3 занятия.
Общим для всех этих ситуаций является то, что нас интересует не только наличие доказательства верных фактов (скажем, теорем), но и то, насколько «простым» оно может или не может быть. Несмотря на кажущуюся разнородность всех этих вопросов, их изучение в рамках одной дисциплины оказывается весьма продуктивным, и именно об этом мы и поговорим.
Специальных знаний для понимания курса не требуется, хотя самое общее представление о пропозициональной (булевой) логике было бы полезно.