• 已选条件：
  • × Mathematics for Computer Scienc
 全选  【符合条件的数据共：72条】

1 35 4.8 Random Walks & Pagerank Random Walks [开放课件]

授课人:Prof. Albert R. Meyer,Prof. Adam Chlipala

课程:Mathematics for Computer Science,

关键词:

发布机构:

使用许可:CC BY-NC-SA

预览  |  原文链接  |  全文  [ 浏览：0 下载：0  ]    

2 12 2.1 GCDs GCDs and Linear Combinations [开放课件]

授课人:Prof. Albert R. Meyer,Prof. Adam Chlipala

课程:Mathematics for Computer Science,

关键词:

发布机构:

使用许可:CC BY-NC-SA

预览  |  原文链接  |  全文  [ 浏览：0 下载：0  ]    

3 9 1.9 State Machines - Invariants State Machine Invariants [开放课件]

授课人:Prof. Albert R. Meyer,Prof. Adam Chlipala

课程:Mathematics for Computer Science,

关键词:

发布机构:

使用许可:CC BY-NC-SA

预览  |  原文链接  |  全文  [ 浏览：0 下载：0  ]    

4 33 4.6 Deviation: Markov & Chebyshev Bounds Deviation From The Mean [开放课件]

授课人:Prof. Albert R. Meyer,Prof. Adam Chlipala

课程:Mathematics for Computer Science,

关键词:

发布机构:

使用许可:CC BY-NC-SA

预览  |  原文链接  |  全文  [ 浏览：0 下载：0  ]    

5 4 Predicate Logic [开放课件]

授课人:Prof. Ronitt Rubinfeld,Prof. Albert R. Meyer

课程:Mathematics for Computer Science,

关键词:

发布机构:

使用许可:CC BY-NC-SA

预览  |  原文链接  |  全文  [ 浏览：0 下载：0  ]    

6 36 Variance [开放课件]

授课人:Prof. Ronitt Rubinfeld,Prof. Albert R. Meyer

课程:Mathematics for Computer Science,

关键词:

发布机构:

使用许可:CC BY-NC-SA

预览  |  原文链接  |  全文  [ 浏览：0 下载：0  ]