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, graph theory and trees.