Vysledky pisemky1: VL (čtvrtek a pátek)

Vysledky, konkretne ziskane body za jednotlive podulohy, ve tvaru (pro čtvrtek) "1a 1b 1c ; 2a 2b 2c" a (pro pátek) "1a 1b 1c 1d ; 2a 2b 2c". Celkem max. 12 bodu, požadováno 8 bodů.

Pro připomenutí, čtvrtek:

1a Dokažte tablem (3b), 1b počet neekvivalentních nezávislých výroků (2b), 1c příklad nezávislého výroku (1b)

2a Modely T a axiomatizace v CNF (2b), 2b dokažte rezolucí (3b), 2c vlastnosti rozšíření (1b)

- Pátek

1a Dokažte tablem (2b), 1b počet neekvivalentních nezávislých výroků (2b), 1c příklad nezávislého výroku (1b), 1d vztahy pro množiny modelů (1b)

2a Modely T a axiomatizace v CNF (2b), 2b dokažte rezolucí (3b), 2c vlastnosti rozšíření (1b)

---- časté chyby:

- nemate Moodle :-o

- špatný přepis formule, následně dokazujete něco jiného (u 1/3 odpovědí)

- neúplná odpověď pro otázku s více částmi nebo odpověď ne v požadovaném tvaru