| S# |
Lecture |
Course |
Institute |
Instructor |
Discipline |
| 51 |
2.6.5 Time versus Processors (M-I-T)
|
Mathematics for Computer Science (Spring 2015) (M-I-T)
|
MIT
|
Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala
|
Applied Sciences
|
| 52 |
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
|
| 53 |
2.7.1 Partial Orders (M-I-T)
|
Mathematics for Computer Science (Spring 2015) (M-I-T)
|
MIT
|
Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala
|
Applied Sciences
|
| 54 |
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
|
| 55 |
2.7.3 Representing Partial Orders As Subset 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
|
| 56 |
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
|
| 57 |
2.7.4 Equivalence 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
|
| 58 |
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
|
| 59 |
|
Mathematics for Computer Science (Spring 2015) (M-I-T)
|
MIT
|
Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala
|
Applied Sciences
|
| 60 |
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
|
| 61 |
2.8.3 Isomorphism (M-I-T)
|
Mathematics for Computer Science (Spring 2015) (M-I-T)
|
MIT
|
Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala
|
Applied Sciences
|
| 62 |
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
|
| 63 |
|
Mathematics for Computer Science (Spring 2015) (M-I-T)
|
MIT
|
Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala
|
Applied Sciences
|
| 64 |
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
|
| 65 |
2.9.3 Connectivity (M-I-T)
|
Mathematics for Computer Science (Spring 2015) (M-I-T)
|
MIT
|
Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala
|
Applied Sciences
|
| 66 |
2.9.4 k-Connectivity (M-I-T)
|
Mathematics for Computer Science (Spring 2015) (M-I-T)
|
MIT
|
Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala
|
Applied Sciences
|
| 67 |
3.1.1 Arithmetic Sums (M-I-T)
|
Mathematics for Computer Science (Spring 2015) (M-I-T)
|
MIT
|
Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala
|
Applied Sciences
|
| 68 |
3.1.3 Geometric Sums (M-I-T)
|
Mathematics for Computer Science (Spring 2015) (M-I-T)
|
MIT
|
Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala
|
Applied Sciences
|
| 69 |
3.1.5 Book Stacking (M-I-T)
|
Mathematics for Computer Science (Spring 2015) (M-I-T)
|
MIT
|
Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala
|
Applied Sciences
|
| 70 |
3.1.7 Integral Method (M-I-T)
|
Mathematics for Computer Science (Spring 2015) (M-I-T)
|
MIT
|
Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala
|
Applied Sciences
|
| 71 |
3.1.9 Stirling's Formula (M-I-T)
|
Mathematics for Computer Science (Spring 2015) (M-I-T)
|
MIT
|
Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala
|
Applied Sciences
|
| 72 |
3.2.1 Asymptotic Notation (M-I-T)
|
Mathematics for Computer Science (Spring 2015) (M-I-T)
|
MIT
|
Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala
|
Applied Sciences
|
| 73 |
3.2.3 Asymptotic Properties (M-I-T)
|
Mathematics for Computer Science (Spring 2015) (M-I-T)
|
MIT
|
Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala
|
Applied Sciences
|
| 74 |
3.3.3 Counting with Bijections (M-I-T)
|
Mathematics for Computer Science (Spring 2015) (M-I-T)
|
MIT
|
Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala
|
Applied Sciences
|
| 75 |
3.2.6 Asymptotic Blunders (M-I-T)
|
Mathematics for Computer Science (Spring 2015) (M-I-T)
|
MIT
|
Prof. Dr. Albert R. Meyer, Prof. Dr. Adam Chlipala
|
Applied Sciences
|