Course details
Selected Parts of Mathematics
VPM Acad. year 2003/2004 Winter semester 7 credits
Integral transformations. The integral of a function of the complex variable. The Fourier transformation. The Laplace transformation. The language of the predicate logic. Denotation of formulas. Demontrability and denotation. Consistency and completness. Logic variable. Substitution. Semantics of the predicate calculus.
Guarantor
Language of instruction
Completion
Time span
Department
Learning objectives
To obtain the basic knowledge of the properties and applications of integral transformations. To obtain the fundamentals of the synthaxis and semantics of the predicate logic which is necessary for understanding the theory of programming languages.
Course inclusion in study plans
- Programme EI-BC-3, field VTB, 2nd year of study, Compulsory-Elective
- Programme EI-BC-3 (in English), field VTB, 2nd year of study, Compulsory-Elective
- Programme EI-MGR-5, field VTI, 2nd year of study, Compulsory-Elective
- Programme EI-MGR-5 (in English), field VTI, 2nd year of study, Compulsory-Elective