| Cím |
Logika szeminárium |
| Oktató |
Mekis Péter |
| Kódok |
BBN-FIL-302.03, BMA-FILD-302.03, TANM-FIL-302.03, BMA-SZEMD-312 |
| Időpont |
Péntek 10:00-11:30 |
| Hely |
i-109 (alagsor) |
| Előismeretek |
A kurzusnak nincsenek előfeltételei. |
| Leírás |
A kurzuson bevezetjük a hagyományos és a modern logika alapvető
fogalmait és módszereit. Az anyag a következő témákat fedi le:
- a helyes következtetés fogalma;
- kategorikus szillogizmusok;
- a kijelentéslogika;
- az elsőrendű predikátumlogika elemei;
- deduktív és induktív definíciók;
- relációk tulajdonságai.
|
| Irodalom |
- Jegyzetek (félév közben folyamatosan feltöltve)
- Ruzsa Imre:
Bevezetés a modern logikába. 2. kiadás. Osiris, 2000.
|
| Online anyagok |
|