CSE 150 - Fall 2011

Foundations of Computer Science - Honors

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

Prof. Leo Bachmair

Announcements

• The final exam is on Wednesday, December 14, 2011, 11:15-1:45pm, in SBS N310. It will cover binary relations, equivalence relations, order relations, inductive proof, propositional logic, natural deduction, and predicate calculus. (December 7)
• Previous announcements

Course Description

Introduction to the logical and mathematical foundations of computer science for computer science honors students. Topics include functions, relations, and sets; recursion and functional programming; basic logic; and mathematical induction and other proof techniques.

Prerequisites: One MAT course that satisfies DEC category C or score of level 4 on the math placement exam; admission to the Computer Science Honors Program or the Honors College or WISE or permission of the instructor.

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

Course Information

• Objectives
• Textbook and topics

Assignments

• Previous assignments

Examinations

• Midterm exam: Tuesday, October 18, 2011, 9:50-11:10 a.m., SBS N310
• Final exam: Wednesday, December 14, 2011, 11:15-1:45pm, SBS N310

Grading Schema

The course grades will be based on assignments and exams according to the following formula:

• Assignments, quizzes, participation -- 40%
• Midterm exam -- 20%
• Final exam -- 40%

Instructor

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

Teaching Assistant

Pramod Ganapathi
2110 Computer Science Building
Office hours: W 11-12
Email: pganapathi (at) cs (dot) sunysb (dot) edu

Meeting Time and Place

• Lecture: TuTh 9:50-11:10 a.m., SBS N310
• Recitation: W 9:35-10:30 a.m., Chemistry 126

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