000001.proofs.tp1-1.welcome-to-6-042-1.wIq4CssPoO0.srt
000002.proofs.tp1-1.intro-to-proofs-part-1-video.intro-to-proofs-part-1.GyFVgJZ0hIs.srt
000003.proofs.tp1-1.intro-to-proofs-part-2-video.intro-to-proofs-part-2.wfr4XbR5VP8.srt
000004.proofs.tp1-2.proof-by-contradiction.CpW0ZJ7i0oc.srt
000005.proofs.tp1-2.vertical-f502ca28cf17.proof-by-cases.vzpFQ3uNyPo.srt
000006.proofs.tp2-1.well-ordering-principle-1.fV3v6qQ3w4A.srt
000007.proofs.tp2-1.vertical-735460178366.well-ordering-principle-2.I1HpgnWQI7I.srt
000008.proofs.tp2-1.vertical-4bb7930de7ec.well-ordering-principle-3.hNrtGiCFPGs.srt
000009.proofs.tp2-2.propositional-operators.0exBzsexUoI.srt
000010.proofs.tp2-2.digital-logic-video.digital-logic.eMWG-jTh-GE.srt
000011.proofs.tp2-2.truth-tables-video.truth-tables.3WDzxt5p8c.srt
000012.proofs.tp3-1.predicate-logic-1.UroprmQHTLc.srt
000013.proofs.tp3-1.vertical-7b4a11771cb1.predicate-logic-2.T1AtlGrCoU8.srt
000014.proofs.tp3-1.vertical-ef4691d3280b.predicate-logic-3.L5uBeAGJV1k.srt
000015.proofs.tp3-2.sets-definitions.KZ7jjLTQ9r4.srt
000016.proofs.tp3-2.vertical-822cbc94ed34.sets-operations.Mhip1rljvRo.srt
000017.proofs.tp3-3.relations.FkfsmwAtDdY.srt
000018.proofs.tp3-3.vertical-360a6e85d0f4.relational-mappings.gFD1Lp6zK3w.srt
000019.proofs.tp3-3.vertical-aecd80da5c9a.finite-cardinality.fpy5Hsz5t6E.srt
000020.proofs.tp4-1.induction.XnV8GAuAqJM.srt
000021.proofs.tp4-1.vertical-9984d57d43e5.bogus-induction.D3E5CKebKuQ.srt
000022.proofs.tp4-1.vertical-828ce2b900d3.strong-induction.TUueMeRooBk.srt
000023.proofs.tp4-1.vertical-98aa517cd42e.wop-vs-induction.K8ZfzNN1miQ.srt
000024.proofs.tp4-2.state-machines-invariants.VuG2JNcRXYg.srt
000025.proofs.tp4-2.vertical-ef00ae29a8ca.derived-variables.a7JUH-EtHtI.srt
000026.proofs.recursive-definition.recursive-data.TXNXT3oBROw.srt
000027.proofs.recursive-definition.structural-induction-video.structural-induction.VWIDwHCGJDQ.srt
000028.proofs.recursive-definition.recursive-functions-video.recursive-functions.tOsdeaYDCMk.srt
000029.proofs.tp4-3.cardinality.QzSCf62kzjE.srt
000030.proofs.tp4-3.countable-sets-video.countable-sets.AipSRi3CyLg.srt
000031.proofs.tp4-3.vertical-4eaa04fd577b.cantor-s-theorem.4dj1ogUwTEM.srt
000032.proofs.tp4-3.vertical-b654b1f1c6e1.the-halting-problem.WQHOImO0pX0.srt
000033.proofs.tp4-3.vertical-f1f52e8d7024.russell-s-paradox.5hETv64GIuE.srt
000034.proofs.tp4-3.set-theory-axioms-video-optional.set-theory-axioms-optional.zcvsyL7GtH4.srt
000035.struc.tp5-1.gcds-linear-combinations.et3FOZdI6pk.srt
000036.struc.tp5-1.gcds-linear-combinations.et3FOZdI6pk.srt
000037.struc.tp5-1.euclidean-algorithm-video.euclidean-algorithm.dW0f62lcCLE.srt
000038.struc.tp5-1.pulverizer-video.pulverizer.yzKPotFLfsc.srt
000039.struc.tp5-1.revisiting-die-hard-video.die-hard-primes.c3qNBNl1h8g.srt
000040.struc.tp5-1.prime-factorization-video.unique-factorization.QsKtEuUyIdw.srt
000041.struc.tp5-2.congruence-mod-n.KvtLWgCTwn4.srt
000042.struc.tp5-2.vertical-5a82e8c3077d.inverses-mod-n.CAKSh3M0y8k.srt
000043.struc.tp6-1.modular-exponentiation-euler-s-function.TeRYL7kkhqs.srt
000044.struc.tp6-1.vertical-96037fd2d933.modular-exponentiation-the-ring.dZgI16nMuqE.srt
000045.struc.tp6-2.rsa-public-key-encryption.ZUZ8VbX1YNQ.srt
000046.struc.tp6-2.vertical-10e2576c9510.reducing-factoring-to-sat.yWIQCewgfwY.srt
000047.struc.tp6-3.digraphs-walks-paths.MX-mBxt6huU.srt
000048.struc.tp6-3.vertical-2c95b0b170e2.digraphs-connected-vertices.QORX1OUabio.srt
000049.struc.tp7-1.digraphs-dags.Sdw8_0RDZuw.srt
000050.struc.tp7-1.vertical-0b187f2dedb6.scheduling.1TpzSCMLg08.srt
000051.struc.tp7-1.vertical-ce9e54c9d251.time-versus-processors.cUYTlKA8jaw.srt
000052.struc.partial-orders-and-equivalence.partial-orders.0w9luYcxHrw.srt
000053.struc.partial-orders-and-equivalence.vertical-a604c5db7bb5.representing-partial-orders-as-subset-relations.bHvMYZvZp7Y.srt
000054.struc.partial-orders-and-equivalence.vertical-c6c01eb0d061.equivalence-relations.s-E5T3igntw.srt
000055.struc.tp7-2.degrees.TIpnudrzvgg.srt
000056.struc.tp7-2.vertical-4cdac51413fd.isomorphism.hVerxuP4cFg.srt
000057.struc.tp7-3.coloring.Penh4mv5gAg.srt
000058.struc.tp7-3.vertical-857c6f8a582c.connectivity.TIQ3xN38jgM.srt
000059.struc.tp7-3.vertical-a730aa2d96d6.k-connectivity.5wCZqdCDafc.srt
000060.struc.tp8-1.trees.ZEsk64C0fJg.srt
000061.struc.tp8-1.vertical-04923c3ed451.tree-coloring.g2mOvmC1TKc.srt
000062.struc.tp8-1.vertical-2ef65242598f.spanning-trees.RqqzyWDVMA.srt
000063.struc.stable-matching.stable-matching-0.RE5PmdGNgj0.srt
000064.struc.stable-matching.matching-ritual-video.mating-ritual.6vgHIImFwHo.srt
000065.struc.stable-matching.optimal-stable-matching-video.optimal-stable-matching.n4KKgKpp--0.srt
000066.struc.stable-matching.bipartite-matching-video.bipartite-matching-0.HZLKDC9OSaQ.srt
000067.struc.stable-matching.hall-s-theorem-video.hall-s-theorem-0.i5AWE-OoOsY.srt
000068.count.tp8-2.arithmetic-sums.v6axtBS6IF8.srt
000069.count.tp8-2.vertical-46a80f3884d6.geometric-sums.ZDQk45NQbEo.srt
000070.count.tp8-2.vertical-d3f74a0ca5a8.book-stacking.CdhuVhWTSMI.srt
000071.count.tp8-2.vertical-65e8069d3ac4.integral-method.EegG5TPL29c.srt
000072.count.tp8-2.vertical-356e14210c43.stirling-s-formula.lU_QT5GSuxI.srt
000073.count.tp8-3.asymptotic-notation.CWkh5kb4TGc.srt
000074.count.tp8-3.vertical-e35ce9684389.asymptotic-properties.HeyEK0TWiBw.srt
000075.count.tp8-3.vertical-f4d8cd185706.asymptotic-blunders.Y9Blo_G-Mvg.srt
000076.count.tp9-1.sum-and-product-rules.yTrtVwKZkwU.srt
000077.count.tp9-1.vertical-96a6db418419.bijections.n0lce1dMAh8.srt
000078.count.tp9-2.generalized-count-rules.iDfyX8WRIyM.srt
000079.count.tp9-2.vertical-cb7317c8f4ec.two-pair-poker-hands.HswnmlLPGZ4.srt
000080.count.tp9-2.vertical-a7fe1b9ddc0c.binomial-theorem.jwjDj4GoSV0.srt
000081.count.tp9-2.vertical-436d8f042056.bookkeeper-rule-multinomial-theorem.juGgfHsO-xM.srt
000082.count.tp10-1.the-pigeonhole-principle.4Dz4vNUxnZM.srt
000083.count.tp10-1.vertical-6d18e84b97d0.inclusion-exclusion-example.51-b2mgZVNY.srt
000084.count.tp10-1.vertical-d7d25ffeb295.inclusion-exclusion-2-sets.nwpzBE9IwJQ.srt
000085.proba.tp11-2.tree-model.dEsFEK4vnV4.srt
000086.proba.tp11-2.vertical-65858dc50455.simplified-monty-hall-tree.L30HPgryd6I.srt
000087.proba.tp11-2.vertical-7e0be1baca38.sample-spaces.Amd_bNYzgUw.srt
000088.proba.tp12-1.definitions.Cu9_LaaWgHo.srt
000089.proba.tp12-1.vertical-4689ff047559.law-of-total-proba.F3y8qupFfUs.srt
000090.proba.tp12-1.vertical-1f097d8a0a33.bayes-theorem.e-yQFC6dACA.srt
000091.proba.tp12-1.vertical-038350815734.monty-hall-conditional-confusions.BEAv82FinM0.srt
000092.proba.tp12-2.independence.1vQ2x5O_xqk.srt
000093.proba.tp12-2.vertical-9c80216b7495.mutual-independence.wJzBU7Do1ls.srt
000094.proba.tp12-3.bigger-number-game.BH4qlkYCLW0.srt
000095.proba.tp12-3.vertical-af2ad400f984.random-variables-independence.VJzv6WJTtNc.srt
000096.proba.tp12-3.vertical-c596d4103fc3.random-variables-uniform-binomial.L2yOSFsMvnc.srt
000097.proba.tp13-1.expectation.YVQdVzSkcmQ.srt
000098.proba.tp13-1.vertical-07d1783f0da3.expected-number-of-heads.D9l-pIg1Ayo.srt
000099.proba.tp13-1.vertical-6913b2097610.total-expectation.mqoDXWrSais.srt
000100.proba.tp13-1.vertical-e8dee31ddd76.mean-time-to-failure.Dqx56lZ_icg.srt
000101.proba.tp13-1.vertical-49ea207a6233.linearity-of-expectation.KFcodn4qfrQ.srt
000102.proba.tp13-2.deviation-from-the-mean.ALn1McUXg-c.srt
000103.proba.tp13-2.vertical-8307292b80cb.markov-bounds.m07lrb7m0D0.srt
000104.proba.tp13-2.vertical-49f940bfd8d6.chebyshev-bounds.uaa4P-kkLrA.srt
000105.proba.tp13-2.vertical-0646c16ad916.variance.o57CTwt1-ck.srt
000106.proba.tp14-1.law-of-large-numbers.-yo3YxfY47g.srt
000107.proba.tp14-1.vertical-872c5ec0974e.independent-sampling-theorem.MMn7q1M7pGI.srt
000108.proba.tp14-1.vertical-82840a0ba306.birthday-matching.TWVntUfXsKs.srt
000109.proba.tp14-1.vertical-83cee7032f8c.sampling-confidence.Q-6Cw8tYVeY.srt
000110.proba.random-walks-pagerank.random-walks.-j7MoM3P_J8.srt
000111.proba.random-walks-pagerank.stationary-distributions-video.stationary-distributions.iZX8WEGZTVw.srt
000112.proba.random-walks-pagerank.page-rank-video.page-rank.QKO_2WQkZ0k.srt