Logika inženýrského úsudku
Předmět není vypsán Nerozvrhuje se
Kód | Zakončení | Kredity | Rozsah | Jazyk výuky |
---|---|---|---|---|
15Y1LU | KZ | 2 | 2+0 | česky |
- Garant předmětu:
- Přednášející:
- Cvičící:
- Předmět zajišťuje:
- katedra jazyků a společenských věd
- Anotace:
-
Logická struktura inženýrského úsudku, jeho výrokově a predikátově logická báze. Řešení logických úkolů metodami pravdivostních a sémantických rozkladových tabulek, metoda Vennových diagramů. Logický základ pro návrh sítí pro řešení technických úkolů.
- Požadavky:
-
Elementární znalosti matematiky.
- Osnova přednášek:
- Osnova cvičení:
- Cíle studia:
-
Znalost základních typů logických aspektů pro řešení technických úkolů včetně metod řešení logických úkolů.
- Studijní materiály:
-
Roman Bek: Logika, ČVUT, Praha, 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ů: