🏠CS103
Course
Syllabus
Honor Code
Office Hours
Mathematical Prerequisites
Readings
Guide to Elements and Subsets
Guide to Proofs
Guide to $\LaTeX$
Proofwriting Checklist
Guide to Negation
Guide to Logic Translations
Logic Translation Checklist
Guide to Proofs on Discrete Structures
Discrete Structures Proofwriting Checklist
Guide to Induction
Induction Proofwriting Checklist
Guide to CFGs
Guide to Self-Reference
Guide to the Lava Diagram
Lectures
0. 6/24 Introduction, Set Theory
1. 6/26 Mathematical Proofs
2. 6/28 Indirect Proofs
3. 7/1 Propositional Logic
4. 7/3 First-Order Logic, Part I
5. 7/5 First-Order Logic, Part II
6. 7/8 Functions, Part I
7. 7/10 Functions, Part II
8. 7/12 Graphs, Part I
9. 7/15 Graphs, Part II
10. 7/17 Mathematical Induction, Part I
11. 7/19 Mathematical Induction, Part II
12. 7/22 Finite Automata, Part I
13. 7/24 Finite Automata, Part II
14. 7/29 Regular Expressions
15. 7/31 Nonregular Languages
16. 8/2 Context-Free Languages
17. 8/5 Turing Machines, Part I
18. 8/7 Turing Machines, Part II
19. 8/9 Unsolvable Problems
20. 8/12 Unsolvable Problems II
21. 8/14 Final Review
Problem Sets
Guide to Partners
0. Problem Set 0
1. Problem Set 1
2. Problem Set 2
3. Problem Set 3
4. Problem Set 4
5. Problem Set 5
6. Problem Set 6
7. Problem Set 7
Exams
Preparing for the Exams
Practice Midterm 1
Practice Midterm 2
Midterm Extra Practice Problems
Midterm Solutions
Practice Final 1
Practice Final 2
Cumulative Practice Problems
Final Exam Solutions
Schedule
Final Review
Wednesday August 14
Links
Lecture Slides.pdf
Review Session Slides.pdf