Elsőrendű logika
Elsőrendű logika
Tartalomjegyzék
- Elsőrendű logika
- Impresszum
- 1. Az elsőrendű nyelvek és szemantikájuk (Tankönyv 121–125. oldal)
- 2. Mit értünk logikai kalkuluson? (Tankönyv 127–129. oldal)
- 3. A QC fölépítése (Tankönyv 130–132. oldal)
- 4. Levezetések QC-ben (Tankönyv 133–137. oldal)
- 5. A QC teljessége a KL-re nézve (Tankönyv 138. oldal)
- 6. A Peano-aritmetika (Tankönyv 142–147. oldal)
- 7. Halmazelmélet: osztályok és halmazok (Tankönyv 147–154. oldal)
- 8. Ajánlott irodalom
Kiadó: Akadémiai Kiadó
Online megjelenés éve: 2018
ISBN: 978 963 454 254 4
E jegyzet célja, hogy segítse a szimbolikus logika alapjait már ismerő hallgatókat Ruzsa Imre Bevezetés a modern logikába című alapvető könyvének feldolgozásában. Ezt az évtizedeken keresztül tökéletesített kompendiumot ugyanis meglehetősen nagyvonalú tárgyalásmód jellemzi, és inkább a szakembernek, mint a hallgatónak szól. A logikával épp csak ismerkedők számára hasznos olyan kiegészítéseket, magyarázatokat rendelni hozzá, amelyekkel e bizonyára sokáig felülmúlhatatlan magyar nyelvű munka számukra is befogadhatóvá válik. A következő oldalak, bár remélhetőleg önmagukban is érthetőek, szorosan Ruzsa művéhez kapcsolódnak, és azzal együtt olvasandók.
Hivatkozás: https://mersz.hu/hankovszky-elsorendu-logika//
BibTeXEndNoteMendeleyZotero