CS103
Course
Syllabus
Honor Code
How to Succeed in CS103
Office Hours
Resources
Mathematical Prerequisites
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
Lectures
0. 3/30 Introduction, Set Theory
1. 4/1 Mathematical Proofs
2. 4/3 Indirect Proofs
3. 4/6 Propositional Logic
4. 4/8 First-Order Logic, Part I
5. 4/10 First-Order Logic, Part II
6. 4/13 Functions, Part I
7. 4/15 Functions, Part II
8. 4/17 Set Theory Revisited
Problem Sets
Guide to Partners
0. Problem Set 0
1. Problem Set 1
2. Problem Set 2
3. Problem Set 3
Exams
Guide to Elements and Subsets
(If not redirected, click
here
)