Class
meets in 214
Office hours M at 3-4 or W: 11-12 or Th at 4-5 or by appointment
in 327 SEO. (Subject to change)
Feel free to e-mail me at jbaldwin@uic.edu or phone to make an appointment to discuss any difficulties that arise.
Office: 327SEO.
Office phone:312-413-2149
e-mail:jbaldwin@uic.edu
Course policies and description of main assignment are given in:
Course Syllabus (pdf)
Formalization of Axioms (pdf)
Volume October 15 class notes (pdf)
Proof Systems and Completeness: October 15 class notes (pdf)
Superposition: October 22 class notes (pdf)
Parallels and Similarity: October 22 class notes (pdf)
Geometric sketchpad diagram for area of parallelogram (pdf)
Independence: class notes (pdf)
Coordinatization of ordered fields (pdf)
Summary of work on proportionality on Nov. 1 (pdf)
Course Summary Nov. 17: review for final: ask questions Nov. 26 (pdf)
Answers to questions students asked about the study guide (pdf)
Study Guide: sample questions, ask about this Nov. 26 (pdf)
Solutions to Hw 10 -- from algebra to geometry (pdf)
Demonstrative Logic; definition of between Dec.3 (pdf)
Weekly homework assignments are given in:
Semester Project first due date Oct. 8 (pdf)
First Assignment: due Sept. 10 (pdf)
Second Assignment and Third Assignments : (Due Sept 17 and Sept 24) (pdf)
Fourth Assignment: (Due Oct. 1) (pdf)
Fifth Assignment: (Due Oct. 8) (pdf)
Sixth Assignment: (Due Oct. 15) (pdf)
Seventh Assignment: (Due Oct. 22) (pdf)
Eighth Assignment: (Due Oct. 29) (pdf)
Ninth Assignment: (Due Nov. 5) (pdf)
Rubric for Ninth Assignment: (Due Nov. 5) (pdf)
Tenth Assignment: (Due Nov. 12) (pdf)
Rubric for eleventh Assignment: (Due Nov. 19) (pdf)
LINKS
Further course handouts will be posted, stay tuned.
Last revised: 26 August 2007 by J. Baldwin