A ​matematikai logika alkalmazásszemléletű tárgyalása 0 csillagozás

Pásztorné Varga Katalin – Várterész Magda: A matematikai logika alkalmazásszemléletű tárgyalása

Az egyetemi tankönyvként is szolgáló kötet a matematikai logikába és annak számítástudományi alkalmazásaiba vezeti be az olvasót.

Mára a logika a számítástudomány anyanyelvévé vált, ezért e terület alapos ismerete nagyon fontos, sőt nélkülözhetetlen az informatikusok számára. Könyvünk célja, hogy megfelelő segédanyagot biztosítson a logika tanulmányozásához és megadja az alapot a logika további fejezeteiben való elmélyedéshez.

A matematikai logikába való bevezetés után bemutatja a logika számítástudományi alkalmazásait, elsősorban az automatikus tételbizonyítás módszereire koncentrálva. A feldolgozott témakörök korszerűek, megfelelő igényességgel mutatják be a témakör elméleti hátterét, ugyanakkor az informatikai, számítástudományi alkalmazások is kellő hangsúlyt kapnak.

A sok példa és ábra, valamint a közérthető szöveg nagy mértékben segíti az olvasót a téma megismerésében.

>!
Panem, Budapest, 2003
394 oldal · ISBN: 9635453647

Várólistára tette 1

Kívánságlistára tette 2


Hasonló könyvek címkék alapján

Fülöp Zoltán: Formális nyelvek és szintaktikus elemzésük
Arató Péter: Logikai rendszerek tervezése
Ruzsa Imre: Klasszikus, modális és intenzionális logika
Csendes Tibor: Közelítő és szimbolikus számítások
Imreh Balázs – Imreh Csanád: Kombinatorikus optimalizálás
Blahota István: Kalkulus és Maxima
I. M. Jaglom: Boole-struktúrák és modelljeik
Stoyan Gisbert: Numerikus matematika
Gács Péter – Lovász László: Algoritmusok
Jordán Tibor – Recski András – Szeszlér Dávid: Rendszeroptimalizálás