Course details

Selected Parts of Mathematics

VPM Acad. year 2003/2004 Winter semester 7 credits

Current academic year

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.

Details ...

Guarantor

Švarc Svatopluk, RNDr., CSc.

Language of instruction

Czech

Completion

Examination

Time span

Department

Department of Mathematics (UMAT)

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

Back to top