CS1200 - Discrete Mathematics for Computer Science

Meetings  

• Theme 1 : Description: How to describe sets? - 60 meetings

  • Meeting 01 : Fri, Jan 17, 11:00 am-11:50 am

  Introduction. Administrative Announcements.

  References
  Exercises
  Reading

  Introduction. Administrative Announcements.
  

  References:

  None

  • Meeting 02 : Mon, Jan 20, 09:00 am-09:50 am

  Introduction to propositional logic. Propositions. Compound propositions. Truth table. Implication

  References	Rosen's text book
  Exercises
  Reading	Read Smulyan’s book on Puzzles and Paradoxes

  Introduction to propositional logic. Propositions. Compound propositions. Truth table. Implication
  

  References:	Rosen's text book
  Reading:	Read Smulyan’s book on Puzzles and Paradoxes

  • Meeting 03 : Tue, Jan 21, 08:00 pm-08:50 pm

  Implication and double implication. Logical equivalence.

  References	Rosen's text book
  Exercises
  Reading	Read Smulyan’s book on Puzzles and Paradoxes

  Implication and double implication. Logical equivalence.
  

  References:	Rosen's text book
  Reading:	Read Smulyan’s book on Puzzles and Paradoxes

  • Meeting 04 : Wed, Jan 22, 01:00pm-01:50pm

  Tautology and contradiction. Example translations from English and vice versa.

  References
  Exercises
  Reading

  Tautology and contradiction. Example translations from English and vice versa.
  

  References:

  None

  • Meeting 05 : Fri, Jan 24, 11:00 am-11:50 am

  Arguments and argument forms. Validity of an argument .

  References
  Exercises
  Reading

  Arguments and argument forms. Validity of an argument .
  

  References:

  None

  • Meeting 06 : Mon, Jan 27, 09:00 am-09:50 am

  Predicate logic. Universal and existential quantifiers. Examples..

  References
  Exercises
  Reading

  Predicate logic. Universal and existential quantifiers. Examples..
  

  References:

  None

  • Meeting 07 : Tue, Jan 28, 08:00 pm-08:50 pm

  Equivalences in predicate logic. Nested quantifiers. Examples

  References
  Exercises
  Reading

  Equivalences in predicate logic. Nested quantifiers. Examples
  

  References:

  None

  • Meeting 08 : Wed, Jan 29, 01:00pm-01:50pm

  Inference rules for predicate logic. Arguments and argument forms in predicate logic. Examples.

  References
  Exercises
  Reading

  Inference rules for predicate logic. Arguments and argument forms in predicate logic. Examples.
  

  References:

  None

  • Meeting 09 : Fri, Jan 31, 11:00 am-11:50 am

  Tutorial 1

  References
  Exercises
  Reading

  Tutorial 1
  

  References:

  None

  • Meeting 10 : Mon, Feb 03, 09:00 am-09:50 am

  More examples of arguments.

  References
  Exercises
  Reading

  More examples of arguments.
  

  References:

  None

  • Meeting 11 : Tue, Feb 04, 08:00 pm-08:50 pm

  Proof techniques: Direct proof. Proof by contrapositive

  References
  Exercises
  Reading

  Proof techniques: Direct proof. Proof by contrapositive
  

  References:

  None

  • Meeting 12 : Wed, Feb 05, 01:00pm-01:50pm

  Short Exam 1

  References
  Exercises
  Reading

  Short Exam 1
  

  References:

  None

  • Meeting 13 : Fri, Feb 07, 11:00 am-11:50 am

  Proof of the contrapositive Examples of proofs.

  References
  Exercises
  Reading

  Proof of the contrapositive Examples of proofs.
  

  References:

  None

  • Meeting 14 : Mon, Feb 10, 09:00 am-09:50 am

  Proof by contradiction Examples.

  References
  Exercises
  Reading

  Proof by contradiction Examples.
  

  References:

  None

  • Meeting 15 : Tue, Feb 11, 08:00 pm-08:50 pm

  Proof by contradiction Proof by contradiction (contd). Proof by cases and exhaustion. Existence proofs. Examples

  References
  Exercises
  Reading

  Proof by contradiction Proof by contradiction (contd). Proof by cases and exhaustion. Existence proofs. Examples
  

  References:

  None

  • Meeting 16 : Wed, Feb 12, 01:00pm-01:50pm

  Tutorial 2

  References
  Exercises
  Reading

  Tutorial 2
  

  References:

  None

  • Meeting 17 : Fri, Feb 14, 11:00 am-11:50 am

  Tutorial 3

  References
  Exercises
  Reading

  Tutorial 3
  

  References:

  None

  • Meeting 18 : Mon, Feb 17, 09:00 am-09:50 am

  More proof techniques. Proof of equivalence Examples. Discussion of SE1.

  References
  Exercises
  Reading

  More proof techniques. Proof of equivalence Examples. Discussion of SE1.
  

  References:

  None

  • Meeting 19 : Tue, Feb 18, 08:00 pm-08:50 pm

  Quiz 1

  References
  Exercises
  Reading

  Quiz 1
  

  References:

  None

  • Meeting 20 : Wed, Feb 19, 01:00pm-01:50pm

  Existence proofs. Fallacies. Identifying fallacies.

  References
  Exercises
  Reading

  Existence proofs. Fallacies. Identifying fallacies.
  

  References:

  None

  • Meeting 21 : Fri, Feb 21, 11:00 am-11:50 am

  More on fallacies. Introduction to the principle of mathematical induction (PMI).

  References
  Exercises
  Reading

  More on fallacies. Introduction to the principle of mathematical induction (PMI).
  

  References:

  None

  • Meeting 22 : Mon, Feb 24, 09:00 am-09:50 am

  Proofs using PMI.

  References
  Exercises
  Reading

  Proofs using PMI.
  

  References:

  None

  • Meeting 23 : Tue, Feb 25, 08:00 pm-08:50 pm

  Examples of induction. Well ordered sets.

  References
  Exercises
  Reading

  Examples of induction. Well ordered sets.
  

  References:

  None

  • Meeting 24 : Wed, Feb 26, 01:00pm-01:50pm

  Tutorial 4

  References
  Exercises
  Reading

  Tutorial 4
  

  References:

  None

  • Meeting 25 : Fri, Feb 28, 11:00 am-11:50 am

  Non instructional day

  References
  Exercises
  Reading

  Non instructional day
  

  References:

  None

  • Meeting 26 : Mon, Mar 03, 09:00 am-09:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 27 : Tue, Mar 04, 08:00 pm-08:50 pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 28 : Wed, Mar 05, 01:00pm-01:50pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 29 : Fri, Mar 07, 11:00 am-11:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 30 : Mon, Mar 10, 09:00 am-09:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 31 : Tue, Mar 11, 08:00 pm-08:50 pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 32 : Wed, Mar 12, 01:00pm-01:50pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 33 : Fri, Mar 14, 11:00 am-11:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 34 : Mon, Mar 17, 09:00 am-09:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 35 : Tue, Mar 18, 08:00 pm-08:50 pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 36 : Wed, Mar 19, 01:00pm-01:50pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 37 : Fri, Mar 21, 11:00 am-11:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 38 : Mon, Mar 24, 09:00 am-09:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 39 : Tue, Mar 25, 08:00 pm-08:50 pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 40 : Wed, Mar 26, 01:00pm-01:50pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 41 : Fri, Mar 28, 11:00 am-11:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 42 : Mon, Mar 31, 09:00 am-09:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 43 : Tue, Apr 01, 08:00 pm-08:50 pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 44 : Wed, Apr 02, 01:00pm-01:50pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 45 : Fri, Apr 04, 11:00 am-11:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 46 : Mon, Apr 07, 09:00 am-09:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 47 : Tue, Apr 08, 08:00 pm-08:50 pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 48 : Wed, Apr 09, 01:00pm-01:50pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 49 : Fri, Apr 11, 11:00 am-11:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 50 : Mon, Apr 14, 09:00 am-09:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 51 : Tue, Apr 15, 08:00 pm-08:50 pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 52 : Wed, Apr 16, 01:00pm-01:50pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 53 : Fri, Apr 18, 11:00 am-11:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 54 : Mon, Apr 21, 09:00 am-09:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 55 : Tue, Apr 22, 08:00 pm-08:50 pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 56 : Wed, Apr 23, 01:00pm-01:50pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 57 : Fri, Apr 25, 11:00 am-11:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 58 : Mon, Apr 28, 09:00 am-09:50 am

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 59 : Tue, Apr 29, 08:00 pm-08:50 pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None

  • Meeting 60 : Wed, Apr 30, 01:00pm-01:50pm

  To Be Announced

  References
  Exercises
  Reading

  To Be Announced
  

  References:

  None