Logikai alapozás alkalmazásokhoz

Matematikai logika - számítástudomány/Egyetemi jegyzet/Eötvös Loránd Tudományegyetem Természettudományi Kar

Szerző

Lektor

Budapest

'Pásztorné Varga Katalin: Logikai alapozás alkalmazásokhoz ' összes példány

Kiadó:	ELTE
Kiadás helye:	Budapest
Kiadás éve:	1992
Kötés típusa:	Ragasztott papírkötés
Oldalszám:	240 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 16 cm
ISBN:
Megjegyzés:	A könyv 600 példányban készült.

Értesítőt kérek a kiadóról

A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Előszó

A jegyzet a programozó matematikusok logika oktatását kívánja támogatni. Alapvető célja, hogy az első év első félévében "Logikai alapok a programozáshoz" címmel elhangzó előadás törzsanyagának... Tovább

Tartalom

Bevezetés	3
Bevezető megjegyzések a logikáról	5
A logika mint tudomány	5
A matematikai logikáról	7
A matematikai logika formális eszközei	9
Az L formalizált nyelv	20
Az L formalizált nyelv ABC-je és rendje	20
Az elsőrendű L formalizált nyelv szintaxisa	23
Megjegyzések az L formalizált nyelv szemantikájáról és kifejezőerejéről	27
Ítéletkalauz	31
Az ítéletkalauz műveletei és szintaxisa	32
Az ítéletkalauz szemantikája, állítások formalizálása	34
Az ítéletkalauz műveleteinek tulajdonságairól	43
Az ítéletkalauz mint algebrai struktúra	45
További funkcionálisan teljes művelethalmazok	56
Szemantikus következményfogalom és a tautológia	58
Helyes következtetési formák, eldöntésprobléma	59
Következtetési módok. A konklúzió levezetése	69
Rezolúciós elv	74
Szemantikus fa	75
Következtetések rezolúciós kalkulussal	79
Bizonyításelméleti tárgyalás	88
Logikai függvénykalauz vagy predikátumkalkulus	103
Bevezető megjegyzések	103
Szabad és kötött változók. Szemantika	105
Kvantorok hatásköre, változók és formulák osztályozása	105
Az L elsőrendű formalizált nyelv szemantikája	106
A logikai függvénykalkulus következményfogalma, logikailag igaz formulák	113
Helyet következtetésformák. Eldöntésprobléma	116
Kvantált formulák kifejtése. Prenex formulák.	123
Az eldöntésprobléma és az univerzum számossága	128
Elsőrendű rezolúciós elv. Skolem-formula	130
Alaprezolúció	136
Problémamegoldás - formalizálás	145
Bizonyításelmélet	161
Elsőrendű rezolúciós kalkulus	170
Herbrand tételek	170
Davis és Putnam módszere	183
Elsőrendű rezolúciós levezetés	186
Rezolúciós levezetési stratégiák	200
Tabló- (cáfolati fa) módszer	214
Záró megjegyzések - kitekintés	222
Irodalomjegyzék	227
Tárgymutató	231
Jelölések	237