Domácí úkoly

Opravené domácí úkoly a průběžné testy jsou k vyzvednutí v konzultačních hodinách

Ø 1. domácí úkol (Logický čtverec) – datum odevzdání: pátek 29. února

Zadání

Ø 2. domácí úkol (Výroková logika) – datum odevzdání: pátek 28. března

Zadání

Ø 3. domácí úkol (Predikátová logika) – datum odevzdání: pátek 18. dubna

Zadání

Ø 4. domácí úkol (Formalizace I) – datum odevzdání: pátek 25. dubna pátek 2. května

Zadání

Ø 5. domácí úkol (Formalizace II) – datum odevzdání: pátek 2. května pátek 9. května

Zadání

Ø 6. domácí úkol (Platné a chybné úsudky) – datum odevzdání: pátek 9. května

V literatuře (odborné i beletrii) najděte příklad úsudku a ověřte jeho správnost prostředky formální logiky dle vlastního výběru, tj. tabulkovou metodou, kalkulem, vennovými diagramy nebo sylogismem, popř. protipříkladem.

Ø 7. domácí úkol (Chybné a správné definice) – datum odevzdání: pátek 9. května

V literatuře (odborné i beletrii) najděte příklad definice a ověřte její správnost.