Logika
Předmět není vypsán Nerozvrhuje se
Kód | Zakončení | Kredity | Rozsah | Jazyk výuky |
---|---|---|---|---|
D62LGK | ZK | 2P | česky |
- 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ů: