Úgy tűnik, hogy a JavaScript le van tiltva, vagy nem támogatja a böngésző. Sajnáljuk, de az oldal néhány funkciójának működéséhez, többek között a rendeléshez engedélyeznie kell a JavaScript futtatását böngészőjében. Köszönjük!

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

A matematikai logika alkalmazásszemléletű tárgyalása - Pásztorné Varga Katalin, Vártetész Magda - Régikönyvek
A matematikai logika alkalmazásszemléletű tárgyalása - Régikönyvek A matematikai logika alkalmazásszemléletű tárgyalása - Régikönyvek A matematikai logika alkalmazásszemléletű tárgyalása - Régikönyvek
(0 vélemény)

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. E könyv célja megfelelő segédanyagot biztosítani a logikát tanulmányozni kívánó informatikus egyetemi hallgatók és szakemberek számára, valamint alapot adni a logika további fejezeteiben való elmélyedéshez. A könyv előbb a matematikai logika bevezető fejezeteit dolgozza fel, majd 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 az elméleti hátteret, ugyanakkor az informatikai, számítástudományi alkalmazások is kellő hangsúlyt kapnak. A szerzők több évtizedes egyetemi oktatási gyakorlata biztosítja, hogy az egyes fejezetek tartalma, egymással való kapcsolata nagyon átgondolt. A sok példa és ábra segíti az olvasót. A szöveg lendületes, lényegretörő, mégis közérthető. Különösen szerencsés, hogy a két szerző által képviselt budapesti és debreceni logikai iskola legértékesebb tradíciói sikeresen ötvöződnek a könyvben.

Kiadó:
Panem Kft.
Kiadás éve:
2003
Kiadás helye:
Budapest
Nyomda:
ETO Print Kft.
ISBN:
9635453647
Kötés típusa:
ragasztott papír
Terjedelem:
394
Nyelv:
magyar
Méret:
Szélesség: 16.50cm, Magasság: 24.00cm
Kategória:
Előszó 7
1. Matematikai alapfogalmak 9
2. A logikáról általában 19
2.1. A logika meghatározásáról 19
2.2. Rövid történeti áttekintés 21
3. A logikai nyelvekről 28
3.1. Általános ‘‘11•2,-iivalók - megjegyzések 28
3.2. Néhány matematikai diszciplína logikai nyelve 35
3.3. A matematikai logika leíró nyelve 42
4. Az ítéletlogika 45
4.1. Az ítéletlogika nyelve - szintaxis 45
4.2. Az ítéletlogika nyelve - szemantika 57
4.3. ítéletlogikai törvények 69
4.4. Szemantikus következményfogalom 76
4.5. Az ítéletlogika strukturális tulajdonságairól 86
4.5.1. Hálók és Boole-algebrák 86
4.5.2. Az ítéletlogika műveleteinek tulajdonságairól 93
4.5.3. A Boole-függvények funkcionális teljességéről általában 102
5. Az elsőrendű logika 110
5.1. Elsőrendű logikai nyelvek - szintaxis 110
5.1.1. Szabad és kötött változók 119
5.1.2. Termhelyettesítés 123
5.2. Elsőrendű logikai nyelvek - szemantika 132
5.3. Elsőrendű logikai törvények 145
5.4. Szemantikus következményfogalom 161
6. A logika szintaktikus tárgyalása 167
6.1. Bizonyításelmélet 167
6.1.1. Az ítéletkalkulus 168
6.1.2. A predikátumkalkulus 185


6.2. Gentzen-stílusú kalkulusok 193
6.2.1. A természetes levezetés technikája 193
6.2.2. Szekventkalkulusok 200
6.3. Rezolúciós elv — rezolúciós kalkulus 224
6.3.1. Konjunktív normálformák és nulladrendű klózhalmazok 225
6.3.2. A rezolúciós kalkulus az ítéletlogikában 227
6.3.3. Rezolúciós stratégiák 235
6.3.4. Skolem-normálforma és az elsőrendű klózhahnaz 243
6.3.5. Az alaprezolúció 251
6.3.6. A Herbrand-univerzum és az elsőrendű klózhalmazok 258
6.3.7. Davis és Putnam módszere 265
6.3.8. A rezolúciós kalkulus az elsőrendű logikában 269
6.3.9. Rezolúciós levezetési stratégiák 281
6.4. A tablók módszere — tablókalkulus 304
6.4.1. Előkészítő fogalmak, ítéletlogika 305
6.4.2. Analitikus és jelölt tabló az ítéletlogikában 310
6.4.3. A tablók módszerének alkalmazásai 317
6.4.4. Előkészítő fogalmak, elsőrendű logika 322
6.4.5. Az elsőrendű analitikus tabló 325
7. Alkalmazások 335
7.1. Formalizálás — problémamegoldás 335
7.1.1. A formális axiomatikus elméletekről 335
7.1.2. A formalizálás kérdései 341
7.2. A logikai programozásról 348
7.2.1. A Prolog nyelv 349
7.2.2. A Prolog szemantikája 358
Függelék 375
F.1. A lineáris input- és egységrezolúció ekvivalenciája 375
Irodalomjegyzék 381
Tárgymutató 385

Pásztorné Varga Katalin

Pásztorné Varga Katalin  további könyvei

Az Ön ajánlója

Még nincs vélemény a könyvről, legyen Ön az első aki véleményt ír róla...