Professional Documents
Culture Documents
Teaching Plan: B U 13 N S R, K W: WWW - Bahria.edu - PK
Teaching Plan: B U 13 N S R, K W: WWW - Bahria.edu - PK
TEACHING PLAN
Lecture Schedule:
WEEK DATE TOPICS/SUBTOPICS ASSIGNMENTS QUIZZES
01 1/3/2021 Propositional statements, Logical connectives, negation,
conjunction, disjunction, conditional, bi conditional, Truth tables,
Compound statements and truth values
02 8/3/2021 Logical equivalences, tautology, contradiction, verification using
truth table, verification using Laws, predicate logic and its truth Assignment:01
values, quantifiers and its truth values, universal quantifiers,
counterexample
03 15/3/2021 Nested quantifiers, methods of proofs, direct proofs, proof by
contradiction, program correctness, loop invariant Quiz: 01
Quiz: 02
11 17/5/2021 Paths, Euler paths and circuits, Hamilton paths and circuits Quiz: 03
14 03/6/2021 Quiz: 04
Languages and grammars, phrase- structure, types of phrase-
structure
16 17/6/2021 Revision
24/6/2021 Final Examinations
Course Evaluation:
Course Work: 30% (10 Marks Quiz (4) + 20 Marks Assignment (4))
Mid Term: 20%
Final Exam: 50%
Text Book:
Discrete Mathematics and Its Applications by Kenneth H Rosen, 7th Edition
Reference Books:
Discrete Mathematics with Applications by Susanna S. Epp, 4th Edition Discrete Mathematics by Richard Johnsonbaugh, 8th
Edition
Course Policy:
*It is acknowledged that the objectives, synopsis of the course and distributions of examination marks will not be changed in the
framework of the course as certified
___________________ ___________________________