1.113.959
kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát
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
Budapest
| Kiadó: | ELTE |
|---|---|
| Kiadás helye: | Budapest |
| Kiadás éve: | |
| 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
naponta értesítjük a beérkező friss
kiadványokról
A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról
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ábbElő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 elsajátításához segítséget nyújtson. A szerző véleménye szerint a hallgatók szempontjából helyesebb lenne ezt az előadást legalább egy félévvel későbbre időzíteni, amikor a matematika egyes ágainak tárgyalásáról már bizonyos tapasztalattal rendelkeznek a hallgatók, bár az elmúlt két év tapasztalata azt mutatta, hogy a hallgatóság nagy része képes az anyag kellő mélységű elsajátítására. Remélhetőleg a jegyzet lehetővé teszi a hallgatók számára az anyag jobb megértését, az előadó számára a törzsanyag kellő mértékű bővítését és rendszeres aktualizálását.A jegyzet megírását az is indokolja, hogy olyan könyv nem található magyar nyelven, amely a számítástudományban való alkalmazások szempontjából, átfogó módon tárgyalná az anyagot, nem tételezne fel sok előismeretet, tehát elemi módon, de nem vulgarizálva ismertetné a logikát. Vissza
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 |
Témakörök
Pásztorné Varga Katalin
Pásztorné Varga Katalin műveinek az Antikvarium.hu-n kapható vagy előjegyezhető listáját itt tekintheti meg: Pásztorné Varga Katalin könyvek, művekMegvásárolható példányok
Nincs megvásárolható példány
A könyv összes megrendelhető példánya elfogyott. Ha kívánja, előjegyezheti a könyvet, és amint a könyv egy újabb példánya elérhető lesz, értesítjük.
Folytatás Microsoft-tal