mateklogika.jpgmateklogika.jpg

A matematikai logika alkalmazásszemléletű tárgyalása

3900 Ft3120 Ft
(Kedvezmény: 20%)
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.
Leírás
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.

ISBN
9789635453641
ISBN
Oldalszám
393
Oldalszám
Méret
B5
Méret
Kötés
kartonált
Kötés
Megjelent
2003
Megjelent
Szerző
Pásztorné V. Katalin - Várterész Magda
Szerző
Kíván tőlünk a későbbiekben hírlevélben kedvezménykuponokat, akciókról szóló tájékoztatást kapni?