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: AMS 151 or MAT 125 or MAT 131
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.
- Introduction: sets, functions, logic
- 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
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.
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.
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.
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.
|1||Course Introduction; 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|
|12||Review Session and Midterm Exam 2|
|14||Functional Programming (ML)|
|16||Relations; Final Exam Review|
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.