Course Information

Course Name	Turkish	Ayrık Matematik
	English	Discrete Mathematics
Course Code	BLG 112	Credit	Lecture (hour/week)	Recitation (hour/week)	Laboratory (hour/week)
Semester	-	3	3	-	-
Course Language		Turkish
Course Coordinator		Sıla Özen Güçlü Osman Kaan Erol
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 Outcomes
Pre-requisite(s)
Required Facilities
Other
Textbook
Other References