Weekly Schedule

CSCI C241/Fall 2013

 

Week of August 26

Tuesday Introduction, Propositional Logic, Truth tables


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, Satisfiability, Tautology, Logical equivalence


1. You should know how to check for tautology and satisfiability using truth tables,
2. Be able to check whether two formulas are logically equivalent.

Week of September 2

Tuesday Some examples, validity, formal proofs


1. You should know how to write a formal proof using the given rules,
2. Check if an argument is valid.
Thursday Predicate logic


1. You should know how to determine if a predicate is true or false in a model,

Week of September 9

Tuesday Translation

1. You should know how to translate from English to the language
of propositional logic and predicate logic.
Thursday Translation continued


Week of September 16

Tuesday Sets, set operations

1. Be able to interpret set operations correctly.
2. Translate English statements to the language of set theory.
3. Perform set theoretical operations.
Thursday Set identities and proofs

1. Be able to prove set inclusion and set equality.

Week of September 23

Tuesday Functions and relations

1. Be able to check if an association rule is a function.
2. Understand the function data: domain, codomain, association rule.
3. Be able to check one-to-oneness and ontoness.
4. Can find the inverse of an invertible function.
Thursday Equivalences

Week of September 30

Tuesday Bijections
Thursday Inverse function

Week of October 7

Tuesday Midterm review
Thursday Midterm I

Week of October 14

Tuesday Functions and Relations
Thursday Relations

Week of October 21

Tuesday Equivalence relations, Recursive thinking
Thursday Induction, Recursive definitions

Week of October 28

Tuesday Closed-form solutions and inductive proofs
Thursday Proof by induction

Week of November 4

Tuesday Recursive definitions of mathematical objects
Thursday Strong and structural induction

Week of November 11

Tuesday Recursive data structures
Thursday Midterm II

Week of November 18

Tuesday Basic counting
Thursday More on counting

Week of November 25

Tuesday Thanksgiving Break! NO CLASS.
Thursday Thanksgiving Break! NO CLASS.

Week of December 2

Tuesday Permutations and Combinations
Thursday More combinatorics problems and midterm II solution

Week of December 9

Tuesday TBD
Thursday Review for Final Exam