Zpět na domovskou stránku.

Matematická logika (kombinované studium) --- letní semestr 2008

Osnovu předmětu naleznete zde .

Text k přednášce (84 strany, verze 30.7.2007, klikací PDF )
Z obsahu: neformální pojmy matematiky, výroková logika, predikátová logika, resoluční algoritmy, formalizace českých vět, naivní teorie množin, mohutnosti.

Pokud naleznete chybu, dejte mi, prosím, vědět. Nalezené chyby budu zatím soustřeďovat zde .
Postupně zde budu zveřejňovat handouts (zhuštěné přednášky) ve formátu PDF.

Další možné doplňující informace lze najít na stránkách tohoto předmětu pro denní studium prof. Demlové nebo Dr. Horčíka .

Požadavky na zápočet: vypracovaná vzorová písemka , odevzdaná nejpozději do 14:15 dne 7.5.2008.

Pokyny ke zkoušce:

Na zkoušku se mohou přihlásit pouze ti, kteří mají udělen zápočet. Přihlašovat se lze pouze prostřednictvím systému KOS.
Písemná zkouška: 90 minut čistého času, 4 příklady, maximální bodový zisk 100 bodů. ( Ukázka písemné zkoušky ve formátu PDF.)
K ústní zkoušce se mohou dostavit pouze ti, kteří dosáhli alespoň 60 bodů z písemné zkoušky. U ústní zkoušky je možné získat maximálně 30 bodů.
Klasifikace je určena následovně:

součet známka

60-79 dobře

80-109 velmi dobře

110-130 výborně

Pokyny k písemné zkoušce:

Ke zkoušce se dostavte alespoň 5 minut před začátkem a připravte si průkaz totožnosti (index, občanský průkaz, pas).
Ke zkoušce si vezměte dostatečné množství čistých (tj. nelinkovaných, nečtverečkovaných...) listů formátu A4 (formát velkého sešitu) a psací potřeby (modré nebo černé barvy, písemnou zkoušku není možné psát tužkou). Písemka nevyhovující těmto požadavkům nebude přijata.
Během písemné zkoušky smíte mít na lavici pouze zadání písemky, papíry, na které zkoušku vypracováváte, psací potřeby, neprogramovatelný kapesní kalkulátor a občerstvení. Vše ostatní (včetně mobilního telefonu) dejte do tašky; tašku zavřete a odložte, mobilní telefony vypněte.

Poslední změna: 22.5.2008