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

Garant předmětu:

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra aplikované matematiky

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:

Bek, R.: Logika. Vydavatelství ČVUT, Praha, 2001.

Peregrin, J.: Logika a logiky. Academia, Praha, 2004.

Štěpán, J.: Logika a logické systémy. Votobia, Olomouc, 1992.

Poznámka:

Rozvrh na zimní semestr 2024/2025:

Rozvrh není připraven

Rozvrh na letní semestr 2024/2025:

Rozvrh není připraven

Předmět je součástí následujících studijních plánů:

• navaz. mag. PRE program DS 22/23 (povinně volitelný předmět)
• navaz. mag. PRE program LA 22/23 (nová akreditace) (povinně volitelný předmět)
• navaz. mag. PRE program DS 23/24 (povinně volitelný předmět)
• navaz. mag. PRE program LA 23/24 (povinně volitelný předmět)
• navaz. mag. PRE program DS 24/25 (povinně volitelný předmět)
• navaz. mag. PRE program LA 24/25 (povinně volitelný předmět)