Город: Санкт-Петербург Новосибирск Казань Язык: Русский English
Что: Лекция
Когда: Суббота, 28 сентября 2013, 17:20–18:55
Где: ПОМИ РАН
Слайды: theoremproving_lecture_280913.pdf

Описание

I will describe some of the highlights of the history of how automated theorem proving developed, and some of the main areas of interest. I will then precisely define some foundational material and talk about decision methods for propositional logic (SAT).

Видео