info k situaci na Ukrajině
logo ČVUT FD

Logika inženýrského myšlení

Kód předmětu:
11Y2LG
Studium:
navazující magisterské
Studijní program:
Technika a technologie v dopravě a spojích (N 3710)
semestrjazykobor / specializace
2češtinavšechny obory
Dopravní systémy a technika (N1041A040003)
semestrjazyk
2čeština
Logistika a řízení dopravních procesů (N1041A040005)
semestrjazyk
2čeština
Forma studia:
prezenční
Počet kreditů:
2
Rozsah výuky:
2 + 0 hodin týdně - v prezenční formě studia
Typ předmětu:
povinně volitelný
Zakončení:
klasifikovaný zápočet (kz)
Vyučující předmětu:
RNDr. Magdalena Hykšová, Ph.D. (přednášející, cvičící)
Garantující ústav:
Ústav aplikované matematiky (16111)
Klíčová slova:
inženýrský úsudek, výroková logika, pravdivostní tabulky, sémantické rozkladové tabulky, predikátová logika, Vennův diagram, kombinační a sekvenční sítě
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ů.
Cíle:
Znalost základních typů logických aspektů pro řešení technických úkolů včetně metod řešení logických úkolů.