|
|
Assignment # |
Activity | Due Date |
1 | Read the course syllabus. Do the exercises in the Toy Proof document. Download and install the LurchJr program and master the Circle-Dot game and try the other games. (To install just unzip into a new folder and run LurchJr.exe) |
Thu, Aug 28, 2008 |
2 | Propositional
Logic Homework Download and install the LurchAlpha program. (To install just unzip into a new folder and run LurchAlpha.exe, then open the file Homework.lurch) You can use it to do questions 3-8 if you wish. If you do, you can print your proofs from the program and attach them to your assignment instead of writing them by hand. Using the software is optional, however. |
Tue, Sept 2, 2008 |
3 | Predicate
Logic Homework and Read the Proof Shortcuts and Proof Strategies handouts. |
Thu, Sept 4, 2008 |
4 | Sets, Functions, and Sequences Homework - Part I | Tue, Sept 9, 2008 |
5 | Sets, Functions, and Sequences Homework - Part II | Thu, Sept 11, 2008 |
6 | Toy Geometries: Incidence Structures Homework | Tue, Sept 16, 2008 |
7 | Affine Planes Homework: Part I | Thu, Sept 18, 2008 |
8 | Affine Planes Homework: Part II | Tue, Sept 23, 2008 |
9 | Projective Planes Homework | Tue, Sept 23, 2008 |
10 | Foundations Part I Homework | Thu, Sept 25, 2008 |
11 | Foundations
Part Ia and Part II up to SMSG Thm 14 |
Tue, Sept 30, 2008 |
12 | Foundations Part II (#5-8 only) | Thu, Oct 2, 2008 |
13 | Foundations Part III Homework | Tue, Oct 7, 2008 |
14 | Foundations Part IV Homework | Thu, Oct 9, 2008 |
15 | Prove the starred (*) SMSG Theorems from 52 thru 66 |
Thu, Oct 16, 2008 |
16 | Prove the starred (*) SMSG Theorems from 68 thru 82 | Thu, Oct 16, 2008 |
17 | Ch 1.1-1.6 Homework | Tue, Oct 21, 2008 |
18 | Ch 1.6 Homework | Tue, Oct 21, 2008 |
19 | Ch 1.7 Homework | Thu, Oct 23, 2008 |
20 | Ch 1.8 Homework | Tue, Oct 28, 2008 |
21 | Ch 1.9 Homework | Tue, Oct 28, 2008 |
22 | Ch 1.10 Homework | Thu, Oct 30, 2008 |
23 | Ch 1.11 Homework | Tue, Nov 4, 2008 |
24 | Miscellaneous Topics Homework | Tue, Nov 4, 2008 |
25 | Geometer's Sketchpad I Homework | Thu, Nov 6, 2008 |
26 | Constructible Points, Lines, Circles, Numbers | Tue, Nov 11, 2008 |
27 | Geometer's Sketchpad II | Tue, Nov 11, 2008 |
28 | Introduction to Hyperbolic Geometry | Thu, Nov 13, 2008 |
29 | Complex Numbers; Transformations | Tue, Nov 18, 2008 |
30 | Inversion | Tue, Nov 18, 2008 |
31 | Klein's Erlanger Program I | Thu, Nov 20, 2008 |
32 | Klein's Erlanger Program II | Tue, Nov 25, 2008 |
33 | Euclidean Transformations | Tue, Nov 25, 2008 |
34 | Möbius Transformations I | Tue, Dec 2, 2008 |
35 | Möbius Transformations II | Thu, Dec 4, 2008 |
36 | Hyperbolic Geometry | Thu, Dec 11, 2008 |
Many
mathematics files on this site are in pdf format.
If your browser does not display pdf files, click here for
assistance. |