CS 70 Spring 2024
Lecture: TuTh 3:30pm - 5:00pm, Dwinelle 155 Jump to current week Introduction, Propositional Logic Proofs Induction Induction, Stable Matching Graphs Graphs Modular Arithmetic Euclid, FLT, CRT RSA Polynomials, Secret Sharing Error Correcting Codes Countability Computability, Counting Counting No lecture Midterm (7-9pm) Introduction to Discrete Probability Conditional Probability, Independence Some Applications Random Variables and Expectation Geometric and Poisson Distributions Spring Break Spring Break Variance Concentration Inequalities Continuous Probability Continuous Probability Markov Chains Markov Chains Prediction Randomized Algorithms RRR Week RRR Week Final Exam (7-10pm)
Week Date Lecture Resources Notes Discussion Homework 0 Thu 8/27 Direct Proofs lecture full Note 0 Note 1 HW 0, solutions 1 Tue 9/1 Propositional Logic & Proof Techniques lecture Note 2 Disc 0, solutions HW 1, solutions Thu 9/3 Proof Techniques II lecture Note 3 Fri 9/4 Quiz 0: Direct Proofs 2 Tue 9/8 Induction lecture Note 4 Disc 1, solutions HW 2, solutions Thu 9/10 Modular Arithmetic lecture Note 5 Fri 9/11 Quiz 1: Propositional Logic, Proof Techniques 3 Tue 9/15 Euclid, FLT, CRT Disc 2, solutions HW 3, solutions Thu 9/17 RSA Fri…
saved by
related reading
- CS109: Probability for Computer Scientists, Winter 2023web.stanford.edu
- Napkin.pdfvenhance.github.io
- Mathematics for Computer Sciencepeople.csail.mit.edu
- Logic in Computer Sciencecourses.grainger.illinois.edu
- 15-859T: A Theorist's Toolkit 2013cs.cmu.edu
- An intensive introduction to cryptography: indexintensecrypto.org
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- Tim Roughgarden's Lecture Notestimroughgarden.org
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- 275A, Notes 0: Foundations of probability theory | What's newterrytao.wordpress.com
- How To Prove Itia800501.us.archive.org
- MIT 6.512, Fall 2025frap.csail.mit.edu