Důkazové systémy formální logiky _Archiv

Předmět byl vypsán v rámci druhého ročníku UMK. Příští ročník nabídne opět zcela novou sadu předmětů.

Přednášející: Nikdo

Hodnocení: 3 kr., zápočet

Předpoklady: Výhodou může být znalost středoškolské výrokové logiky, jelikož právě s ní budeme v kurzu pracovat.

Cíle: Cílem kurzu je seznámit studenty s důkazovými systémy formální logiky, především pak s Hilbertovským kalkulem, který je hojně používán ve výrokové logice.

Anotace: Po seznámení s důležitými pojmy se v rámci cvičení studenti naučí dokazovat jednodušší formule v Hilbertovském kalkulu. Ve zbytku času budou krátce představeny další logické kalkuly jako Gentzenův kalkulus a systém přirozené dedukce, kterých se využívá hlavně v predikátové logice.

Líbíl se ti předmět? Pověz o něm kamarádům!