- Course Description
- Assignments
- Summaries of lectures From Spring, 1998
- Math 315 (U of Auckland) Lecture Notes
- Some www sites related to logic and set theory.

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 :)