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.
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%
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
2110 Computer Science Building
Office hours: W 11-12
Email: pganapathi (at) cs (dot) sunysb (dot) edu
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.
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