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

Автоматическое доказательство теорем
Санкт-Петербург / осень 2013, посмотреть все семестры

Запишитесь на курс, чтобы получать уведомления и иметь возможность сдавать домашние задания. Для записи требуется регистрация на сайте.
Перейти к регистрации Войти

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.

Дата и время Занятие Место Материалы
28 сентября
17:20–18:55
Background, history and propositional logic, Лекция ПОМИ РАН слайды,  видео
28 сентября
19:05–20:40
First-order logic with and without equality, Лекция ПОМИ РАН видео
29 сентября
11:15–12:50
Decidable problems in logic and algebra, Лекция ПОМИ РАН видео
29 сентября
13:00–14:35
Interactive theorem proving and proof-checking, Лекция ПОМИ РАН видео
29 сентября
15:35–17:10
Applications to mathematics and computer verification, Лекция ПОМИ РАН Нет