Cím |
Logika előadás |
Oktató |
Mekis Péter |
Kódok |
BMA-FILD-301.03, BBN-FIL-301.03, TANM-FIL-301 |
Időpont |
Hétfő 14:00-15:30 |
Hely |
i221 |
Számonkérés |
A kurzus szóbeli vizsgával zárul, a félév végén kiadott tematika alapján. |
Előismeretek |
A kurzus feltételez némi jártasságot a klasszikus elsőrendű predikátumlogika alapvető fogalmaiban és technikáiban. |
Leírás |
Az előadásokon érintett témák:
- klasszikus elsőrendű nyelvek: szintaxis és szemantika;
- analitikus fák az elsőrendű logikában; eldönthetőség;
- elsőrendű elméletek: alapvető fogalmak és módszerek;
- Peano-aritmetika: nyelv, axiómák, definíciók és elemi tételek;
- a végtelenek hierarchiája; Löwenheim-Skolem tételek;
- határozott leírások és szemantikai értékrés;
- magasabbrendű logika;
- modális logika és lehhetségesvilág-szemantika.
A témák menet közben a hallgatói igényeket követve változhatnak.
Az előadás angol nyelvű változata
mélyebben tárgyalja a témákat, és több anyagot is fed le.
|
Irodalom |
- Jegyzetek (félév közben bővülhetnek)
- Ruzsa Imre:
Bevezetés a modern logikába. 2. kiadás. Osiris, 2000.
|
Jegyzetek |
-
Arisztotelészi szillogizmusok
-
A predikátumlogika elemei
-
Igazságfeltételek a predikátumlogikában
-
Elsőrendű nyelvek
-
Elsőrendű elméletek
-
Végtelen halmazok
|
Vizsgatematika |
Logika előadás vizsgatémák 2017 tavasz |