INTRODUCTION
Jan 27
Admin and Intro
LOGIC
Jan 27
Propositional Logic
Jan 27 and 29
Logical Equiv
LATEX AND PYTHON
Jan 28
LaTeX (in Rec)
Jan 28
Python (in Rec)
LOGIC
Jan 29
SATisfiability
Feb 2
Truth Tellers and Liars (Rec)
Feb 2
Puzzles (Rec)
Feb 3
Hardest Logic Puzzle Ever!
Jan 29, Feb 3
Circuits
Feb 3
Intermediary Logic
Feb 4
Math Equiv
Feb 4,
Venn Diagram with 12 sets!
Feb 5
Sets and Quantifiers
Feb 6
Math with Quantifiers
Feb 8
Dupliator Spoiler Games
DS Games NOTES