Welcome, Guest . Login . Türkçe
Where Am I: Ninova / Courses / Faculty of Computer and Informatics / BLG 112 - Ayrık Matematik

BLG 112 - Discrete Mathematics

Course Objectives

To teach basic mathematical structures and methods needed for computer engineering studies. To develop mathematical modelling and abstract thinking skills. To introduce the importance and applications of formal systems.

Course Description

Counting. Propositions, rules of inference, predicates, quantifiers, sets. Proof methods, proof by contradiction, induction. Relations, functions, pigeonhole principle. Graphs, trees. Algebraic structures, partially-ordered sets, lattices.

Course Coordinator
Ayşegül Yayımlı
Hayri Turgut Uyar
Course Language
Courses . Help . About
Ninova is an ITU Office of Information Technologies Product. © 2024