Ez a könyv az Oktatási Minisztérium támogatásával, a Felsőoktatási Pályázatok Irodája által lebonyolított felsőoktatási tankönyvtámogatási program keretében jelent meg.
Szerzői jog © 2003 Hungarian Edition Panem Könyvkiadó Kft., Budapest
2003
Tartalom
- 1. Matematikai alapfogalmak
- 2. A logikáról általában
- 3. A logikai nyelvekről
- 4. Az ítéletlogika
- 5. Az elsőrendű logika
- 6. A logika szintaktikus tárgyalása
- Bizonyításelmélet
- Gentzen-stílusú kalkulusok
- Rezolúciós elv – rezolúciós kalkulus
- Konjunktív normálformák és nulladrendű klózhalmazok
- A rezolúciós kalkulus az ítéletlogikában
- Rezolúciós stratégiák
- Skolem-normálforma és az elsőrendű klózhalmaz
- Az alaprezolúció
- A Herbrand-univerzum és az elsőrendű klózhalmazok
- Davis és Putnam módszere
- A rezolúciós kalkulus az elsőrendű logikában
- Rezolúciós levezetési stratégiák
- A tablók módszere – tablókalkulus
- 7. Alkalmazások
Az ábrák listája
- 4.1. Ítéletlogikai formula szerkezetének fája
- 4.4. Az
- 4.12. Hasse-diagramok
- 4.13. Komplementumos háló Hasse-diagramja
- 5.1. Term szerkezeti fája
- 5.2. Elsőrendű formula szerkezeti fája
- 5.3.
- 5.4. Logikailag és tautologikusan igaz elsőrendű formulák
- 6.13. Az interpretációhoz tartozó zárt szemantikus fák
- 6.14. A zárt szemantikus fa
- 6.16.
- 6.17.
- 6.18.
- 6.20. Közvetlen tablók ,,jelöletlen” és
- 6.21. Közvetlen tablók jelölt formulákra
- 06.22.
- 6.23.
- 6.24. A jelölt formulák feldolgozása a tablóba kerülés sorrendjében
- 6.25. A jelölt formulák feldolgozása ,,
- 6.26. Közvetlen tablók
- 6.27. Közvetlen tablók ,,jelöletlen” formulákra
- 6.28. Közvetlen tablók jelölt formulákra
- 7.1. Véges SLD fa
- 7.2. Végtelen SLD fa
A táblázatok listája
- 3.1. Az egyváltozós logikai műveletek
- 3.2. A kétváltozós logikai műveletek
- 3.3. A logikai műveletek mint logikai összekötők
- 3.4. Logikán kívüli rész a struktúrák és leíró nyelvük ábécéjében
- 3.5. A formalizált nyelv ábécéje és jellemzőik
- 4.2. A logikai műveletek közös igazságtáblája
- 4.3. Az
- 4.5. Kiterjesztett igazságtábla
- 4.6. Kiterjesztett igazságtábla egyszerűen
- 4.7. Kiterjesztett igazságtábla lusta módszerrel
- 4.8. Kiterjesztett igazságtábla lusta módszerrel egyszerűen
- 4.9. Az
- 4.10. Az
- 4.11. Az
- 4.14. A
- 6.1. Az ítéletkalkulus axiómasémái
- 6.2. Az ítéletkalkulus levezetési szabálya
- 6.3. Levezetés generálása adott levezetésből
- 6.4. A predikátumkalkulus axiómasémái
- 6.5. A predikátumkalkulus levezetési szabálya
- 6.6. A természetes levezetés technikájának strukturális szabályai
- 6.7. A természetes levezetés technikájának logikai szabályai
- 6.8. A természetes levezetés technikájának kvantoros szabályai
- 6.9. A G-kalkulus
- 6.10. A C-kalkulus
- 6.11. A G-kalkulus kvantoros levezetési szabályai
- 6.12. A C-kalkulus kvantoros levezetési szabályai
- 6.15. Jelölt és ,,jelöletlen” formulapárok igazságtáblája
- 6.19. Az