Szerző: Ferenczi Miklós Műszaki Könyvkiadó, 2014 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). A
kötet adatai: Kötés: puhatáblás Megjelenés éve: 2014 Terjedelem: 360 oldal