Organizace zkoušek a klasifikace
- 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 trvá 120 minut čistého času a skládá se
ze 4 příkladů, maximální bodový zisk je 100 bodů. První příklad je na
relace a mohutnosti množin, druhý z výrokové logiky, třetí
na syntaxi a sémantiku predikátové logiky a čtvrtý na rezoluční
metodu v predikátové logice.
- K následné ústní zkoušce se mohou dostavit pouze ti, kteří dosáhli z
písemné zkoušky alespoň 70 bodů. U ústní zkoušky je možné získat maximálně
20 bodů.
- Klasifikace je určena následovně:
| součet |
známka |
| 110-120 | A (výborně) |
| 95-109 | B (velmi dobře) |
| 80-94 | C (dobře) |
| 65-79 | D (uspokojivě) |
| 50-64 | E (dostatečně) |
Pokyny k písemné zkoušce
- Ke zkoušce se dostavte alespoň 15 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 listů formátu A4
(formát velkého sešitu) a psací potřeby (písemnou zkoušku není možné psát
červenou barvou nebo tužkou).
- Před začátkem písemné zkoušky si pečlivě pročtěte titulní stranu
zadání, vyplňte jméno a příjmení.
- 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 a občerstvení. Kapesní kalkulátor
není potřeba a není povolen. Vše ostatní dejte do tašky; tašku zavřete a odložte,
mobilní telefony vypněte.
Ukázku zkouškového testu berte s rezervou. Obsah skutečných testů bude záviset na
odpřednášené látce! Mimo jiné to znamená, že na úspešné složení zkoušky nestačí umět
vyřešit tento ukázkový test.