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

Applications to mathematics and computer verification
Автоматическое доказательство теорем

Что: Лекция
Когда: Воскресенье, 29 сентября 2013, 15:35–17:10
Где: ПОМИ РАН

Описание

As well as general intellectual interest and the study of artificial intelligence, automated theorem proving has been applied both to problems in pure mathematics and computer system verification, and I'll describe some interesting instances.