| Week | Dates | Tuesday | Friday |
|---|---|---|---|
| 1 | Sept. 6 - 9 |
Reading discussion: |
The art of M. C. Escher and J. S. Bach |
| 2 | Sept. 13 - 16 |
Reading discussion: |
Formal systems in more detail |
| 3 | Sept. 20 - 23 |
Reading discussion: |
Ambigrams |
| 4 | Sept. 27 - 30 |
Reading discussion: |
LIBRARY WORKSHOP (meet in SLC Library, classroom E1) |
| 5 | Oct. 4 - 7 |
Reading discussion: |
Fractals and the Mandelbrot set |
| 6 | Oct. 11 - 14 | Introduction to Scheme programming | Recursive programming in Scheme |
| 7 | Oct. 18 - 21 | OCTOBER STUDY DAYS | Recursive programming in Scheme |
| 8 | Oct. 25 - 28 | Symbolic programming in Scheme | Symbolic programming in Scheme |
| 9 | Nov. 1 - 4 | Symbolic programming in Scheme | Symbolic programming in Scheme |
| 10 | Nov. 8 - 11 | Research paper presentations | Research paper presentations |
| 11 | Nov. 15 - 18 |
Reading discussion: |
The Propositional Calculus |
| 12 | Nov. 22 - 25 |
Reading discussion: |
THANKSGIVING BREAK |
| 13 | Nov. 29 - Dec. 2 |
Reading discussion: |
TNT in more detail |
| 14 | Dec. 6 - 9 |
Reading discussion: |
Gödel numbering |
| 15 | Dec. 13 - 16 | Conference project presentations | Conference project presentations |