CAL: A Computer Assisted Learning System for Computation and Logic
CAL: A Computer Assisted Learning System for Computation and Logic
复制标题
CAL：计算和逻辑的计算机辅助学习系统
DOI：
10.1007/3-540-45654-6_40
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
Izumi Takeuti
中科院分区：
文献类型：
--
作者：
M. Sato;Yukiyoshi Kameyama;Izumi Takeuti
本文描述了一个计算机系统CAL，它能帮助学生理解逻辑与计算课程。本文从Martin-Lof [6]的表达式理论出发，提出了一种新的表达式基础理论，并利用该理论确定的表达式实现了CAL中的各种语法对象，同时引入了派生博弈的概念，证明了本课程中给出的各种逻辑和计算系统都可以用派生博弈统一定义.
In this paper, we describe a computer system CAL which assists students' understanding of a lecture course in logic and computation. We introduce a new foundational theory of expressions, which is inspired by the theory of expressions due to Martin-Lof [6], and use the expressions determined by the theory to implement various syntactic objects in CAL. We also introduce the concept of derivation game, and show that various logical and computational systems given in the lecture course can be defined uniformly by derivation games.