Logika a sémantika i

Garant předmětu:

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra jazyků a společenských věd

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