Matematika 4S

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra matematiky

Anotace:

Jazyk, struktura, homomorfismy struktur, množinová representace Booleových algeber. Booleovské funkce, konjunktivní a disjunktivní normální tvary, aplikace, elektrická schémata. Jazyk výrokové logiky, pravdivostní ohodnocení, model, tautologie. Jazyk predikátové logiky, atomické formule, formule, sémantika a syntaxe. Věta o ekvivalenci.

Požadavky:

nejsou

Osnova přednášek:

Osnova cvičení:

Cíle studia:

Student umí matematickou logiku, výrokový a predikátový počet, matematické struktury a modely.

Studijní materiály:

J. Jirásko: Matematika 35 - Matematická logika, ČVUT, 1997., J. Kolář, O. Štěpánková, M. Chytil: Logika, algebry a grafy, SNTL, 1984., A. Sochor: Klasická matematická logika, Karolinum, 2001.

Poznámka:

Další informace:

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů: