CS103 Schedule

This is a preview of our planned schedule. We will update this schedule as we go. This page should faithfully describe the past, but it won't always accurately predict the future.

MWF 1:30PM - 2:50PM in Bishop Auditorium, recordings posted to Canvas for later asynchronous viewing.

See also: 🗓 Living Omni-Grid.

1
Sep 23
Introduction, Set Theory
Syllabus, Honor Code, Mathematical Prerequisites, Guide to Elements and Subsets
Sep 25
Mathematical Proofs
Guide to Proofs, Guide to Partners
Sep 27
Indirect Proofs
Proofwriting Checklist, Guide to Office Hours, Guide to $\LaTeX$
Assignment 0.
due Sep 27
2
Sep 30
Propositional Logic
Oct 2
First-Order Logic, Part I
Oct 4
First-Order Logic, Part II
[Guide to Negation][guide_to_negation], [Guide to Logic Translation][guide_to_translation], [Translation Checklist][fol_checklist]
Assignment 1.
due Oct 4
3
Oct 7
Functions, Part I
Oct 9
Functions, Part II
[Guide to Proofs on Discrete Structures][guide_to_proofs_on_discrete_structures]
Oct 11
Set Theory Revisited
[Discrete Structures Proofwriting Checklist][discrete_structures_checklist], [Guide to Proofs on Sets][guide_to_proofs_on_sets]
Assignment 2.
due Oct 11
4
Oct 14
Graphs, Part I
Oct 16
Graphs, Part II
Oct 18
Graphs, Part III
Assignment 3.
due Oct 18
5
Oct 21
No Class (Exam 1)
Oct 23
Mathematical Induction, Part I
Oct 25
Mathematical Induction, Part II
[Guide to Induction][guide_to_induction], [Induction Proofwriting Checklist][induction_checklist]
Assignment 4.
due Oct 25
6
Oct 28
Finite Automata, Part I
Oct 30
Finite Automata, Part II
Nov 1
Finite Automata, Part III
[Guide to the Subset Construction][guide_to_the_subset_construction]
Assignment 5.
due Nov 1
7
Nov 4
Regular Expressions
[Guide to Regular Expressions][guide_to_regexes], [Guide to State Elimination][guide_to_state_elimination]
Nov 6
Nonregular Languages
[Guide to the Myhill-Nerode Theorem][guide_to_myhill_nerode]
Nov 8
Context-Free Languages
[Guide to CFGs][guide_to_cfgs]
Assignment 6.
due Nov 8
8
Nov 11
No Class (Exam 2)
Nov 13
Turing Machines, Part I
Nov 15
Turing Machines, Part II
Assignment 7.
due Nov 15
9
Nov 18
Turing Machines, Part III
Nov 20
Unsolvable Problems, Part I
Nov 22
Unsolvable Problems, Part II
[Guide to Self-Reference][guide_to_self_reference], [Guide to the Lava Diagram][guide_to_the_lava_diagram]
Assignment 8.
due Nov 24
10
Nov 25
No Class
Nov 27
No Class
Nov 29
No Class
11
Dec 2
Complexity Theory, Part I
Dec 4
Complexity Theory, Part II
Dec 6
Where to Go from Here
[Timeline of Results][timeline_of_results]
Assignment 9.
due Dec 6