Logika

Garant předmětu:

Přednášející:

Cvičící:

Předmět zajišťuje:

Fakulta stavební

Anotace:

Výrokově-logická báze formálních jazyků. Otázky bezespornosti a úplnosti. Predikátové logiky. Deduktivní a induktivní odvození, nemonotónní odvozování. Netradiční logiky, mlhavé relace, konstrukce mlhavých výroků, jejich bezespornost a úplnost. Principy logické výstavby celků a jejich dynamiky. Epistemické operátory.

Požadavky:

Osnova přednášek:

Osnova cvičení:

Cíle studia:

Studijní materiály:

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ů: