根岑式演绎

（计算机科学技术）
根岑式演绎（Gentzen-style deduction），计算机科学技术名词，根岑（Gentzen）于1934年提出的证明论中一族用于形式证明的系统，区别于希尔伯特演绎系统，它们对每个联接或量词都有简单明了的推理规则。
知识树
时光轴
论点集
总题库
领域
计算机
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》