| Tue Feb 27 | The Propositional Calculus - Rules and Symbols
Chromatic Fantasy, And Feud; Chapter VII: The Propositional Calculus, pp.181-188 |
Notes/SQ
Music Slides* |
| Thu Mar 1 | The Propositional
Calculus - Truth Tables
Chapter VII: The Propositional Calculus, pp.188-190 Discuss Problem Set 7 |
Notes/SQ
Problem Set 7 PC Rules |
| Tue Mar 6 | The Propositional Calculus - Derivations
Chapter VII: The Propositional Calculus, pp.188-197 Discuss Problem Set 7 and 8 |
Notes/SQ
Slides* Problem Set 8 |
| Thu Mar 8 | Typographical Number Theory - Introduction
Crab Canon; Chapter VIII: Typographical Number Theory, pp.204-206 De Morgan's Rule Discuss Problem Set 9 |
Notes/SQ
Music Slides* Problem Set 9 |
| Mar 12-16 | SPRING BREAK | |
| Tue Mar 20 | Typographical Number Theory - Elements and syntax
Chapter VIII: Typographical Number Theory, pp.204–213 DNA and the Crab Canon |
Notes/SQ
Slides* |
| Thu Mar 22 | Typographical Number Theory - Well formed formulas
Discuss Problem Set 10 |
Slides*
Problem Set 10 |
| Tue Mar 27 | Typographical Number Theory - Quantification/Special
rules
Chapter VIII–Typographical Number Theory, pp.215–219, pp.221-225 How to translate; Rules of derivation |
Notes/SQ
Translation TNT Rules |
| Thu Mar 29 | Review | |
| Sun Apr 1 | Exam #3 |