Stanislovas Norgėla — Logika ir dirbtinis intelektas
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… Skaityti toliau »