Sei sulla pagina 1di 2

KAIMS INTERNATIONAL INSTITUTE MULTAN

Course Plan
Program: Teacher Name: Engr. Zain Ul Abdeen
MCS
Subject: Discrete Semester: Fall
Mathematics 2016

Course Objectives:
After studying this course the student will be able to understand:

1. Logics, Proofs & Algorithms

2. Number Theory and Cryptography

3. Induction and Recursion & Discrete Probability

4. Graphs & Modelling Computation

Course Contents and Lectures Plan:


No. of LECTURE TOPIC TEST/ Quiz/
WEEKS ASSIGNME Presentati
NT on
Lecture-1 Propositional Logic
WEEK-1 Lecture-2 Applications of Propositional Logic Assignment
& Propositional Equivalences -1
Lecture-3 Predicates and Quantifiers
WEEK-2 Lecture-4 Assignment
Nested Quantifiers
-2
Lecture-5 Rules of Inference
WEEK-3 Lecture-6 Introduction to Proofs Assignment
-3
Lecture-7 Proof Methods and Strategy
WEEK-4 Lecture-8 Assignment
Set Operations & Sequences and
Summations -4

Contact@ 061-6220022, 0300-0454222 or Visit www.Kaims.edu.pk Page 1


Lecture-9 Algorithms & Complexity of
WEEK-5 Algorithms
Lecture-10 Divisibility and Modular Arithmetic & Assignment
Solving Congruences -5
Lecture-11 Cryptography
WEEK-6 Lecture-12 Recursive Definitions and Structural Assignment
Induction & Recursive Algorithms -6
Lecture-13 Program Correctness & Counting
WEEK-7 Lecture-14 Probability Theory & Bayes Theorem Assignment
-7
Lecture-15 Graphs and Graph Models &
WEEK-8 Representing Graphs and Graph
Isomorphism
Lecture-16 Euler and Hamilton Paths Assignment
-8
Lecture-17 Shortest-Path Problems & Planar
WEEK-9 Graphs
Lecture-18 Graph Coloring Assignment
-9
Lecture-19 Representing Boolean Functions
WEEK-10
Lecture-20 Logic Gates Assignment
-10
Lecture-21 Minimization of Circuits
WEEK-11
Lecture-22 Finite-State Machines with Output Assignment
-11
Lecture-23 Finite-State Machines with Output
WEEK-12 Lecture-24 Turing Machines
Lecture-25 Revision Quiz-1
WEEK-13 Lecture-26 Revision Quiz-2
Lecture-27 Revision Presentatio
WEEK-14 n- 1
Lecture-28 Revision Presentatio
n- 2

SUGGESTED READINGS:

Discrete Mathematics ( Seventh Edition) by Kenneth H. Rosen

Note: Marks of Quizzes and Presentations are evaluated in total marks

Contact@ 061-6220022, 0300-0454222 or Visit www.Kaims.edu.pk Page 2

Potrebbero piacerti anche