Back to Martin Flashman's Home Page :)
Last updated: 1/14/98
The following description is still being developed.
SPRING,
1998
COURSE INFORMATION
(tentative)
Martin Flashman
MATH 446: MATHEMATICAL LOGIC AND SET
THEORY TUESDAY
& THURSDAY : 11:00 - 12:20
OFFICE: Library
48
PHONE:826-4950
Office Hours (Tent.)- MTWTh 9:30-10:40 AND BY APPOINTMENT or chance!
E-MAIL:
flashman@axe.humboldt.edu
WWW: http://www.humboldt.edu/~mef2/
PREREQUISITE: Math 240 (or PERMISSION BASED ON OTHER COURSE WORK).
TEXTS: What Is Mathematical Logic? by J.N. Crossley et al. (Oxford,1972)
Logic for Mathematicians by A.G. Hamilton (Cambridge,1978+)
Set Theory and related topics by S. Lipshutz ( Schaum/ Mcgraw Hill,1964)
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 3 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 3rd, April 7th, and May 5th. [These will be graded Honors(5)/Cr(3)/NCr(0).]
Weekly assignments will be due on Thursdays. (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 April 30th and DUE by May 15th.
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
25
%
Quizzes
30 %
Reading Summaries 15
%
Final Exam 30
%
** Active class participation will be considered in deciding individual grades
after a general grade range has been assigned.