 Grading: Grades

Week  Date  COURSE OUTLINE 

1  13/09/2012 17/09/2012 
Introduction: Objectives of the course.Logic and Proof – Propositional Logic 
2  20/09/2012 24/09/2012 
Logic and Proof (cont.) Conditional Propositions and Logical Equivalance, QuantifiersValid arguments, Proof, Resolution Proofs 
3  27/09/2012 01/10/2012 
Basic proof techniques: Nature of Proof, direct, indirect proofs, proof by contradiction 
4  04/10/2012 08/10/2012 
Mathematical Induction QUIZ I 
5  11/10/2012 15/10/2012 
Recurrence Relations: Solving recurrence relations 
6  18/10/2012 22/10/2012 
Language of Mathematics: Sets, set theoretic proofs sequences and strings. 
7  25/10/2012 29/10/2012 
Set Exercises 
8  01/11/2012 05/11/2012 
MIDTERM WEEK 
9  08/11/2012 12/11/2012 
Relations, properties of relatrions, equivalance relations, matrices of relations. 
10  15/11/2012 19/11/2012 
Relations. Language of Mathematics:( Cont.) Functions: Domain, range, properties, types of functions, special functions 
11  22/11/2012 26/11/2012 
Functions (exercises) Basics of Counting: Counting arguments (addition and multiplication principle), Permütations and combinations 
12  29/11/2012 03/12/2012 
Basics of Counting: Introduction to Discrete probability theory. 
13  06/12/2012 10/12/2012 
Probability 
14  13/12/2012 17/12/2012 
Graphs and Trees : Graphs and digraph, classes of graphs, matrices associated with graphs, Binary trees, tree traversal. 
15  20/12/2012 24/12/2012 
Application of graphs, Minimum weight Spanning Trees. 