Lec 2 | MIT 6.042J Mathematics for Computer Science, Fall 2010

Lec 2 | MIT 6.042J Mathematics for Computer Science, Fall 2010

begin-post-stats

MIT OpenCourseWare • 189K views

end-post-stats begin-duration 1:19:25 end-duration
Math topics:
_Mathematical_terminology_##Mathematical terminology##_Theorem_##Theorem##_Mathematical_proof_##Mathematical proof##_Axiom_##Axiom##_Irrational_numbers_##Irrational numbers##_Pi_##Pi##_Square_root_of_2_##Square root of 2##_Irrational_number_##Irrational number##_Unary_operations_##Unary operations##_Square_(algebra)_##Square (algebra)##_Square_root_##Square root##_Exponentiation_##Exponentiation##_Fractions_(mathematics)_##Fractions (mathematics)##_Rational_number_##Rational number##_Irreducible_fraction_##Irreducible fraction##_Fraction_(mathematics)_##Fraction (mathematics)##_Mathematical_notation_##Mathematical notation##_Plus_and_minus_signs_##Plus and minus signs##_Polish_notation_##Polish notation##_Summation_##Summation##_Mathematical_proofs_##Mathematical proofs##_Mathematical_induction_##Mathematical induction##_Modus_ponens_##Modus ponens##_Proof_by_contradiction_##Proof by contradiction
Other topics:
_Reasoning_##Reasoning##_Argument_##Argument##_Inductive_reasoning_##Inductive reasoning##_Reason_##Reason##_Logic_##Logic##_Logical_consequence_##Logical consequence##_Truth_##Truth##_Idea_##Idea
video-id: z8HKWUWS-lA channel_MIT_OpenCourseWare_