Weekly Schedule

CSCI C241/Spring 2012

 

Week of January 9

Tuesday Introduction, Propositional Logic, Truth tables
Expectations:
1. You should know how to construct the truth table for any proposition,
2. You should know how to check for satisfiability using truth tables.
Thursday Truth table examples, Tautology, Truth trees
Expectations:
1. You should know how to check for tautology using truth tables,
2. You should know how to grow the truth tree for any proposition,
3. You should know how to check for satisfiability using truth trees.

Week of January 16

Tuesday Truth Tree examples, logical equivalence
Expectations:
1. You should know how to check for tautology using truth trees,
2. You should know how to check for logical equivalence using tables or trees,
3. You should know the basic logical equivalences, called logical laws in your handout (page 25).
Thursday Consistency, validity
Expectations:
1. You should know how to check for consistency,
2. You should know how to check for validity of arguments.

Week of January 23

Tuesday Translation

1. You should know how to translate from English to the language
of propositional logic and do validity and consistency checks.
Thursday Predicate Logic I
1. You should know how to read a predicate logic formula and evaluate its truth value.

Week of January 30

Tuesday Predicate Logic II

1. You should know how to read a predicate logic formula and evaluate its truth value.
Thursday Predicate Logic III (translation)
1. You should know how to translate from English to the language
of predicate logic.
2. You should know the basic logical equivalences.

Week of February 6

Tuesday Proofs in Mathematics I
1. You should know how to do direct and contrapositive proofs.
Thursday Proofs in Mathematics II
1. You should know how to do proof by contradiction and proof by cases.

Week of February 13

Tuesday Sets and functions I
1. You should know the basics of set theory.
Thursday Sets and functions II
1. You should know the power set and Cartesian product constructions.

Week of February 20

Tuesday Midterm I
Thursday Sets and functions III
1. You should know the set operations and how to prove set inclusions and set identites.

Week of February 27

Tuesday Sets and functions IV
1. You should know the definition of a function, domain, codomain, range etc.
Thursday Bijections
1. You should know the definition of function composition, inverse of a function,
the notion of function invertibility, injections, surjections and bijections.

Week of March 5

Tuesday Induction I
1. You should know the principle of mathematical induction and its uses.
Thursday Induction II
1. You should know how to prove inequalities using mathematical induction.

Week of March 12

Tuesday Spring recess. NO CLASS!
Thursday Spring recess. NO CLASS!

Week of March 19

Tuesday Induction III
1. You should know the principle of strong mathematical induction and its uses.
Thursday Induction IV
1. You should know how to define a function or a set recursively.
2. You should know how to use structural induction to reason about recursively defined mathematical objects.

Week of March 26

Tuesday Counting I
1. You should know how to use the multiplication principle.
2. You should know how to use the addition principle.
Thursday Counting II

Week of April 2

Tuesday Review for Mid II
We solved some induction and recursion problems.
Thursday Midterm II

Week of April 9

Tuesday Counting III
Thursday Counting IV

Week of April 16

Tuesday Relations I
Thursday Relations II

Week of April 23

Tuesday Relations III
Thursday Review for Final Exam