CSE 215 - Lecture Section 2 Syllabus - 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)

Prerequisites

Prerequisites: AMS 151 or MAT 125 or MAT 131

Course Outcomes

The following are the official course goals agreed upon by the faculty for this course:
  • An ability to define and use discrete structures such as functions, relations, and sets.
  • An ability to compute with recursion as a basic paradigm.
  • An ability to use logic and basic proof techniques, such as mathematical induction.

Major Topics Covered in Course

  • Introduction: sets, functions, logic
  • Functions
  • Recursive Functions
  • Programming in Standard ML
  • Inductive Definitions of Sets
  • Examples of Induction Proofs
  • Binary Relations
  • Equivalence Relations
  • Cardinality of Sets
  • Countability and Uncountability
  • Propositional Logic
  • Formal Reasoning
  • Predicate Logic and Quantifiers

Staff

Instructor: Dr. Paul Fodor
214 New Computer Science Department, Stony Brook University
Office hours: Tuesdays 11:30AM-1:00PM & Thursdays 2:30PM-4:00PM
Phone: 1 (631) 632-9820
Email: paul.fodor@stonybrook.edu
Class email (forwarded to all the instructors, faster response): cse215ta@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.
  • Recitation section 9: Thursdays 5:30PM - 6:23PM, Melville Lbr N4000.
  • Recitation section 10: Tuesdays 7:00PM - 7:53PM, Chemistry 126.
  • Recitation section 11: Thursdays 7:00PM - 7:53PM, Physics P117.
  • Recitation section 12: Mondays 10:00AM - 10:53AM, Melville Lbr N3063.

Textbook

Discrete Mathematics: Introduction to Mathematical Reasoning.  Author: Susanna S. Epp. Publisher: Brooks Cole; 1st edition (February 7, 2011). ISBN-10: 0495826170. ISBN-13: 978-0495826170.


Grading Schema

Grades will be based on homework and exams according to the following formula:
  • Homework, project, quizzes and labs -- 25%
  • Midterm exams (2) -- 40% (20% each)
  • Final exam -- 35%

Do not miss the exam. Make-up exams will be given only in extenuating circumstances (e.g., doctor's note stating that you were ill and unfit to take the exam). Students who miss an exam for a valid reason may need to take a make-up exam; specific arrangements will be made on a case-by-case basis.

Exam dates:

  • Midterm exam 1: Thursday, 3/03/2016, 4:00PM - 5:20PM, Engineering 143.
  • Midterm exam 2: Thursday, 4/14/2016, 4:00PM - 5:20PM, Engineering 143.
  • Final exam: Monday, May 16, 2016, 2:15PM - 4:15PM, in Engineering 143.

The Pass/No Credit (P/NC) option is not available for this course.

This policy applies to all CSE/ISE undergraduate courses used to satisfy the graduation requirements for the major.

Grade Cutoffs

A [95-100], A- [90-95), B+ [85-90), B [80-85), B- [75-80), C+ [70-75), C [65-70), C- [60-65), D+ [55-60), D [50-55), F [0-50)

SPECIAL RULE: If all your grades, including homework assignments, quizzes, recitation and your three exam grades are above the respective class averages, you're guaranteed to receive a grade of C or higher for this class.

There will be extra credit  as a part of quizzes and homework assignments which values to an increase of less than 4% in the final grade.

There will be in-class quizzes / brief assessments used to practice the class material and measure growth in knowledge, abilities, and skills. They will be solved in class and they are valued 2 points each.

The grades will be posted on Blackboard: http://blackboard.stonybrook.edu for privacy reasons.


Homework

There will be homework assignments given regularly. The homework assignments are to be completed individually in the alotted time. No Late Submissions Are Allowed. No makeup homework will be given. The homework assignments will be posted on Blackboard: http://blackboard.stonybrook.edu.

Re-grading

For re-grading of an assignment or exam, please meet with the person (instructor or teaching assistant) responsible for the grading. Please arrange a re-evaluation within one week of receiving the graded work. All such requests that are later than one week from the date the graded work is returned to the class will not be entertained. To promote consistency of grading, questions and concerns about grading should be addressed first to the TA and then, if that does not resolve the issue, to the instructor. You are welcome to contact the TA by email or come to his office hour. If you would like to speak with the TA in person, and have a schedule conflict with his office hour, you are welcome to make an appointment to meet the TA at another time.

Tentative Class Schedule

Week Lecture Topics
1 Course Introduction; Propositional Logic
2 Propositional Logic
3 The Logic of Quantified Statements
4 Elementary Number Theory and Methods of Proof
5 Elementary Number Theory and Methods of Proof
6 Review Session and Midterm Exam 1
7 Sequences and Mathematical Induction
8 Spring Break
9 Set Theory
10 Set Theory
11 Functions
12 Review Session and Midterm Exam 2
13 Recursion
14 Functional Programming (ML)
15 Relations
16 Relations; Final Exam Review

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