Город: Санкт-Петербург Новосибирск Казань Язык: Русский English
Что: Лекция
Когда: Воскресенье, 29 сентября 2013, 11:15–12:50
Где: ПОМИ РАН

Описание

There are many non-trivial problems of logic that are, at least in principle, decidable. I will discuss some of these, emphasizing decision procedures in interesting theories that often generalize traditional mathematical methods (quantifier elimination, Groebner bases, SMT solvers).

Видео