Logika inženýrského úsudku

Přednášející:

Cvičící:

Předmět zajišťuje:

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

• 2.bl.bak.komb.ME 09/10začátek (povinně volitelný předmět)
• 2.bl.bak.komb.ME 05/06 začátek (povinně volitelný předmět)
• 2.bl.bak.komb.ME 06/07 začátek (povinně volitelný předmět)
• 2.bl.bak.komb.ME 07/08začátek (povinně volitelný předmět)
• 2.bl.bak.komb.ME 08/09začátek (povinně volitelný předmět)
• 2.bl.bak.komb.ME 10/11začátek (povinně volitelný předmět)
• 2.bl.bak.komb.ME (povinně volitelný předmět)