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


MATH 446  Mathematical Logic and Set Theory

Spring, 1998 TTh. 11:00 -12:20 P.M. ROOM: SH 128


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.


Back to Martin Flashman's Home Page :)