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
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
Sıla Özen Güçlü
Osman Kaan Erol
Course Language
Turkish
|
 |
|