Boolean algebra and logic functions. Fundamentals of logic. Truth table. Laws of logic. Canonical standard forms. Disjunctive and conjunctive normal forms. Logic functions minimization. Shannon's expansions of logic function. The derivative of logic function. Complete system of logic functions. Fundamentals of set theory: sets, subsets, set operations, laws of set theory, Venn diagrams, simplification of expressions. Cartesian products, relations, functions. Onto and one-to-one functions. Equivalence relation. Partially ordered sets. Introduction to graph theory. Classical problems of set theory.