Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010 Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010 begin-post-stats MIT OpenCourseWare • 560K views end-pos... +0 Analytic number theory Elementary geometry Logic Mathematical logic Mathematical proofs Number theory So What Learning January 22, 2018
Topic 24 C NP Complete Problems Topic 24 C NP Complete Problems begin-post-stats UHMICSAlgorithms • 32K views end-post-stats begin-duration 24:47... +0 Boolean algebra Computational problems Logic Mathematics Np-complete problems Syntax (logic) So What Learning January 19, 2018
Introduction to P and NP Introduction to P and NP begin-post-stats UCDavis • 56K views end-post-stats begin-duration 50:08 end-duration ... +0 Algebra Computational complexity theory Computational problems in graph theory Mathematical logic Philosophy of logic Set theory Structural complexity theory So What Learning January 21, 2018
Lecture 1 - Propositional Logic Lecture 1 - Propositional Logic begin-post-stats nptelhrd • 803K views end-post-stats begin-duration 56:48 end-du... +0 Abstraction Boolean algebra Discrete mathematics Logic Logical connectives Propositional calculus Syntax (logic) Theorems So What Learning January 22, 2018