"Matematinė logika" – tai pirmasis matematinės logikos vadovėlis lietuvių kalba. 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 "Matematinė logika" 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.
ISBN: 9955491604
Išleidimo metai: 2004
Puslapiai: 192
Siunčiama LPexpress ir Omniva
Kaina: 10.89 €
Daugiau apie knygą: mainu.lt