Találati lista | Tudóstér

001-es BibID:	BIBFORM043035
Első szerző:	Pásztor Varga Katalin (matematikus)
Cím:	A matematikai logika alkalmazásszemléletű tárgyalása / Pásztorné Varga Katalin, Várterész Magda
Dátum:	2003
Megjelenés:	Budapest : Panem Könyvkiadó, 2003
Terjedelem:	394 p.
Megjegyzések:	Ez a könyv elsősorban informatikusok, számítástudománnyal foglalkozó szakemberek, valamint a felsőfokú oktatásban részt vevő informatikus, programozó és programtervező matematikus szakokon tanuló hallgatók számára készült. A logikát a matematikai logikához az 1940-es évekre kialakult ,,nyelvészeti'' tárgyalásmód keretei között vizsgáljuk. A könyvben nagy hangsúlyt helyezünk az automatikus tételbizonyítás elméleti hátterének és kalkulusainak ismertetésére. Ezért az egyes kalkulusok helyességi és teljességi kérdéseinek vizsgálatánál rámutatunk a logika egységes tárgyalásának eszközeire. A tételbizonyító kalkulusok közül ismertetjük a rezolúciós elvet, a (szemantikus) tablók (táblák) módszerét, a bizonyításelméletet (az axiomatikus módszert előtérbehelyező felépítésből nyerhető kalkulust, ítélet-, illetve logikai függvénykalkulust), a természetes levezetés módszerét, és más Gentzen-stílusú kalkulusokat. A logika számítástudománybeli alkalmazásaiban ezek mindegyike eszközként vagy elméleti háttérként előfordul.
ISBN:	9635453647
Tárgyszavak:	Természettudományok Matematika- és számítástudományok szakkönyv matematikai logika, ítéletlogika, elsőrendű logika, logikai kalkulus
További szerzők:	Várterész Magdolna (1954-) (informatikus, matematikus)
Internet cím:	Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon: