Index of /~tallpik3/caption/6042S15

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