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 |