A programs can be seen as a mathematical function which calculate output value for a given input. However, it is not a simple mathematical function. It is not a total function, but a partial one. In order to understand the property of programs, it is necessary to introduce topology of complete partial order. In this lecture, we will study lambda calculus, domain theory, category theory and so on which are base for mathematical theory of programs.