000001.MIT6_042JS15_welcome_6042S15_ipod.mp4
000002.MIT6_042JS15_proof1_ipod.mp4
000003.MIT6_042JS15_proof2_ipod.mp4
000004.MIT6_042JS15_contradiction_ipod.mp4
000005.MIT6_042JS15_cases_ipod.mp4
000006.MIT6_042JS15_wellordering1_ipod.mp4
000007.MIT6_042JS15_wellordering2_ipod.mp4
000008.MIT6_042JS15_wellordering3b_ipod.mp4
000009.MIT6_042JS15_props_and_ops_ipod.mp4
000010.MIT6_042JS15_digital_logic_ipod.mp4
000011.MIT6_042JS15_truth_tables_ipod.mp4
000012.MIT6_042JS15_predicatelogic1_ipod.mp4
000013.MIT6_042JS15_predicatelogic2_ipod.mp4
000014.MIT6_042JS15_predicatelogic3_ipod.mp4
000015.MIT6_042JS15_sets_def_ipod.mp4
000016.MIT6_042JS15_set_ops_ipod.mp4
000017.MIT6_042JS15_relations_ipod.mp4
000018.MIT6_042JS15_mapping_lemma_ipod.mp4
000019.MIT6_042JS15_finitecardinality_ipod.mp4
000020.MIT6_042JS15_induction_ipod.mp4
000021.MIT6_042JS15_bogusinduction_ipod.mp4
000022.MIT6_042JS15_stronginduction_ipod.mp4
000023.MIT6_042JS15_WOPvsInduction_ipod.mp4
000024.MIT6_042JS15_statemachines_ipod.mp4
000025.MIT6_042JS15_derivedvariables_ipod.mp4
000026.MIT6_042JS15_recursivedata_ipod.mp4
000027.MIT6_042JS15_structuralinduction_ipod.mp4
000028.MIT6_042JS15_recursivefunctions_ipod.mp4
000029.MIT6_042JS15_cardinality_ipod.mp4
000030.MIT6_042JS15_countable_ipod.mp4
000031.MIT6_042JS15_cantor_ipod.mp4
000032.MIT6_042JS15_haltingproblem_s13_ipod.mp4
000033.MIT6_042JS15_Russell_paradox_ipod.mp4
000034.MIT6_042JS15_ZF_ipod.mp4
000035.MIT6_042JS15_gcd_def_ipod.mp4
000036.MIT6_042JS15_gcd_def_ipod.mp4
000037.MIT6_042JS15_gcd_euclid_ipod.mp4
000038.MIT6_042JS15_pulverizer_ipod.mp4
000039.MIT6_042JS15_diehardprimes_ipod.mp4
000040.MIT6_042JS15_unique_factorization_ipod.mp4
000041.MIT6_042JS15_congruence_ipod.mp4
000042.MIT6_042JS15_inversesmodn_ipod.mp4
000043.MIT6_042JS15_phi_ipod.mp4
000044.MIT6_042JS15_zmodn_ipod.mp4
000045.MIT6_042JS15_rsa_ipod.mp4
000046.MIT6_042JS15_sat_factors_video_ipod.mp4
000047.MIT6_042JS15_digraphs_ipod.mp4
000048.MIT6_042JS15_connected_ipod.mp4
000049.MIT6_042JS15_dags_video_ipod.mp4
000050.MIT6_042JS15_scheduling_ipod.mp4
000051.MIT6_042JS15_paralleltime_ipod.mp4
000052.MIT6_042JS15_partialorderpt_ipod.mp4
000053.MIT6_042JS15_reppo_ipod.mp4
000054.MIT6_042JS15_equivalence_ipod.mp4
000055.MIT6_042JS15_simpledegrees_video_ipod.mp4
000056.MIT6_042JS15_simple_isomorphism_video_ipod.mp4
000057.MIT6_042JS15_simplecoloring_video_ipod.mp4
000058.MIT6_042JS15_simpleconnect_video_ipod.mp4
000059.MIT6_042JS15_simple_kconnect_ipod.mp4
000060.MIT6_042JS15_treedefs_video_ipod.mp4
000061.MIT6_042JS15_treecoloring_video_ipod.mp4
000062.MIT6_042JS15_spanningtrees_video_ipod.mp4
000063.MIT6_042JS15_stablematch_video2_ipod.mp4
000064.MIT6_042JS15_stableritual_video_ipod.mp4
000065.MIT6_042JS15_stableoptimal_ipod.mp4
000066.MIT6_042JS15_bipartitematch_video_ipod.mp4
000067.MIT6_042JS15_halltheorem_ipod.mp4
000068.MIT6_042JS15_arithmeticsum_video_ipod.mp4
000069.MIT6_042JS15_geometricsum_video_ipod.mp4
000070.MIT6_042JS15_bookstack_video_ipod.mp4
000071.MIT6_042JS15_integralsum_video_ipod.mp4
000072.MIT6_042JS15_stirling_video_ipod.mp4
000073.MIT6_042JS15_asymptoticnotation_ipod.mp4
000074.MIT6_042JS15_asymptoticproperties_ipod.mp4
000075.MIT6_042JS15_asymptoticblunders_video_ipod.mp4
000076.MIT6_042JS15_rulescount_video_ipod.mp4
000077.MIT6_042JS15_bijectioncount_video_ipod.mp4
000078.MIT6_042JS15_genprod_video_ipod.mp4
000079.MIT6_042JS15_count2pair_video_ipod.mp4
000080.MIT6_042JS15_binomialtheorem_ipod.mp4
000081.MIT6_042JS15_bookkeeper_ipod.mp4
000082.MIT6_042JS15_pigeonhole_video_ipod.mp4
000083.MIT6_042JS15_incexc6042_video_ipod.mp4
000084.MIT6_042JS15_incexc2set_video_ipod.mp4
000085.MIT6_042JS15_probintro_video_ipod.mp4
000086.MIT6_042JS15_simplemonty_video_ipod.mp4
000087.MIT6_042JS15_probspace_video_ipod.mp4
000088.MIT6_042JS15_probcond_video_ipod.mp4
000089.MIT6_042JS15_probtotal_video_ipod.mp4
000090.MIT6_042JS15_probbayes_video_ipod.mp4
000091.MIT6_042JS15_probcondmonty_video_ipod.mp4
000092.MIT6_042JS15_probindep_video_ipod.mp4
000093.MIT6_042JS15_probmutual_video_ipod.mp4
000094.MIT6_042JS15_ranvarbigger_video_ipod.mp4
000095.MIT6_042JS15_ranvarindep_video_ipod.mp4
000096.MIT6_042JS15_ranvarbinom_video_ipod.mp4
000097.MIT6_042JS15_expectintro_video_ipod.mp4
000098.MIT6_042JS15_expectheads_video_ipod.mp4
000099.MIT6_042JS15_expecttotal_video_ipod.mp4
000100.MIT6_042JS15_expectfail_video_ipod.mp4
000101.MIT6_042JS15_expectlinear_video_ipod.mp4
000102.MIT6_042JS15_deviation_intro_ipod.mp4
000103.MIT6_042JS15_deviationmarkov_video_ipod.mp4
000104.MIT6_042JS15_deviationchebyshev_video_ipod.mp4
000105.MIT6_042JS15_deviationvariance_video_ipod.mp4
000106.MIT6_042JS15_largenumbers_video_ipod.mp4
000107.MIT6_042JS15_pairwisesample_video_ipod.mp4
000108.MIT6_042JS15_birthday_video_ipod.mp4
000109.MIT6_042JS15_confidence_video_ipod.mp4
000110.MIT6_042JS15_random_walks_ipod.mp4
000111.MIT6_042JS15_stable_distribution_ipod.mp4
000112.MIT6_042JS15_pagerank_ipod.mp4