Detail předmětu
Vybrané partie z matematiky
VPM Ak. rok 2003/2004 zimní semestr 7 kreditů
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.
Garant předmětu
Jazyk výuky
Zakončení
Rozsah
Zajišťuje ústav
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
- Program EI-BC-3, obor VTB, 2. ročník, povinně volitelný
- Program EI-BC-3 (anglicky), obor VTB, 2. ročník, povinně volitelný
- Program EI-MGR-5, obor VTI, 2. ročník, povinně volitelný
- Program EI-MGR-5 (anglicky), obor VTI, 2. ročník, povinně volitelný