Logika inženýrského úsudku

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