<!doctype html public "-//w3c//dtd html 4.0 transitional//en">

Mathematics 470: Mathematical Logic

Spring 2005

Instructor: Joan D. Lukas, Professor Emerita, Mathematics

Telephone: 617 287-6454 Email: mailto:joan.lukas@umb.edu

Class Hours & Location: MW 4-5:15 PM M-1-201

Office Hours & Location: MW 2:30 -3:30 PM or by appointment S-3-172

Course Description: Syntax and semantics of propositional and first order predicate logic. Axiomatic theories and completeness. Brief discussion of incompleteness results. Since students taking this course have varying backgrounds and interests, including mathematics, theoretical computer science, programming, and philosophy, there will be opportunity to pursue particular topics in greater depth.

Prerequisites: Open to undergraduate and graduate students who have completed CS 320 (Applied Discrete Mathematics) or Math 360 (Abstract Algebra) or the equivalent.

Text: Logic for Applications, 2^nd edition by Anil Nerode and Richard A. Shore Springer 1997, ISBN 0-387-94893-7.

Course WebSite: http://www.math.umb.edu/~joan/MATH470

Course Requirements and grading: It is expected that you will attend class regularly, and keep up with lectures, reading and homework problems, which will be assigned weekly.

Homework 30%

In-class Exams Wednesday, March 2 and Wednesday, April 6 20% each

Final Exam/Project 30%

Accommodations: Section 504 of the Americans with Disabilities Act of 1990 offers guidelines for curriculum modifications and adaptations for students with documented disabilities. If applicable, students may obtain adaptation recommendations from the Ross Center for Disability Services, Campus Center, 2^nd floor, Room 2010 (617-287-7430). The student must present these recommendations and discuss them with each professor within a reasonable period, preferably by the end of Drop/Add period (January 31). Student Conduct: Students are required to adhere to the University Policy on Academic Standards and Cheating, to the University Statement on Plagiarism and the Documentation of Written Work, and to the Code of Student Conduct as delineated in the catalog of Undergraduate Programs, pp. 44-45, and 48-52. The Code is available online at: http://www.umb.edu/student_services/student_rights/code_conduct.html

Syllabus Ma 470 Spring 05

dates

topics

assignments

Week 1:

(1/24, 1/26)

Mathematical background; history and role of logic.

Propositions and truth tables.

1.1 – 1.2

HW 1 - due 2/7

Week 2:

(1/31, 2/2)