CSE/ISE 215 - Lecture Section 2 - Spring 2016

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)

Staff

Class email (forwarded to all the instructors and teaching assistants, fast response): cse215ta@cs.stonybrook.edu

Instructor: Dr. Paul Fodor
214 New Computer Science Department, Stony Brook University
Office hours: Tuesdays 11:30AM-1:00PM and Thursdays 2:30PM-4:00PM
Phone: 1 (631) 632-9820
Email: paul.fodor@stonybrook.edu

Graduate Teaching Assistants Office Hours and Contact Information

Graduate TA: Rathish Das
Office hours: Tuesdays 4:30pm-6:00pm and Thursdays 4:30pm-6:00pm
2203 Computer Science
Email: cse215ta@cs.stonybrook.edu
Email: radas@cs.stonybrook.edu

Graduate TA: Huidong Liu
Office hours: Tuesdays 11:00am-12:30pm and on Wednesdays 3:00pm-4:30pm
2203 Computer Science
Email: cse215ta@cs.stonybrook.edu
Email: huidliu@cs.stonybrook.edu

Graduate TA: Bo Li
Office hours: Mondays and Wednesdays 4:00pm-5:30pm
2203 Computer Science
Email: cse215ta@cs.stonybrook.edu
Email: boli2@cs.stonybrook.edu

Graduate TA: Yingkai Li
Office hours: Mondays and Tuesdays 12.30pm-2.00pm
2203 Computer Science
Email: cse215ta@cs.stonybrook.edu
Email: yingkli@cs.stonybrook.edu

Graduate TA: Remy Oukaour
Office hours: Mondays and Tuesdays 2:00pm-3:30pm
2203 Computer Science
Email: cse215ta@cs.stonybrook.edu
Email: roukaour@cs.stonybrook.edu


Class Time and Place

  • Lecture section 2: Tuesdays and Thursdays 4:00PM - 5:20PM, Engineering 143.
  • Recitation section 8: Tuesdays 5:30PM - 6:23PM, Frey Hall 112 (TA: Shannon Setayesh).
  • Recitation section 9: Thursdays 5:30PM - 6:23PM, Melville Lbr N4000 (TA: Shannon Setayesh).
  • Recitation section 10: Tuesdays 7:00PM - 7:53PM, Chemistry 126 (TA: Jun Zhang).
  • Recitation section 11: Thursdays 7:00PM - 7:53PM, Physics P117 (TA: Mrunal Patel).
  • Recitation section 12: Mondays 10:00AM - 10:53AM, Melville Lbr N3063 (TA: Ravikiran Nageli).

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. 1/26 Administrative (course information and introduction to speaking mathematically) Read Epp ch. 1 and Introduction to LaTeX
Th. 1/28 The Logic of Compound Statements Read Epp 2.1-2.2
2 Tu. 2/2 The Logic of Compound Statements: Logical arguments Read Epp 2.3
Th. 2/4 Supplemental: Application of Logic - Digital Cirduits n/a
Fr. 2/5, 4PM Add/Swap, Drop without a W Deadline Stony Brook Academic Calendars
3 Tu. 2/9 The Logic of Quantified Statements Read Epp 3.1-3.2
Th. 2/11 The Logic of Quantified Statements (cont.) Read Epp 3.3
4 Tu. 2/16 The Logic of Quantified Statements (cont.) Read Epp 3.4
Th. 2/18 Elementary Number Theory and Methods of Proof Read Epp 4.1-4.3
5 Tu. 2/23 Elementary Number Theory and Methods of Proof (cont.) Read Epp 4.4-4.5
Th. 2/25 Elementary Number Theory and Methods of Proof (cont.) Read Epp 4.6
6 Tu. 3/1 Midterm Review see Blackboard
Th. 3/3 MIDTERM EXAM 1 n/a
7 Tu. 3/8 Sequences and Mathematical Induction Read Epp 5.1-5.2
Th. 3/10 Sequences and Mathematical Induction (cont.): Defining Sequences Recursively Read Epp 5.3 - 5.5
8 3/14-20 Spring Recess Stony Brook Academic Calendars
9 Tu. 3/22 Sequences and Mathematical Induction (cont.): Induction for Recursive Sequences Read Epp 5.6
Th. 3/24 Set Theory Read Epp 6.1-6.2
10 Tu. 3/29 Set Theory (cont.) Read Epp 6.3-6.4
Th. 3/31 Functions Read Epp 7.1
Fr. 4/1, 4PM Last Day to Drop with a "W" Stony Brook Academic Calendars
11 Tu. 4/5 Functions (cont.) Read Epp 7.2
Th. 4/7 Functions (cont.) Read Epp 7.3
12 Tu. 4/12 Midterm Review see Blackboard
Th. 4/14 MIDTERM EXAM 2 n/a
13 Tu. 4/19 Recursion n/a
Th. 4/21 Functional Programming (ML) Standard ML
14 Tu. 4/26 Relations Read Epp 8.1
  Th. 4/28 Relations (cont.) Read Epp 8.2
15 Tu. 5/3 Relations (cont.) Read Epp 8.3
Th. 5/5 Final review n/a
Final   Final: Monday, May 16, 2016, 2:15PM - 4:15PM, in Engineering 143. See Registrar for final exams schedule

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