Introduction to Iltis: an interactive, web-based system for teaching logic
Introduction to Iltis: an interactive, web-based system for teaching logic
复制标题
Iltis 简介：一个基于网络的交互式逻辑教学系统
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Thomas Zeume
中科院分区：
文献类型：
--
作者：
Gaetano Geck;Artur Ljulin;Sebastian Peter;Jonas Schmidt;Fabian Vehlken;Thomas Zeume
逻辑是许多现代计算机科学领域的基础。在人工智能中，作为数据库查询语言的基础，以及在正式的软件和硬件验证中--使用逻辑形式主义对场景建模并推断新知识是未来计算机科学家的重要技能。ILTIS项目旨在提供一个基于网络的、支持教学逻辑方法的交互系统。特别是，该系统应(A)支持使用命题逻辑、模式逻辑和一阶逻辑来学习建模知识和推断新知识，以及(B)向学生提供即时反馈和支持。本文给出了一个目前支持上述命题逻辑任务的原型系统。报告了它在计算机科学专业二年级逻辑课程中使用的第一印象。
Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware verification — modelling scenarios using logical formalisms and inferring new knowledge are important skills for going-to-be computer scientists. The Iltis project aims at providing a web-based, interactive system that supports teaching logical methods. In particular the system shall (a) support to learn to model knowledge and to infer new knowledge using propositional logic, modal logic and first-order logic, and (b) provide immediate feedback and support to students. This article presents a prototypical system that currently supports the above tasks for propositional logic. First impressions on its use in a second year logic course for computer science students are reported.