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 |