Práce představuje základní rysy matematického aparátu lambda-kalkul v souvislosti s jeho využitím v informatice. Lambda-kalkul je aparátem pro popis informací skládajících se nejen z prostých dat, ale i znalostí. Práce dále seznamuje s některými z praktických aplikací lambda-kalkulu v oblasti tvorby software a výuky.
Práce představuje základní rysy matematického aparátu lambda-kalkul v souvislosti s jeho využitím v informatice. Lambda-kalkul je aparátem pro popis informací skládajících se nejen z prostých dat, ale i znalostí. Práce dále seznamuje s některými z praktických aplikací lambda-kalkulu v oblasti tvorby software a výuky. (cs)
The aim of this paper is to introduce lambda calculus – mathematic formal system. Lambda calculus is also a system for describing information containing not only simple data but also a knowledge. The paper also shows some of its applications in the fields of software development and education. (en)