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
English
|
 |
|