The main objective of the course - to introduce students to the essential discrete mathematics: basics of mathematical logic, Boolean functions and finite set theory; argument and proof; predicate calculus.