E for Everyone!
Levine 514 (knock if it's locked)
MONDAYS, Noon-1PM, Levine Fifth Floor Lounge (The lounge just outside the elevators) If you cannot attend and would like to schedule another time, send me an email!
This webpage's design is deliberately terrible for maximum irony.
Recitations: September 16th:
Some words about LaTeX
Compiling with LaTeX
Fixing the /input errors
Notes on proof trees
A menagerie of subjects, including
Some Proof Practice Problems
Notes on the new Deduction Rules
Some stuff about Constructivism and Why Negation is Weird
Logic rule descriptions!
(Incomplete...) October 5th:
SPOOKY First Order Logic!
SPOOKY Peano Arithmetic!
Some clarification on the ∀-introduction rule
Functions, Relations, Etcetera, Etcetera, Etcetera
(GIF level has reached critical mass!)
Allons-y! Back to