首页> 外文会议>International Congress on Tools for Teaching Logic >PANDA: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students

【24h】

PANDA: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students

机译：熊猫：全部自然扣除的证据助手。本科生的绅士风格典型助理

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present a proof assistant in Natural Deduction for undergraduate students. The system is interactive: you can combine, delete, modify proofs with a easy-to-use graphical interface. We discuss the pedagogical benefit of this tool.

机译：我们为本科生自然扣除举证助理。系统是Interactive：您可以使用易于使用的图形界面组合，删除，修改证明。我们讨论了这个工具的教学利益。

著录项

来源
《International Congress on Tools for Teaching Logic 》|2011年||共8页
会议地点
作者
Olivier Gasquet; Francois Schwarzentruber; Martin Strecker;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP18-53;
关键词
Teaching logic in computer science; Gentzen style natural deduction; Interactive provers;

机译：计算机科学教学逻辑;绅士风格自然扣;互动普通人;

相似文献

外文文献
专利

1. Translations Between Gentzen-Prawitz and Jaskowski-Fitch Natural Deduction Proofs [J] . Standefer Shawn Studia Logica . 2019 ,第6期

机译：Gentzen-Prawitz和Jaskowski-Fitch自然扣除证明的翻译
2. A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs [J] . Tuan Minh Pham, Yves Bertot Electronic Notes in Theoretical Computer Science . 2012 ,第3期

机译：动态几何软件与用于交互式形式证明的证明助手的组合
3. Simplifying Proofs in Fitch-Style Natural Deduction Systems [J] . KONSTANTINE ARKOUDAS Journal of Automated Reasoning . 2005 ,第3期

机译：惠誉风格自然演绎系统中的简化证明
4. PANDA: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students [C] . Olivier Gasquet, Francois Schwarzentruber, Martin Strecker International Congress on Tools for Teaching Logic . 2011

机译：熊猫：全部自然扣除的证据助手。本科生的绅士风格典型助理
5. Reducing the Costs of Proof Assistant Based Formal Verification or: Conviction without the Burden of Proof. [D] . Tatlock, Zachary Lee. 2014

机译：降低基于证明助手的形式验证的成本或：无需证明负担的定罪。
6. GP-support by means of AGnES-practice assistants and the use of telecare devices in a sparsely populated region in Northern Germany – proof of concept [O] . Neeltje van den Berg, Thomas Fiß, Claudia Meinke, 2009

机译：在德国北部人烟稀少的地区通过AGnES练习助手提供的GP支持以及远程医疗设备的使用–概念证明
7. Correctness and availability : building computer algebra on top of proof assistants and making proof assistants available over the Web [O] . Kaliszyk C.S. 2009

机译：正确性和可用性：在证明助手的顶部构建计算机代数，并通过Web提供证明助手
8. Conversion of Resolution Proofs into Natural Deduction Proofs [R] . Bosma, H. 1990

机译：将分辨率证明转换为自然演绎证明

PANDA: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students

摘要

著录项

相似文献

相关主题

期刊订阅