5 kreditértékű, Kötelező tárgycsoportba tartozó tantárgy, 1. félévben ajánlott.
Eddig
| Tantárgy neve | Félév | Tárgycsoport |
|---|---|---|
| A mesterséges intelligencia alapjai | 4 | Kötelező |
| Algoritmusok tervezése és elemzése | 6 | Kötelező |
| Boole-függvények az informatikában | Szabadon választható |
Témakörök:
- Elsőrendű logikai nyelvek, termek, formulák.
- Kötött és szabad változók, kötött változók átnevezése, a változóiban tiszta formula.
- A termhelyettesítés.
- Az elsőrendű nyelv interpretálása, igazságértékelés.
- Kielégíthető formulák, logikai törvények és ellentmondások.
- Logikailag ekvivalens formulák.
- A formula konjunktív és diszjunktív normálformája, prenex és Skolem alakja.
- A logikai következmény fogalma.
- A predikátumkalkulus, dedukció-tétel, a természetes levezetés technikája.
- A tételbizonyítás módszerei.
- Formális axiomatikus elméletek.
Tantárgy honlapja: http://www.inf.unideb.hu/pti-logika