Last updated: 1-22-02
SPRING, 2002 COURSE INFORMATION (tentative) Martin Flashman
MATH 446: MATHEMATICAL LOGIC AND SET THEORY MONDAY, WEDNESDAY & FRIDAY : 10:00 - 10:50
OFFICE: Library 8 PHONE:826-4950
Hours (Tent.): MWF 3:30-4:30 TR 10:15-11:20 AND BY APPOINTMENT or chance!
On-line Math chat: I will frequently attend my math chatroom Tuesday and Thursday evenings at about 9:00 pm.
E-MAIL: email@example.com WWW: http://www.humboldt.edu/~mef2/
PREREQUISITE: Math 240 (or PERMISSION BASED ON OTHER COURSE WORK SUCH AS DISCRETE MATHEMATICS OR INTRODUCTION TO LOGIC).
Catalog Description: MATH 446. Mathematical Logic & Set Theory (3). Informal set theory; sentence and predicate logic. Topics from formal arithmetic, recursive function theory, proof theory, and/or model theory. Prerequisite: MATH 240 or permission of instructor. Offered alternate years.
TEXTS: What Is Mathematical Logic? by J.N. Crossley et al. (Oxford,
Logic for Mathematicians by A.G. Hamilton (Cambridge, Jan., 1989)
MATHS 315 Mathematical Logic (University of Aukland) Handouts etc. for logic and set theory that parallel Hamilton's textbook Logic for Mathematicians.
SCOPE: This course will cover various topics from mathematical logic and set theory. We will examine informally and formally selected theorems and theories for proposition (statement) and predicate logic as well as arithmetic and set theory from both syntactic and semantic (algebraic and model based) viewpoints. Other approaches to logic and set theory such as deduction systems, recursive functions, and recreational and computational logic will be presented as time permits.
Lectures will organize the topics to present materials not covered in the texts as well as those treated in the texts. Supplementary readings and materials will be supplied as appropriate. Summaries of lectures may be available through the course webpage.
TECHNOLOGY: We will use the computer at various stages of this course to illustrate and investigate some of the logic and set theory computationally.
TESTS AND ASSIGNMENTS: There will be several reality check quizzes some of which will be done in class.
Reading Assignment: Each student will be expected to read at least 2 short articles / notes / or web pages about logic or set theory and make brief written summaries/reports of these to be passed in by March 27 and April 29 . [These will be graded Honors(5)/Cr(3)/NCr(0).]
will be due on Wednesdays. (Accepted one day tardy at most!)
Some problems may be assigned but not numerically graded.
FINAL ASSESSMENT: The final assessment will be an OPEN BOOK TAKE-HOME EXAMINATION, distributed Friday, one week before the final examination period and due on the Thursday of the final examination week.
GRADES: Final grades will be determined taking into consideration the
quality of work done in the course as evidenced primarily from the
accumulation of points from graded assignments and examinations
approximately as follows:
Homework 30 % Quizzes 30 %
Reading Summaries 10 % Final Exam 30 %
** Active class participation will be considered in deciding individual grades after a general grade range has been assigned.