Logika a sémantika 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:

Kurs má za účel seznámit posluchače s obecnou logickou problematikou při užití přirozeného jazyka i přesných jazyků při řešení inženýrských úkolů. Budou vysvětleny logicko - sémantické základy přesného modelování inženýrské reality a dnešních vývojových trendů.

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