🏠CS103
Course
Syllabus
Honor Code
How to Succeed in CS103
Office Hours
How to Improve
Resources
Mathematical Prerequisites
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
Guide to Proofs on Sets
Discrete Structures Proofwriting Checklist
Guide to Induction
Induction Proofwriting Checklist
Guide to the Subset Construction
Guide to Regular Expressions
Guide to State Elimination
Guide to the Myhill-Nerode Theorem
Guide to CFGs
Lectures
0. 9/23 Introduction, Set Theory
1. 9/25 Mathematical Proofs
2. 9/27 Indirect Proofs
3. 9/30 Propositional Logic
4. 10/2 First-Order Logic, Part I
5. 10/4 First-Order Logic, Part II
6. 10/7 Functions, Part I
7. 10/9 Functions, Part II
8. 10/11 Set Theory Revisited
9. 10/14 Graphs, Part I
10. 10/16 Graphs, Part II
11. 10/18 Graphs, Part III
12. 10/23 Mathematical Induction, Part I
13. 10/25 Mathematical Induction, Part II
14. 10/28 Finite Automata, Part I
15. 10/30 Finite Automata, Part II
16. 11/1 Finite Automata, Part III
17. 11/4 Regular Expressions
18. 11/6 Nonregular Languages
19. 11/8 Context-Free Languages
20. 11/13 Turing Machines, Part I
21. 11/15 Turing Machines, Part II
Problem Sets
Guide to Partners
Request an Extension
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
8. Problem Set 8
Exams
Exam Logistics
Extra Practice Problems 1
Midterm 1 Solutions
Extra Practice Problems 2
Midterm 2 Solutions
Schedule
Guide to Elements and Subsets
(If not redirected, click
here
)