Detail předmětu

Vybrané partie z matematiky

VPM Ak. rok 2003/2004 zimní semestr 7 kreditů

Aktuální akademický rok

Integrální transformace: Integrál funkce komplexní proměnné, Fourierova transformace, Laplaceova transformace. Výroková logika: Jazyk výrokové logiky, ohodnocení formulí výrokového počtu, dokazatelnost a ohodnocení, bezespornost a úplnost. Predikátová logika: Jazyk predikátové logiky, proměnná, její výskyt a subtituce, sémantika predikátové logiky.

Podrobněji ...

Garant předmětu

Švarc Svatopluk, RNDr., CSc.

Jazyk výuky

česky

Zakončení

zkouška

Rozsah

Zajišťuje ústav

Ústav matematiky (UMAT)

Cíle předmětu

Seznámení s vlastnostmi a užitím integrálních transformací. Seznámení se syntaxí a sémantikou výrokové a predikátové logiky v míře potřebné pro logické programovací jazyky.

Zařazení předmětu ve studijních plánech

Nahoru