Math 461, Section 1
"Intuitive and formal development of the sentential and predicate
calculus. Special emphasis given to questions of consistency,
completeness, and independence. Formal systems; incompleteness and
undecidability; theorems of Gödel. Exploration of which
properties of structures can be defined in the first-order language."
(Taken from the undergraduate catalog.)
The schedule will have a list of
topics, organized by week. The assigned homework will be added as the
||saulsch at math dot rutgers dot edu
||Wed. 3:00pm to 4:00pm
Attendance will not be taken.
The suggested text for this course, by Herbert B. Enderton, is
mathematical introduction to logic. (Warning: the AddAll
webpage takes some time to load.) I intend to follow notes by
Thomas instead of following the book, however.
Another reference which you may find useful, for the first month or so
of class, is Paul Halmos' book Naive
set theory. Perhaps Enderton's book Elements
of set theory will also be useful.
As one has come to expect, various on-line resources on any
subject, and hence on mathematical logic, are available. These range
from pages at Wikipedia
to homepages of other logic classes to games.
Please remember that any material that you use (or paraphrase) from
a book, the web, a classmate, a professor, etc should be
correctly cited. If you are unsure what constitutes plagiarism please
consult the Rutgers Academic Integrity
Policy or come ask me.
See the schedule for the weekly
list of homework problems. These are due at the beginning of
the lecture one week after they are assigned. Your two lowest
homework scores will be dropped. Late work will not be accepted.
Exams are closed book. No calculators are allowed. You may,
however, bring a single (two-sided) sheet of paper with whatever
material on it that you desire. You may also use a ruler. For any
problem on the exam which is left completely blank (except for
possibly the phrase "I don't know.") you will receive 25% of the
There will be two midterms and a final. See the schedule for dates. At least one-third
of the problems on each midterm will be taken from the homework.
The final score is composed of 20% for homework, 20% for each midterm,
and 40% for the final. Grades will be assigned on a curve, modified
by common sense: if every student does well every student will receive
a good grade.
Please tell me in person, or via email, about any errors on this
website or made (by me!) in class.