Könyvismertető

Ez a könyv bevezetés a matematikai logikába. Alapokat nyújt az alkalmazók, a matematikusok, informatikusok, mérnökök, nyelvészek számára, általában olyan területek művelőinek, akik számára a matematikai logika témaköre ma már megkerülhetetlen. Ilyen területek többek között a mesterséges intelligencia, a programozáselmélet, az adatbázis-elmélet, a matematikai nyelvészet. A könyvben található ismeretanyag elsajátítását bőséges feladatanyag segíti. A matematikai logika a matematika eszközeinek segítségével kutatja többek között azokat a határokat, ameddig eljuthat a gépi gondolkodás, de amelyek után már az intuitív gondolkodásé a fő szerep. A könyv MSc vagy PhD hallgatóknak ajánlott.Az utóbbi évtizedekben a számítógépek és a számítástudomány elterjedésének köszönhetôen a matematikai logika alkalmazott tudománnyá vált. Míg a XX. század elején a matematikai logika az egyik fô tényezôje volt annak a matematikában bekövetkezett nagy átalakulásnak, amelyet a „matematika forradalmaként” szokás emlegetni, addig a századvégen már az informatikai forradalommal összefüggésben került a kutatások elôterébe. A matematikai logika az elméleti számítástudomány egyfajta „nyelvévé” vált, számos fogalma az elméleti számítástudománynak is alapfogalma (szintaktika, szemantika, modell, kiszámíthatóság, bizonyítás). 
Alapokat nyújt az alkalmazók: a matematikusok, informatikusok, mérnökök és nyelvészek számára, általában olyan területek m?velôinek, akik számára a matematikai logika szakterülete ma már megkerülhetetlen témakör. Ilyen területek többek között a mesterséges intelligencia, a programozáselmélet, az adatbázis-elmélet, matematikai nyelvészet. Az ismeretanyag elsajátítását a könyvben található bôséges feladatanyag segíti.