CSE/ISE 215 - Fall 2009

Foundations of Computer Science

http://www.cs.sunysb.edu/~leo/cse215.html

Prof. Leo Bachmair

Announcements

• Homework 8 has been posted, see below. (November 16)
• Reading assignment for week 12: Review the material on Functional Programming and Standard ML. (November 13)
• Previous announcements

Course Description

Introduction to the logical and mathematical foundations of computer science. Topics include functions, relations, and sets; recursion and functional programming; elementary logic; and mathematical induction and other proof techniques. 3 credits

Prerequisites: AMS 151 or MAT 125 or MAT 131

Course Information

• Objectives
• Topics
• Textbook, reading list
• Lecture notes

Homework Assignments

• Homework 8, due in recitations on 11/20 [section 4], 11/23 [section 1], or 11/25 [sections 2 and 3]: Exercises 4.2.11, 4.3.9, 4.4.6, 8.1.30. Note added: Since there are no recitations on 11/25, students in sections 2 or 3 may hand in the homework in class on 11/23, or else drop it off during TA office hours on 11/24 or put it in the TA's mailbox. (November 16)
• Homework 7, due in recitations on 11/13 [section 4], 11/16 [section 1], or 11/18 [sections 2 and 3]: Exercises 8.1.20 c, 8.1.21 c, 8.1.22 a, c, 8.2.52, 8.4.32 (November 9)
• Previous assignments

Exams

• First midterm exam: Wednesday, October 14, 2:20-3:40, Eng 143

  Exam scores ranged from 9 to 80 [the maximum possible], with a median of 60. Scores in the range 65-80 represent an A[-]; scores 53-64, B[+/-]; and scores 40-52, C[+].

• Second midterm exam: Wednesday, November 11, 2:20-3:40, Eng 143

  Exam scores ranged from 6 to 80 [the maximum possible], with a median of 52. Scores in the range 65-80 represent an A[-]; scores 53-64, B[+/-]; and scores 40-52, C[+].

• Final exam: Date/Time according to Final Exam Schedule

Grading Schema

Grades will be based on homeworks, quizzes, and exams according to the following formula:

• Homeworks and quizzes -- 25%
• Midterm exams (2) -- 40%
• Final exam -- 35%

Students who miss an exam for a valid reason may need to take a make-up exam; specific arrangements will be made on a case-by-case basis.

The P/NC grading option is not available for this course.

Instructor

Prof. Leo Bachmair
1427 Computer Science Building
Office hours: TuTh 11:00 - 1:00, W 11:00-12:00, or by appointment
Phone: (631) 632-8452
Email: leo (at) cs (dot) sunysb (dot) edu

Teaching Assistants

Vicente Ordonez (Sections 1 and 4)
2110 Computer Science Building
Office hours: Th 12:50-2:20pm
Email: vordonezroma (at) cs (dot) sunysb (dot) edu

Charilaos Papadopoulos (Sections 2 and 3)
2110 Computer Science Building
Office hours: Tu 12:50-2:20pm
Email: cpapadopoulo (at) cs (dot) sunysb (dot) edu

Meeting Time and Place

• Lectures: MW 2:20-3:40, Eng 143
• Recitation section 1: M 10:40-11:35, Old Chem 144
• Recitation section 2: W 10:40-11:35, Old Chem 144
• Recitation section 3: W 11:45-12:40, Harriman Hll 112
• Recitation section 4: F 10:40-11:35, Harriman Hll 112

Academic Integrity

Each student must pursue his or her academic goals honestly and be personally accountable for all submitted work. Representing another person's work as your own is always wrong. Suspected instances of academic dishonesty will be reported to the CEAS Committee on Academic Standing and Appeals. More comprehensive information on academic integrity, including categories of academic dishonesty, can be found on the Academic Judiciary's web site.

The Computer Science Department provides general information on professional ethics in computer science.

Additional Information

If you have a physical, psychological, medical, or learning disability that may impact your course work, please contact Disability Support Services at (631) 632-6748 or here. They will review your concerns and determine, with you, what accommodations are necessary and appropriate. All information and documentation is confidential.

Students who require assistance during emergency evacuation are encouraged to discuss their needs with their professors and Disability Support Services. For procedures and information go to the following web site: http://www.ehs.sunysb.edu and search Fire Safety and Evacuation and Disabilities.

Page maintained by Leo Bachmair