MATH 455 - Mathematical Logic I

12:30-1:20 MWF, Keller 402
PRELIMINARY VERSION - SEE WEB SITE FOR UPDATES!


Text:

  1. Boolos, Burgess, and Jeffrey, Computability and Logic
  2. Robbin, Mathematical Logic A First Course

Prerequisites: Math 454 or consent.

Professor: David Ross

319 PSB    956-4673    ross@math.hawaii.edu    www.math.hawaii.edu/~ ross

Tentative office hours: MWF 8:30-9:20 and by appointment


Grades will be based on 3 criteria:
(1) Midterm Exam, worth100 points.
(2) Final Exam: worth 150 points.
(3) Homework: worth 100-200 points total

Policy on missed exams:


Make-up exams will only be given in very unusual circumstances, with one week prior notification (or, in the event of an emergency, *very* strong documentation of that emergency).


Attendance:


Mandatory, though I won't take regular roll. Only about 75% of the course material appears in the text, so you'll need to come to find out what we're doing and how we're doing it.


Material covered:


Most of the text, all of my lecture notes, and some other stuff.


Policy on collaboration and cheating:


The distinction between working together ("collaboration") and copying from one another ("cheating") is a subtle one. Cheating on examinationss will not be tolerated in this class. It is the student's responsibility to ensure that (s)he does not copy from another student, or let another student copy from him or her. This holds true for take-home as well as in-class exams. Because homework comprises a large fraction of the semester grade, collaboration there is discouraged as well. If two students genuinely work together on a problem, their written solution should be sufficiently different to make it clear that each understands the solution. One students should never give an answer to another, though hints as to a solution might be OK.


Last modified Monday, January 12, 2009