Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2024/2025

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ů:
Platnost dat k 14. 12. 2024
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/cs/predmet24695105.html