Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2019/2020

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

Předmět není vypsán Nerozvrhuje se
Kód Zakončení Kredity Rozsah
11W6LS Z 4 4
Přednášející:
Cvičící:
Předmět zajišťuje:
ústav 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ů:
Platnost dat k 22. 9. 2019
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet23906205.html