CSE 215 - Summer 2020

Foundations of Computer Science course

http://www.cs.stonybrook.edu/~cse215


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)

Youtube channel:https://www.youtube.com/playlist?list=PLRvJ_2dlxL9EnARuDnarJRzn2yx63eeJg

Staff

Instructor: Dr. Paul Fodor
214 New Computer Science Department, Stony Brook University
Email: paul.fodor@stonybrook.edu


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

Academic Integrity Statement:

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

Critical Incident Management Statement:

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.

Page maintained by Paul Fodor