Požadavky ke zkoušce

Podmínkou zápisu ke zkoušce je splnění zápočtu.

Zkouška bude mít dvě části:

1) Řešení příkladů vybraných na základě výsledku zápočtového testu

2) Teoretická otázka, která je studentu přidělena podle výsledku zápočtového testu

Desatero úspěšného absolventa

10 témat, jejichž NEZNALOST se u zkoušky NEOMLOUVÁ

1) Zákon sporu a Zákon vyloučeného třetího

2) Pravdivostní podmínky základních logických spojek

3) Tabulková metoda

4) Tautologie, kontradikce a splnitelné formule

5) Konverze, inverze a kontrapozice implikace

6) De Morganovy zákony

7) Definice vyplývání

8) Definice odvozování

9) Modus ponens a Modus tolens

10) Spor