LEJ Knowledge Hub

Lecture

Right Arrow

SEARCH COURSES / LECTURES

Left Arrow

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.10.1 Recursive Data (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.10.4 Structural 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
6
  • 1.10.7 Recursive Functions (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.11.1 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
8
  • 1.11.11 Set Theory Axioms [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
9
  • 1.11.3 Countable Sets (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.11.4 Cantor's Theorem (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.11.7 The Halting Problem [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
12
  • 1.11.9 Russell's Paradox (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.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
14
  • 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
15
  • 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
16
  • 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
17
  • 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
18
  • 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
19
  • 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
20
  • 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
21
  • 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
22
  • 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
23
  • 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
24
  • 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
25
  • 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

Basic and Health Sciences

Applied Sciences

Social Sciences