Cím |
Logika előadás |
Oktató |
Mekis Péter |
Kódok |
BMA-FIL-301.03, BMA-FILD-301.03 |
Időpont |
Kedd 12:00-13:30 |
Hely |
i221 |
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;
- az elsőrendű predikátumkalkulus: levezetések, a teljességi bizonyítás vázlata;
- a végtelenek hierarchiája; Löwenheim-Skolem tételek;
- határozott leírások és szemantikai értékrés;
- magasabbrendű logika.
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 folyamatosan feltöltve)
- 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 témakörök 2015 tavasz |