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

Описание

Here I will discuss first-order logic and the various methods for its semi-automation (tableaux, inverse method, resolution, model elimination), as well as some methods for equational reasoning. This was one of the primary interests in the 1970s and it still an active field today.

Видео