课题基金 / 基金详情

Toward a practical, mechanically checkable reasoning environment

Toward a practical, mechanically checkable reasoning environment
走向实用的、可机械检查的推理环境
批准号：
9207-2008
负责人：
Rudnicki, Piotr
金额：
$1.17万
依托单位：
University of Alberta
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2009
资助国家：
加拿大
项目状态：
已结题
起止时间：
2009-01-01 至 2010-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=420778
关键词：
Towardpracticalmechanicallycheckablereasoning

项目摘要

项目成果

Rudnicki, Piotr的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Rigorous mathematical techniques find more and more applications in specification and development of complex systems. Automating the process of checking that the mathematics has been properly used is desirable not only in applications but in conducting mathematical research. This leads to the grand idea of building a computerized verification system that represents all important mathematical knowledge and techniques. For more than three decades, I have been involved in a project named Mizar that has attempted to build a modest, trial version of such a system.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Toward a practical, mechanically checkable reasoning environment
  • 批准号：
    9207-2008
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.17万
  • 财政年份：
    2012
  • 负责人：
    Rudnicki, Piotr
  • 依托单位：
    University of Alberta
Toward a practical, mechanically checkable reasoning environment
  • 批准号：
    9207-2008
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.17万
  • 财政年份：
    2011
  • 负责人：
    Rudnicki, Piotr
  • 依托单位：
    University of Alberta
Toward a practical, mechanically checkable reasoning environment
  • 批准号：
    9207-2008
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.17万
  • 财政年份：
    2010
  • 负责人：
    Rudnicki, Piotr
  • 依托单位：
    University of Alberta
Toward a practical, mechanically checkable reasoning environment
  • 批准号：
    9207-2008
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.17万
  • 财政年份：
    2008
  • 负责人：
    Rudnicki, Piotr
  • 依托单位：
    University of Alberta
国内基金
海外基金
Lagrange网络实用同步的不连续控制研究
  • 批准号：
    61603174
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    20.0万元
  • 批准年份：
    2016
  • 负责人：
    马米花
  • 依托单位：
    闽南师范大学