proofs.tp1-1.welcome-to-6-042-1.wIq4CssPoO0.srt
proofs.tp1-1.intro-to-proofs-part-1-video.intro-to-proofs-part-1.GyFVgJZ0hIs.srt
proofs.tp1-1.intro-to-proofs-part-2-video.intro-to-proofs-part-2.wfr4XbR5VP8.srt
proofs.tp1-2.proof-by-contradiction.CpW0ZJ7i0oc.srt
proofs.tp1-2.vertical-f502ca28cf17.proof-by-cases.vzpFQ3uNyPo.srt
proofs.tp2-1.well-ordering-principle-1.fV3v6qQ3w4A.srt
proofs.tp2-1.vertical-735460178366.well-ordering-principle-2.I1HpgnWQI7I.srt
proofs.tp2-1.vertical-4bb7930de7ec.well-ordering-principle-3.hNrtGiCFPGs.srt
proofs.tp2-2.propositional-operators.0exBzsexUoI.srt
proofs.tp2-2.digital-logic-video.digital-logic.eMWG-jTh-GE.srt
proofs.tp2-2.truth-tables-video.truth-tables.3WDzxt5p8c.srt
proofs.tp3-1.predicate-logic-1.UroprmQHTLc.srt
proofs.tp3-1.vertical-7b4a11771cb1.predicate-logic-2.T1AtlGrCoU8.srt
proofs.tp3-1.vertical-ef4691d3280b.predicate-logic-3.L5uBeAGJV1k.srt
proofs.tp3-2.sets-definitions.KZ7jjLTQ9r4.srt
proofs.tp3-2.vertical-822cbc94ed34.sets-operations.Mhip1rljvRo.srt
proofs.tp3-3.relations.FkfsmwAtDdY.srt
proofs.tp3-3.vertical-360a6e85d0f4.relational-mappings.gFD1Lp6zK3w.srt
proofs.tp3-3.vertical-aecd80da5c9a.finite-cardinality.fpy5Hsz5t6E.srt
proofs.tp4-1.induction.XnV8GAuAqJM.srt
proofs.tp4-1.vertical-9984d57d43e5.bogus-induction.D3E5CKebKuQ.srt
proofs.tp4-1.vertical-828ce2b900d3.strong-induction.TUueMeRooBk.srt
proofs.tp4-1.vertical-98aa517cd42e.wop-vs-induction.K8ZfzNN1miQ.srt
proofs.tp4-2.state-machines-invariants.VuG2JNcRXYg.srt
proofs.tp4-2.vertical-ef00ae29a8ca.derived-variables.a7JUH-EtHtI.srt
proofs.recursive-definition.recursive-data.TXNXT3oBROw.srt
proofs.recursive-definition.structural-induction-video.structural-induction.VWIDwHCGJDQ.srt
proofs.recursive-definition.recursive-functions-video.recursive-functions.tOsdeaYDCMk.srt
proofs.tp4-3.cardinality.QzSCf62kzjE.srt
proofs.tp4-3.countable-sets-video.countable-sets.AipSRi3CyLg.srt
proofs.tp4-3.vertical-4eaa04fd577b.cantor-s-theorem.4dj1ogUwTEM.srt
proofs.tp4-3.vertical-b654b1f1c6e1.the-halting-problem.WQHOImO0pX0.srt
proofs.tp4-3.vertical-f1f52e8d7024.russell-s-paradox.5hETv64GIuE.srt
proofs.tp4-3.set-theory-axioms-video-optional.set-theory-axioms-optional.zcvsyL7GtH4.srt
struc.tp5-1.gcds-linear-combinations.et3FOZdI6pk.srt
struc.tp5-1.gcds-linear-combinations.et3FOZdI6pk.srt
struc.tp5-1.euclidean-algorithm-video.euclidean-algorithm.dW0f62lcCLE.srt
struc.tp5-1.pulverizer-video.pulverizer.yzKPotFLfsc.srt
struc.tp5-1.revisiting-die-hard-video.die-hard-primes.c3qNBNl1h8g.srt
struc.tp5-1.prime-factorization-video.unique-factorization.QsKtEuUyIdw.srt
struc.tp5-2.congruence-mod-n.KvtLWgCTwn4.srt
struc.tp5-2.vertical-5a82e8c3077d.inverses-mod-n.CAKSh3M0y8k.srt
struc.tp6-1.modular-exponentiation-euler-s-function.TeRYL7kkhqs.srt
struc.tp6-1.vertical-96037fd2d933.modular-exponentiation-the-ring.dZgI16nMuqE.srt
struc.tp6-2.rsa-public-key-encryption.ZUZ8VbX1YNQ.srt
struc.tp6-2.vertical-10e2576c9510.reducing-factoring-to-sat.yWIQCewgfwY.srt
struc.tp6-3.digraphs-walks-paths.MX-mBxt6huU.srt
struc.tp6-3.vertical-2c95b0b170e2.digraphs-connected-vertices.QORX1OUabio.srt
struc.tp7-1.digraphs-dags.Sdw8_0RDZuw.srt
struc.tp7-1.vertical-0b187f2dedb6.scheduling.1TpzSCMLg08.srt
struc.tp7-1.vertical-ce9e54c9d251.time-versus-processors.cUYTlKA8jaw.srt
struc.partial-orders-and-equivalence.partial-orders.0w9luYcxHrw.srt
struc.partial-orders-and-equivalence.vertical-a604c5db7bb5.representing-partial-orders-as-subset-relations.bHvMYZvZp7Y.srt
struc.partial-orders-and-equivalence.vertical-c6c01eb0d061.equivalence-relations.s-E5T3igntw.srt
struc.tp7-2.degrees.TIpnudrzvgg.srt
struc.tp7-2.vertical-4cdac51413fd.isomorphism.hVerxuP4cFg.srt
struc.tp7-3.coloring.Penh4mv5gAg.srt
struc.tp7-3.vertical-857c6f8a582c.connectivity.TIQ3xN38jgM.srt
struc.tp7-3.vertical-a730aa2d96d6.k-connectivity.5wCZqdCDafc.srt
struc.tp8-1.trees.ZEsk64C0fJg.srt
struc.tp8-1.vertical-04923c3ed451.tree-coloring.g2mOvmC1TKc.srt
struc.tp8-1.vertical-2ef65242598f.spanning-trees.RqqzyWDVMA.srt
struc.stable-matching.stable-matching-0.RE5PmdGNgj0.srt
struc.stable-matching.matching-ritual-video.mating-ritual.6vgHIImFwHo.srt
struc.stable-matching.optimal-stable-matching-video.optimal-stable-matching.n4KKgKpp--0.srt
struc.stable-matching.bipartite-matching-video.bipartite-matching-0.HZLKDC9OSaQ.srt
struc.stable-matching.hall-s-theorem-video.hall-s-theorem-0.i5AWE-OoOsY.srt
count.tp8-2.arithmetic-sums.v6axtBS6IF8.srt
count.tp8-2.vertical-46a80f3884d6.geometric-sums.ZDQk45NQbEo.srt
count.tp8-2.vertical-d3f74a0ca5a8.book-stacking.CdhuVhWTSMI.srt
count.tp8-2.vertical-65e8069d3ac4.integral-method.EegG5TPL29c.srt
count.tp8-2.vertical-356e14210c43.stirling-s-formula.lU_QT5GSuxI.srt
count.tp8-3.asymptotic-notation.CWkh5kb4TGc.srt
count.tp8-3.vertical-e35ce9684389.asymptotic-properties.HeyEK0TWiBw.srt
count.tp8-3.vertical-f4d8cd185706.asymptotic-blunders.Y9Blo_G-Mvg.srt
count.tp9-1.sum-and-product-rules.yTrtVwKZkwU.srt
count.tp9-1.vertical-96a6db418419.bijections.n0lce1dMAh8.srt
count.tp9-2.generalized-count-rules.iDfyX8WRIyM.srt
count.tp9-2.vertical-cb7317c8f4ec.two-pair-poker-hands.HswnmlLPGZ4.srt
count.tp9-2.vertical-a7fe1b9ddc0c.binomial-theorem.jwjDj4GoSV0.srt
count.tp9-2.vertical-436d8f042056.bookkeeper-rule-multinomial-theorem.juGgfHsO-xM.srt
count.tp10-1.the-pigeonhole-principle.4Dz4vNUxnZM.srt
count.tp10-1.vertical-6d18e84b97d0.inclusion-exclusion-example.51-b2mgZVNY.srt
count.tp10-1.vertical-d7d25ffeb295.inclusion-exclusion-2-sets.nwpzBE9IwJQ.srt
proba.tp11-2.tree-model.dEsFEK4vnV4.srt
proba.tp11-2.vertical-65858dc50455.simplified-monty-hall-tree.L30HPgryd6I.srt
proba.tp11-2.vertical-7e0be1baca38.sample-spaces.Amd_bNYzgUw.srt
proba.tp12-1.definitions.Cu9_LaaWgHo.srt
proba.tp12-1.vertical-4689ff047559.law-of-total-proba.F3y8qupFfUs.srt
proba.tp12-1.vertical-1f097d8a0a33.bayes-theorem.e-yQFC6dACA.srt
proba.tp12-1.vertical-038350815734.monty-hall-conditional-confusions.BEAv82FinM0.srt
proba.tp12-2.independence.1vQ2x5O_xqk.srt
proba.tp12-2.vertical-9c80216b7495.mutual-independence.wJzBU7Do1ls.srt
proba.tp12-3.bigger-number-game.BH4qlkYCLW0.srt
proba.tp12-3.vertical-af2ad400f984.random-variables-independence.VJzv6WJTtNc.srt
proba.tp12-3.vertical-c596d4103fc3.random-variables-uniform-binomial.L2yOSFsMvnc.srt
proba.tp13-1.expectation.YVQdVzSkcmQ.srt
proba.tp13-1.vertical-07d1783f0da3.expected-number-of-heads.D9l-pIg1Ayo.srt
proba.tp13-1.vertical-6913b2097610.total-expectation.mqoDXWrSais.srt
proba.tp13-1.vertical-e8dee31ddd76.mean-time-to-failure.Dqx56lZ_icg.srt
proba.tp13-1.vertical-49ea207a6233.linearity-of-expectation.KFcodn4qfrQ.srt
proba.tp13-2.deviation-from-the-mean.ALn1McUXg-c.srt
proba.tp13-2.vertical-8307292b80cb.markov-bounds.m07lrb7m0D0.srt
proba.tp13-2.vertical-49f940bfd8d6.chebyshev-bounds.uaa4P-kkLrA.srt
proba.tp13-2.vertical-0646c16ad916.variance.o57CTwt1-ck.srt
proba.tp14-1.law-of-large-numbers.-yo3YxfY47g.srt
proba.tp14-1.vertical-872c5ec0974e.independent-sampling-theorem.MMn7q1M7pGI.srt
proba.tp14-1.vertical-82840a0ba306.birthday-matching.TWVntUfXsKs.srt
proba.tp14-1.vertical-83cee7032f8c.sampling-confidence.Q-6Cw8tYVeY.srt
proba.random-walks-pagerank.random-walks.-j7MoM3P_J8.srt
proba.random-walks-pagerank.stationary-distributions-video.stationary-distributions.iZX8WEGZTVw.srt
proba.random-walks-pagerank.page-rank-video.page-rank.QKO_2WQkZ0k.srt