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:

Přednáška si klade za cíl poskytnout posluchačům informace o logických aspektech přesného, odůvodněného usuzování, typického pro řešení inženýrských úkolů. Budou probrány základní myšlenky výrokové a predikátové logiky spolu s řadou příkladů z technické praxe a bude ukázána jejich aplikace při návrhu kombinačních i sekvenčních sítí automatů.

Požadavky:

Osnova přednášek:

Osnova cvičení:

Cíle studia:

Studijní materiály:

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