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
26
  • 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
27
  • 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
28
  • 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
29
  • 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
30
  • 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
31
  • 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
32
  • 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
33
  • 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
34
  • 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
35
  • 2.1.1 GCDs & Linear Combinations (M-I-T)
Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
36
  • 2.1.2 Euclidean Algorithm (M-I-T)
Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
37
  • 2.1.4 Pulverizer (M-I-T)
Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
38
  • 2.1.6 Revisiting Die Hard (M-I-T)
Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
39
  • 2.1.7 Prime Factorization (M-I-T)
Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
40
  • 2.10.1 Trees (M-I-T)
Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
41
  • 2.10.3 Tree Coloring (M-I-T)
Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
42
  • 2.10.5 Spanning Trees (M-I-T)
Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
43
  • 2.11.1 Stable Matching (M-I-T)
Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
44
  • 2.11.2 Matching Ritual (M-I-T)
Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
45
  • 2.11.5 Optimal Stable Matching (M-I-T)
Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
46
  • 2.11.7 Bipartite Matching (M-I-T)
Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
47
  • 2.11.9 Hall'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
48
  • 2.2.1 Congruence mod n (M-I-T)
Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
49
  • 2.2.3 Inverses mod n (M-I-T)
Mathematics for Computer Science (Spring 2015) (M-I-T) MIT Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala Applied Sciences
50
  • 2.3.1 Modular Exponentiation Euler's Function (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