This course covers discrete mathematics topics related to information technology selected from the following topics: Logic and proof techniques, set theory and relations, functions and algorithms, boolean algebra graph theory and trees.