SE 501-50 FA 03 SYLLABUS

Mathematical Foundations of Software Engineering


Basic Course Information
Schedule

Class Schedule:  Mondays, 4:30 – 7:25 p.m., HH C-1
Instructor:  B. Gold   Office Location:  HH C-6   Office Telephone:  571-4451  E-mail Address:  bgold@monmouth.edu
Office Hours:  Monday 1 – 2 p.m., Tuesday 4:30 - 5:30 p.m., Wednesday noon – 1 p.m., Thursday 4 – 5 p.m., Friday 12:30 - 1:30 p.m., or by appointment or chance.
Catalog Description: Fundamental mathematical concepts such as sets, relations, equivalence relations, and functions; algebraic systems, isomorphism, and homomorphism; fundamentals of the algebraic theory of automata and complexity theory; formal logic, formal proof, the completeness theorem.  Emphasis is on the notion of proof and on mathematics as a language for precise expression and as a medium for expressing precision in reasoning.

Methods of instruction:  Each class will include answering questions from the previous class, lecture-discussion of the new mathematical topic of the day, and several class activities to familiarize students with the material.  With the exception of the first class, students are expected to come to class having read through, at least briefly, the chapter for the day as well as having done the homework from the previous week.
Required Text:  David Gries and Fred Schneider, A Logical Approach to Discrete Math, Springer, 1993.

Course Requirements:
Weekly homework assignments:
These assignments will reinforce the advanced mathematical concepts learned in the class.  Assignments from a given week are due the following week.
In class examinations (2), Final Examination
Examinations will cover correct use of mathematical terminology and mathematical concepts studied
Methods of Evaluation and Grading Policy:  25% each in-class examinations (2), 30% final examination, 20% homework assignments
Attendance Requirement:  You are adults, and so attendance is your decision.  However, attendance is very important, as the text is not easy to read on your own.
Last date to Withdraw with automatic assignment of “W” grade:  Wednesday, November 5.

Statement on Academic Honesty:  You are welcome to consult others, whether students in the class or tutors in the Mathematics Learning Center.  However, whenever you have had assistance with a problem, you are to state that at the beginning of the solution to the problem.  Unless it becomes excessive, there will be no reduction in credit for getting such assistance.
Examination Rules:  No student is permitted to have at his or her desk any books or papers that are not given out or expressly permitted by the instructor.  Possession of such material will be regarded as evidence of intent to use the information dishonestly.  No communication between students during the examination is permitted.  If there are questions, or if there is a need for additional material, the instructor should be asked. If there is a need for calculations or notes, they may be written on the pages of the exam.
The following pledge must be signed and submitted with the examination:
“I, ____________________________, certify that I have read the above rules for examinations, and that I have abided by them. By signing, I affirm that I have neither given nor received aid during this examination, and I understand that violation of this affirmation may result in suspension or expulsion from Monmouth University.”

Statement on Special Accommodations:  Students with disabilities who need special accommodations for this class are encouraged to meet with me or the appropriate disability service provider on campus as soon as possible.  In order to receive accommodations, students must be registered with the appropriate disability service provider on campus as set forth in the student handbook and must follow the University procedure for self-disclosure, which is stated in the University Guide to Services and Accommodations for Students with Disabilities.  Students will not be afforded any special accommodations for academic work completed prior to the disclosure of the disability, nor will they be afforded any special accommodations prior to the completion of the documentation process with the appropriate disability office.

Outline of Course Content and Schedule:

9/8:  Chapters 0 and 1; homework:  Chapter 1 # 1bcde, 2adf, 3bde, 5, 7ae, 8ae, 9ad, 11abe

9/15:  Chapter 2; homework: 1abehjl, 2cegh, 3aceh, 4ace, 5ace, 6ac, 7acehj, 9

9/22:  3.1 – 3.5; homework:  2, 8, 10, 12, 18, 22, 27, 32, 35, 39

9/29:  3.6; homework:  41, 43, 47, 60, 67, 73, 76, 86, 87

10/6:  Chapter 4; homework:  1, 3, 5, 6, 7, 11, 13

10/13:  Exam 1 (Chapters 1 – 4) and Chapter 8; homework:  Chapter 8 #1abd, 3ace; Chapter 9 #29ace, 30ace, 32ac

10/20:  Chapters 8 and 9; homework:  Chapter 8 # 5a, 6b; Chapter 9 # 29gijl, 30fgh, 31ac, 34ace, 35ac

10/27:  Chapters 9 and 10; homework:  Chapter 9 # 1, 3, 8, 12, 15, 17, 23, 25; Chapter 10 # 1acegikm, 3, 5

11/3:  Chapters 10 and 11; homework:  Chapter 10 #6aceg, 7acd, 8, 10, 12

11/10:  11.1 – 11.4; homework:  1aceg, 2ace, 4, 6, 7a, 9, 12ce, 13ad, 16ade

11/17:  Chapter 12; homework 3, 4bd, 5, 9, 11, 20

11/24:  Chapter 12 and Exam 2 (Chapters 8 – 12.2); homework 33, 34, 42ac

12/1:  Chapter 16; homework 1, 2, 4, 11, 14, 19, 21, 24, 28, 35, 41, 44, 45, 48, 55, 69

12/8:  Review