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)
Instructor: Dr. Paul Fodor
214 New Computer Science Department, Stony Brook University
Email: paul.fodor@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 |
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
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. Faculty are required to report any suspected instances of academic dishonesty to the Academic Judiciary. Faculty in the Health Sciences Center (School of Health Technology & Management, Nursing, Social Welfare, Dental Medicine) and School of Medicine are required to follow their school-specific procedures. For more comprehensive information on academic integrity, including categories of academic dishonesty, please refer to the academic judiciary website at http://www.stonybrook.edu/commcms/academic_integrity/index.html
Stony Brook University expects students to respect the rights, privileges, and property of other people. Faculty are required to report to the Office of Judicial Affairs any disruptive behavior that interrupts their ability to teach, compromises the safety of the learning environment, or inhibits students' ability to learn. Faculty in the HSC Schools and the School of Medicine are required to follow their school-specific procedures.