# Foundations of Computer Science course

## 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. (https://www.cs.stonybrook.edu/students/Undergraduate-Studies/courses/CSE215)

## Class Time and Place

• Lecture: Tuesdays and Thursdays 9:00AM - 12:25PM, Online.
• Recitation: Tuesdays and Thursdays 12:30PM - 1:25PM, Online.

## Lecture Notes and Reading Assignments

The following schedule is tentative and subject to change. The homework assignments and labs are posted on Blackboard: http://blackboard.stonybrook.edu

 Week Date Lecture Topics/Notes Readings 1 Tu. 7/7 Administrative (course information and introduction to speaking mathematically), The Logic of Compound Statements Read Epp chs. 1 and 2, and Introduction to LaTeX Th. 7/9 The Logic of Compound Statements: Logical arguments , The Logic of Quantified Statements , Supplemental: Application of Logic - Digital Cirduits Read Epp ch. 3 2 Tu. 7/14 Elementary Number Theory and Methods of Proof Read Epp ch. 4 Th. 7/16 Sequences and Mathematical Induction Read Epp ch. 5 3 Tu. 7/21 MIDTERM EXAM 1 see Blackboard Th. 7/23 Set Theory Read Epp ch. 6 4 Tu. 7/28 Functions Read Epp ch. 7 Th. 7/30 MIDTERM EXAM 2 see Blackboard 5 Tu. 8/4 Relations Read Epp ch. 8 Th. 8/6 Recursion n/a 6 Tu. 8/11 Functional Programming (ML) Standard ML Th. 8/13 FINAL EXAM see Blackboard

## Disability Support Services (DSS) Statement:

If you have a physical, psychological, medical or learning disability that may impact your course work, please contact Disability Support Services, ECC (Educational Communications Center) Building, room 128, (631) 632-6748. They will determine with you what accommodations, if any, 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 website: http://www.stonybrook.edu/ehs/fire/disabilities