CSE191
This course provides a mathematical foundation for subsequent study in Computer Science, as well as developing the skills necessary to solve practical problems. CSE 191 is intended to give students a basic facility with logic and proof theory, counting, and graph theory, which serve as the basis for much of Computer Science.
Moreover, we will move away from a more traditional approach to proof techniques. The ultimate goal of computer science is absraction in the service of automation. We will focus on using constructive logic, and the Curry-Howard isomorphism, to automatically construct proofs. The Coq proof assistant can aid in this process by providing certificates for proofs and keeping a database of previous proofs.
| Position | Name | Office Hours | |
| GTA | Feng-Mao Tsai | fengmaot@buffalo.edu | B1 B2 B3 B4 |
| UTA | Wasif Khan | wasifkha@buffalo.edu | OH T/Th/F 12-1 |
| UTA | Lawrence Yao | lyao3@buffalo.edu | OH M 11-12, T 12:30-1:30 |
A course overview and grading policy are available in accordance with Buffalo academic policy.
Required and Recommended Reading
Turning in Homework
All homework will be submitted to the Autograder system. Two kinds of assignments will be given. Written assignments, which the students will turn in as PDF or scanned image files, and Proof assignments, which will be submitted as Coq files. The written assignments will be denoted with a {\bf w}, such as Assignment 0w. For all proof questions, you must submit a valid constructive proof. You may not use the following tactics:
- auto
- tauto
- intuition
- lia
- nia
- now
- omega
- axiom
- Admitted
Syllabus, also in PDF
Course Book
Piazza
Coq Tutorial from Jeremy Kazimer
Homework
| Assignment | Due Date | Problems |
| 0w | 2/6 | I.1 |
| 0 | 2/13 | I.2 |
| 1 | 2/27 | I.11, I.17, I.18, I.20 |
| 2 | 3/7 | II.5, II.6, II.7 |
| 3a | 3/28 | III.11, III.17 |
| 3b | 4/4 | III.12, III.13, III.15 |
| 4 | 4/18 | IV.5, IV.7, IV.10 |
| 5 | 4/25 | V.1, V.2 |
| 5w | 5/2 | V.5, V.6 |
The Final Exam will be posted here at 11am Thursday, May 9th. You will submit to Autolab, exactly as with the homework, no later than 2pm Friday May 10th. Multiple submissions are allowed.
Final Exam for CSE 191 Spring 2024
Final Exam Submission Template for CSE 191 Spring 2024
Lectures
| Lecture | Date | Reading | Lecture | Date | Reading |
| 2/3 | 1.1-2 | 2/10 | 1.3-1.5 | ||
| 2/16 | 1.3-1.5 | 3/3 | 2.3 | ||
| 3/10 | 3.1.1, 3.3.2 | 3/17 | 3.3,3.3.1 | ||
| 3/31 | 3.3 | 3/31 | 3.3 | ||
| 4/5 | 4.1-3 | 4/7 | 4.4 | ||
| 4/12 | 4.5.1 | 4/14 | 4.5.2 | ||
| 4/19 | 5.1-5.3 | 4/21 | 5.3.1 | ||
| 4/26 | 5.4 | 4/26 | 5.4 | ||
| 4/28 | 5.5 | 5/3 | 5.6-7 | 5/5 | 5.5.3 |
Diagnostic Quizzes
| Logic | quiz |
| Sets | quiz |
| Functions | quiz |