Megmutatjuk nekik! Esszék Dov Gabbay tiszteletére. 1. kötet

Eredeti címe:

We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1

Könyv tartalma:

Ez a könyv felbecsülhetetlen értékű áttekintést nyújt a logika hatóköréről.

Hivatkozást nyújt a logika néhány legfontosabb, jól bevált eredményére, ugyanakkor betekintést nyújt a terület legújabb kutatási kérdéseibe is. Az elmélet és a gyakorlat egyensúlyát is szem előtt tartja: a modális logika, az intuitív logika, a logika és nyelv, a nem monoton logika és a logikai programozás, az időbeli logika, a logika és tanulás, a logikák kombinációja, a gyakorlati érvelés, a logika és a mesterséges intelligencia, az abdukció, a tételek bizonyítása és a célorientált érvelés témakörében tartalmaz esszéket.

Felbecsülhetetlen olvasmány lesz a logika és az informatika kutatói és végzős hallgatói számára, és mesés inspirációs forrás a logikából és az elméleti informatikából PhD-témát kereső kutatóhallgatók számára.