SEARCH COURSES

Mathematics for Computer Science (Spring 2015) (M-I-T)

(111 Lectures Available)


S# Lecture Course Institute Instructor Discipline
1 1.1.1 Welcome to 6.042 (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
2 1.1.2 Intro to Proofs: Part 1 (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
3 1.1.3 Intro to Proofs: Part 2 (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
4 1.2.1 Proof by Contradiction (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
5 1.2.3 Proof by Cases (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
6 1.3.1 Well Ordering Principle 1 (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
7 1.3.3 Well Ordering Principle 2 (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
8 1.3.5 Well Ordering Principle 3 (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
9 1.4.1 Propositional Operators (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
10 1.4.3 Digital Logic (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
11 1.4.4 Truth Tables (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
12 1.5.1 Predicate Logic 1 (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
13 1.5.2 Predicate Logic 2 (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
14 1.5.4 Predicate Logic 3 (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
15 1.6.1 Sets Definitions (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
16 1.6.2 Sets Operations (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
17 1.7.1 Relations (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
18 1.7.3 Relational Mappings (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
19 1.7.5 Finite Cardinality (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
20 1.8.1 Induction (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
21 1.8.2 Bogus Induction (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
22 1.8.4 Strong Induction (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
23 1.8.6 WOP vs Induction [optional] (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
24 1.9.1 State Machines Invariants (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
25 1.9.3 Derived Variables (M-I-T) Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences

of 5 111 Lectures Available.