Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Автоматическое доказательство теорем


In these lectures I will give a general overview of automated theorem proving in the broad sense, including fully automated methods, interactive methods and their applications in both mathematics and computing. The content of the course will be quite strongly influenced by my book http://www.cambridge.org/9780521899574 and its associated code, but will be more high-level and include more discussion of applications.

Прочтения курсов

Семестр Отделение
осень 2013 Санкт-Петербург