Classes |
Asynchronous online via Google Drive (Discrete Mathematics and Theory of Computation) using @stonybrook.edu email account. |
|---|---|
Instructor |
Prof. Pramod Ganapathi Office hours: Mo 09:00-12:00 PM via Zoom |
Note |
This course is mainly for satisfying the prerequisites of algorithms and data structures. It will NOT count as a lecture course for CS M.S. students. It will NOT count towards CS Ph.D. quals. However, its credits will count for graduation for both CS M.S. and CS Ph.D. |
Course Description |
The course consists of two parts. The first part covers the part of mathematics that is extensively used in computer science. The topics covered include: logic (propositional logic and predicate logic), number theory, proof techniques, sequences, recursion, functions, relations, and sets. The second part covers the mathematical theory of computation, computers, algorithms, and complexity. The topics covered include: computation models, grammars accepted by different computation models, languages accepted by different computation models, Turing-complete systems, algorithmically unsolvable problems, and algorithmically hard problems. |
|---|---|
Prerequisites |
Programming experience in at least one high-level programming language and competence in using programming tool chains (writing, compiling, running and debugging programs). There is no coding in this course, however, the knowledge of programming languages tremendously helps to understand the theoretical topics. |
Credits |
3 |
Course Outcome |
At the end of the course, the students should have the following knowledge, skills, and wisdom:
|
Textbooks |
|
Grading |
Course requirements and grading are as follows:
|
Homework |
Homework will be posted on Brightspace. Homework must be written on plain sheets of paper, scanned using a good scan app, and a single scanned PDF must be submitted on Brightspace. The PDF must have the student ID as the file name. Late submissions will not be graded for any reason (including oversleeping, forgetting, PC issues, technical issues, Brightspace issues, traveling, etc), except in the case of medical emergencies (with documentation submitted to and verified by the Student Support Team) and on the discretion of the instructor based on a case-by-case basis. It is strongly recommended to submit at least one version three days before the deadline. A student can submit an infinite number of versions of the answer sheets PDF to the Brightspace. We only evaluate the last/final version of the solutions PDF uploaded on Brightspace before the deadline. Students should not submit the first version of their homework at the exact deadline or later or a few seconds/minutes just before the deadline. Because, we do not consider the time at which a homework was submitted, we consider the time at which the homework was successfully up on Brightspace (with all pages in human-readable form) and it takes a few seconds/minutes to upload on Brightspace. If Brightspace flags the homework as late, it is late. Regrade requests deadline is 1 week after getting the homework/exam results on Brightspace. |
Makeup Exams |
Makeup exams will not be given for any reason (including oversleeping, forgetting, PC issues, technical issues, Brightspace issues, traveling, etc), except in the cases of medical emergencies (with documentation submitted to and verified by the Student Support Team) and on the discretion of the instructor based on a case-by-case basis; student participation in university sponsored events (with documentation); and religious absences (with documentation). |
Attendance |
Students are expected to attend every class, report for examinations and submit major graded coursework as scheduled. If a student is unable to attend lecture(s), report for any exams or complete major graded coursework as scheduled due to extenuating circumstances, the student must contact the instructor as soon as possible. Students may be requested to provide documentation to support their absence and/or may be referred to the Student Support Team for assistance. Students will be provided reasonable accommodations for missed exams, assignments or projects due to significant illness, tragedy or other personal emergencies. In the instance of missed lectures or recitations, the student is responsible for reviewing posted slides, reviewing recorded lectures, seeking notes from a classmate, etc. Please note, all students must follow Stony Brook, local, state and Centers for Disease Control and Prevention (CDC) guidelines to reduce the risk of transmission of COVID. For questions or more information click here. |
Additional Resources |
|
Lectures |
Class Schedule |
Slides |
Study |
Learning Materials |
|---|---|---|---|---|
| Week 1 | Introduction, Logic (Propositional + Predicate) | [PDF], [PDF], [PDF] | [DM, Ch. 1, 2, 3] | Map of Math, Map of CS |
| Week 2 | Proof Techniques | [PDF] | [DM, Ch. 4] | |
| Week 3 | Sequences (Induction and Recursion), Sets | [PDF], [PDF] | [DM, Ch. 5, 6] | |
| Week 4 | Functions, Relations | [PDF], [PDF] | [DM, Ch. 7, 8] | |
| Week 5: Jun 20 (Th) | Midterm | Time: 11:30-01:30 PM, Venue: Online (TBD) Syllabus: All topics covered to this date |
||
| Week 6 | Introduction, Finite Automata | [PDF], [PDF] | [M, Ch. 1, 2, 3] | |
| Week 7 | Pushdown Automata | [PDF] | [M, Ch. 4, 5, 6] | |
| Week 8 | Turing Machines | [PDF] [PDF] | [M, Ch. 7, 8] | Morten Tyldum's The Imitation Game, Lambda Calculus |
| Week 9 | Algorithmically Solvable/Unsolvable Problems | [PDF] | [M, Ch. 9, 10] | Undecidability: (Part 1, Part 2, Part 3), Halting Problem, Busy Beaver Problem, Chomsky Hierarchy, Self-replicating program |
| Week 10: Jul 24 (We) | Final | Time: 11:30-01:30 PM, Venue: Online (TBD) Syllabus: All topics covered after midterm |
Academic Integrity |
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. Any suspected instance of academic dishonesty will be reported to the Academic Judiciary. For more comprehensive information on academic integrity, including categories of academic dishonesty, please refer to the academic judiciary website at
https://www.stonybrook.edu/commcms/academic_integrity/. Students are allowed/encouraged to:
|
|---|---|
Student Accessibility Support Center |
If you have a physical, psychological, medical, or learning disability that may impact your course work, please contact the Student Accessibility Support Center, ECC (Educational Communications Center) Building, Room 128, (631) 632-6748, or at sasc@Stonybrook.edu. They will determine with you what accommodations 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 the Student Accessibility Support Center. For procedures and information go to the following website: https://ehs.stonybrook.edu/programs/fire-safety/emergency-evacuation/evacuation-guide-people-physical-disabilities and search Fire Safety and Evacuation and Disabilities. |
Critical Incident Management |
Stony Brook University expects students to respect the rights, privileges, and property of other people. Faculty are required to report to the Office of University Community Standards any disruptive behavior that interrupts their ability to teach, compromises the safety of the learning environment, or inhibits students' ability to learn. Further information about most academic matters can be found in the Undergraduate Bulletin, the Undergraduate Class Schedule, and the Faculty-Employee Handbook. Until/unless the latest COVID guidance is explicitly amended by SBU, during Fall 2021 ''disruptive behavior'' will include refusal to wear a mask during classes. |