Le vom arăta! Eseuri în onoarea lui Dov Gabbay. Volumul 1

Titlul original:

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

Conținutul cărții:

Această carte oferă o prezentare de neprețuit a domeniului de aplicare a logicii.

Oferă referințe la unele dintre cele mai importante rezultate bine stabilite în logică, oferind în același timp o perspectivă asupra celor mai recente probleme de cercetare din acest domeniu. De asemenea, prezintă un echilibru între teorie și practică, conținând eseuri în domeniile logicii modale, logicii intuiționiste, logicii și limbajului, logicii nemonotonice și programării logice, logicii temporale, logicii și învățării, combinațiilor de logici, raționamentului practic, logicii și inteligenței artificiale, abducției, demonstrației teoremelor și raționamentului orientat spre scopuri.

Va fi o lectură neprețuită pentru cercetătorii și studenții absolvenți în Logică și Informatică și o sursă fabuloasă de inspirație pentru studenții cercetători aflați în căutarea unui subiect pentru un doctorat în logică și informatică teoretică.