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

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

课程:Mathematics for Computer Science,

关键词:

发布机构:

使用许可:CC BY-NC-SA

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

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

课程:Mathematics for Computer Science,

关键词:

发布机构:

使用许可:CC BY-NC-SA

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

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

课程:Mathematics for Computer Science,

关键词:

发布机构:

使用许可:CC BY-NC-SA

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

授课人: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  ]