首页 > 师资培训 > 精品课程
课题:人工智能与自动推理
主讲人:郁文生-教授
北京邮电大学
年度10次直播,96学时培训证书,仅需¥2800元/年

课程内容包含人工智能的发展回顾、机器证明中的多项式代数方法、基于Coq 的数学形式化证明等。详细绍了机器证明中的多项式代数方法,以及在信息科学中的若干应用。用基于Coq的机器证明系统阐述了形式化工具Coq、数学形式化相关工程促进了人工智能领域的发展。

首页 > 师资培训 > 精品课程
课题:人工智能与自动推理
主讲人:郁文生-教授
学校:北京邮电大学
年度10次直播,96学时培训证书,仅需¥2800元/年
立即参加 免费试看

课程内容包含人工智能的发展回顾、机器证明中的多项式代数方法、基于Coq 的数学形式化证明等。详细绍了机器证明中的多项式代数方法,以及在信息科学中的若干应用。用基于Coq的机器证明系统阐述了形式化工具Coq、数学形式化相关工程促进了人工智能领域的发展。