COURSE UNIT TITLE

: DISCRETE MATHEMATICS AND LOGIC

Description of Individual Course Units

Course Unit Code Course Unit Title Type Of Course D U L ECTS
BIL 1005 DISCRETE MATHEMATICS AND LOGIC COMPULSORY 4 0 0 6

Offered By

Computer Science

Level of Course Unit

First Cycle Programmes (Bachelor's Degree)

Course Coordinator

ASISTANT PROFESSOR MURAT ERŞEN BERBERLER

Offered to

Computer Science

Course Objective

To teach mathematical and logical structures which are basis of computer science.

Learning Outcomes of the Course Unit

1   Have a knowledge of basic concepts of discrete mathematics and logic.
2   Be able to solve problems of discrete mathematics and logic.
3   Be able to solve computer science problems by using discrete mathematics and logic concepts.
4   Be able to design efficient algorithms by using discrete mathematics and logic concepts.
5   Be able to solve problems of different type of disciplines by using concepts of discrete mathematics and logic.

Mode of Delivery

Face -to- Face

Prerequisites and Co-requisites

None

Recomended Optional Programme Components

None

Course Contents

Week Subject Description
1 Logic Propositional equivalences Quantifiers
2 Proofs Methods of proving theorems Mistakes in proofs
3 Sets The power set Cartesian products Set operations
4 Functions One-to-one and onto functions Inverse functions and compositions of functions The graphs of functions Quiz 1
5 Algorithms Searching, sorting and greedy algorithms Big-O notation Complexity of algorithms
6 The integers and division Modular arithmetic The Euclidean algorithm Applications of number theory
7 Matrices Matrix arithmetic
8 Mid-term exam
9 Induction Sequences and summations
10 Recursion Recursive algorithms
11 Counting The pigeonhole principle Permutations and combinations Binomial coefficients
12 Discrete probability Probability theory Expected value and variance Quiz 2
13 Advanced counting techniques Recurrence relations Divide-and conquer algorithms
14 Relations Representing relations Closures of relations Equivalence and ordering relations Boolean algebra Logic gates Minimization of circuits

Recomended or Required Reading

Textbook(s): Discrete Mathematics and Its Applications, Kenneth H. Rosen, ISBN: 0072424346.
Supplementary Book(s): Bilgisayar Bilimi ve Mühendisliğinde Ayrık Matematik, Rifat Çölkesen, ISBN: 975-6796-XX-X.

Planned Learning Activities and Teaching Methods

The course is taught in a lecture, class presentation and discussion format. Besides the taught lecture, group presentations are to be prepared by the groups assigned and presented in a discussion session. In some weeks of the course, results of the homework given previously are discussed.

Assessment Methods

SORTING NUMBER SHORT CODE LONG CODE FORMULA
1 MTE MIDTERM EXAM
2 QUZ QUIZ
3 FIN FINAL EXAM
4 FCG FINAL COURSE GRADE MTE * 0.30 + QUZ * 0.20 + FIN * 0.50
5 RST RESIT
6 FCGR FINAL COURSE GRADE (RESIT) MTE * 0.30 + QUZ * 0.20 + RST * 0.50


Further Notes About Assessment Methods

None

Assessment Criteria

To be announced.

Language of Instruction

Turkish

Course Policies and Rules

To be announced.

Contact Details for the Lecturer(s)

murat.berberler@deu.edu.tr

Office Hours

Will be announced.

Work Placement(s)

None

Workload Calculation

Activities Number Time (hours) Total Work Load (hours)
Lectures 13 4 52
Preparations before/after weekly lectures 12 4 48
Preparation for midterm exam 1 10 10
Preparation for final exam 1 12 12
Preparation for quiz etc. 2 6 12
Final 1 2 2
Midterm 1 2 2
Quiz etc. 2 1 2
TOTAL WORKLOAD (hours) 140

Contribution of Learning Outcomes to Programme Outcomes

PO/LOPO.1PO.2PO.3PO.4PO.5PO.6PO.7PO.8PO.9PO.10PO.11PO.12PO.13
LO.15
LO.255
LO.3555
LO.455
LO.555