Logika ir dirbtinis intelektas

Projekto „MoBiLait: mokymosi galimybių atvėrimas žmonėms, negalintiems skaityti įprasto spausdinto teksto, per Lietuvos bibliotekų tinklą“ leidinys.

Matematinės logikos vadovėlis. Jame pakankamai nuosekliai išdėstytos pagrindinės matematinės logikos temos ir aprašyti kai kurie dirbtinio intelekto metodai. Nagrinėjama pirmosios eilės logika, rekursyviosios funkcijos bei modalumo logikos. Pateikiamos pagrindinės sąvokos, daug rezultatų paaiškinta konkrečiais pavyzdžiais. Šis vadovėlis skirtas informatikos, programų sistemų bei matematikos specialybių studentams. Rašantiems kursinius, bakalauro bei magistro darbus studentams labai pravers vadovėlio pabaigoje pateikiamas kai kurių matematinės logikos terminų lietuvių–anglų kalbų žodynėlis.