CSE/ISE 215 - Spring 2011

Foundations of Computer Science

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

Prof. Leo Bachmair

Announcements

• The final exam is at the scheduled date/time, May 20, 2:15-4:45pm, in Javits 110. It will cover the following topics: Functions, recursion, (strong and structural) induction, and relations. (May 10)
• 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

• Previous assignments

Exams

• First midterm exam: Thursday, March 17, 3:50-5:10pm, in class [originally scheduled for March 10th]
  • The maximum possible score was 80 points; the average was 56.3, which corresponds to a B.
• Second midterm exam: Thursday, April 14, 3:50-5:10pm, in class [originally scheduled for April 7th]
  • The maximum possible score was 80 points; the average was 52.2, which corresponds to a B-.
• Final exam: Friday May 20, 2:15-4:45pm, Javits 110
  • The maximum possible score was 120 points; the average was 62.2, which corresponds to a C.

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 2:30-3:30, W 10:00-12:00, or by appointment
Phone: (631) 632-8452
Email: leo (at) cs (dot) sunysb (dot) edu

Teaching Assistants

Md Ariful Islam (Sections 2 and 4)
2110 Computer Science Building
Office hours: M 2:00-3:00
Email: mdaislam (at) cs (dot) sunysb (dot) edu

Ji Hwan Park (Sections 1 and 3)
2110 Computer Science Building
Office hours: M 4:00-5:00
Email: jihwpark (at) cs (dot) sunysb (dot) edu

Meeting Time and Place

• Lectures: TuTh 3:50-5:10, Javits 110
• Recitation section 1: M 10:40-11:35, Harriman Hll 112
• Recitation section 2: W 10:40-11:35, Melville Lbr N3074
• Recitation section 3: M 11:45-12:40, Harriman Hll 112
• Recitation section 4: W 11:45-12:40, Melville Lbr W4540

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.

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