Martin Flashman's Courses - Math 446 Spring, '02

MATH 446  Mathematical Logic and Set Theory

Spring, 2002 MWF 10:00 -10:50 P.M. ROOM: TA 11

Second Reading Assignment due April 29.



Back to Martin Flashman's Home Page :)

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: flashman@humboldt.edu                       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, Oct., 1990)
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).]

Weekly assignments 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.


Back to Martin Flashman's Home Page :)