Effective procedures and computable functions. Relations, functions, sets and cardinality. Existence of non-computable functions.