Course Information

Course Name	Turkish	Ayrık Matematik
	English	Discrete Mathematics
Course Code	CEN 112E	Credit	Lecture (hour/week)	Recitation (hour/week)	Laboratory (hour/week)
Semester	-	3	-	-	-
Course Language		English
Course Coordinator		Mehmet Ali Sarıkaya
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 Outcomes		1. Students can examine an existing simple system formally. 2. Students know the necessary inference rules and proof methods for constructing a mathematically valid proof. 3. Students know the applications of relations and functions and can apply them to problems they have encountered. 4. Students know the basic problems and solutions in graph theory and can apply them to problems they have encountered.
Pre-requisite(s)
Required Facilities
Other
Textbook		Ralph P. Grimaldi, "Discrete and Combinatorial Mathematics", Addison-Wesley, 2004, ISBN 9780321211033.
Other References