形式化方法导引(黄文超) 2021春 2021-06-05 13:52

本门课程大概讲述的是形式化方法(Formal Methods)的一部分具体地说,是SAT/SMT Solver (DPLL & CDCL算法, Z3)和Model Checking(LTL, CTL逻辑, Fix-point, ROBDD, NuSMV)最后一节课简单介绍了ProVerif, Dol >>更多

武术II(李波) 2021春 2021-06-03 16:56

以为是那种强度比较大的武术,结果是类似太极拳的养生操 >>更多

西方哲学名著导读(张贵红) 2021春 2021-05-28 20:46

个人感觉老师讲课一般,绝大部分时间在推荐书,没有很深入的讲解附上写小论文发现的古代哲学公开课(英文)https://www.youtube.com/playlist?list=PLSvsx8116eZjRuC0qaZ5UEhybCsYpA-1j >>更多

farmerzhang1

  • 简介:
  • 博客: 暂无
  • 关注了 26
  • 被关注 0
  • 关注了 10 门课程
  • 点评了 11 门课程