Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-SDLAk. rok: 2023/2024
Množina, relace a zobrazení, ekvivalence, uspořádání. Algebraické struktury s jednou a dvěma operacemi. Homomorfismy a kongruence. Svazy a Boolovy algebry. Výroková a predikátová logika: syntaxe, sémantika, normální formy formulí, důkaz, teorie, korektnost, úplnost.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Vstupní znalosti
Pravidla hodnocení a ukončení předmětu
Závěrečný test, k zápočtu je potřeba zíksat 55 bodů ze 100.
Učební cíle
Doporučení literatura
Seminář
Vyučující / Lektor
Osnova
(seminář beží v prvních 11 týdnech semestru, se čtyřmi dírami na vnitrosemestrální testy z TIN, MSP, a na svátek)