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