zum Inhalt springen

寄存器机

寄存器机是一个非常便利的可计算性概念,它是由原明斯特大学数理逻辑与基础研究院主任迪特·霍丁教授(博士)根据已有的概念开发出来的。而后,原奥斯纳布吕克大学认知数学院主任艾尔玛·柯赫斯·福瑞森堡教授(博士),通过引入子程序对寄存器机进行了扩展。这些在演绎递归处理或在学校的功能介绍等实践中被证明是非常有用的。

在科隆大学,师范生(小学、SEKI、特殊教育方向)会了解寄存器机的概念,这是数学信息科学基础的一部分。从数学/信息科学教育的角度来看,重要的是,寄存器机和可灵巧处理的递归都是用功能逻辑思维易推断的概念,而不是用谓词逻辑思维。

使用JavaScript的寄存器机

该软件在斯特芬·弗格尔的主要参与下,由科隆大学认知数学/信息科学工作组开发。反馈请联系英格·施万克教授(博士)

寄存器机的线上版本能在绝大多数支持JavaScript的现代浏览器中运行。

开始寄存器机(JavaScript)