🏠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
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
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
Exams
Exam Logistics
Extra Practice Problems 1
Midterm 1 Solutions
Schedule
Guide to Elements and Subsets
(If not redirected, click
here
)