1-INF-210 Úvod do matematickej logiky

doc. RNDr. Eduard Toman, CSc.

Forma a rozsah výučby: Prednáška / Cvičenie - 2 / 2

Semester: 3.

Počet kreditov: 6

Priebežné hodnotenie: test

Záverečné hodnotenie: skúška

Cieľ predmetu: Axiomatický výklad výrokového, predikátového počtu a špeciálnych teórií.

Stručná osnova predmetu:

Jazyk, sémantika a syntax výrokovej logiky. Veta o kompaktnosti. Axiómy a pravidlá odvodenia. Veta o dedukcii. Základné teorémy výrokovej logiky. Postove vety. Bezospornosť a úplnosť výrokovej logiky. Jazyk, axiómy a pravidlá odvodenia predikátovej logiky. Veta o dedukcii. Základné teorémy predikátovej logiky. Bezospornosť a úplnosť predikátovej logiky. Axiómy rovnosti a príklady teórií s rovnosťou. Zapisovanie matematických tvrdení pomocou formúl predikátového počtu.

Jazyk, v ktorom sa predmet vyučuje: anglický, slovenský