Matematikai logika az informatikában

Olvasói vélemények

Mordechai Ben-Ari „Mathematical Logic for Computer Science” című könyvét kiemeljük világos bemutatása és gyakorlati alkalmazásai miatt mind matematikai, mind számítástechnikai kontextusban. Míg a harmadik kiadást a jobb szervezés és tartalom miatt dicsérik, egyes felhasználók a digitális változatokkal kapcsolatban problémákat tapasztaltak a lassú teljesítmény és a rosszul megjelenített matematikai szimbólumok miatt.

⬤ A tételes és elsőrendű logika világos bemutatása.
⬤ Gyakorlati alkalmazások az informatikában, amelyek javítják a matematikai logika megértését.
⬤ A harmadik kiadás jobb szervezéssel és tartalommal rendelkezik a második kiadáshoz képest.
⬤ Mind a Gentzen-féle természetes dedukciót, mind a szekvenciális számítást hatékonyan tárgyalja.
⬤ Minden fejezet végén további tanulmányozásra alkalmas hivatkozások találhatók.

⬤ Az e-olvasó verziók a jelentések szerint lassúak.
⬤ A Kindle készülékeknél a matematikai szimbólumok megjelenítésével kapcsolatos problémák befolyásolják az érthetőséget.
⬤ Néhány felhasználó a második kiadást túlságosan számításigényesnek és nehézkesnek találta a nem informatikával foglalkozó olvasók számára.

(5 olvasói vélemény alapján)

Eredeti címe:

Mathematical Logic for Computer Science

Könyv tartalma:

A Mathematical Logic for Computer Science egy matematikai tankönyv tételekkel és bizonyításokkal, de a témaválasztást a számítástechnikai hallgatók igényei vezérelték.

A szemantikus tablók módszere elegáns módját nyújtja a logika tanításának, amely elméletileg megalapozott és könnyen érthető. A tablóalapú technikák egységes alkalmazása megkönnyíti a haladó logikai rendszerek tanulását arra alapozva, amit a hallgató az elemi rendszerekből megtanult.

A bemutatott logikai rendszerek: az állítólagos logika, az elsőrendű logika, a felbontás és annak alkalmazása a logikai programozásban, a Hoare-logika a szekvenciális programok ellenőrzésére, valamint a lineáris temporális logika az egyidejű programok ellenőrzésére. A harmadik kiadás teljesen átdolgozott, és új fejezeteket tartalmaz a modern informatika központi témáiról: SAT-megoldók és modellellenőrzés.