Iltis is an interactive, web-based system for teaching logic. It is designed to provide immediate and comprehensive feedback for exercises covering various aspects of the reasoning workflow. This poster presentation reports on new exercises and feedback mechanisms for modal and first-order logic.

References

[1]

María Antonia and Huertas Sánchez. 2011. A classification of tools for learning logic. http://hdl.handle.net/10609/6501

Google Scholar

[2]

Computing Research Association. 2017. Generation CS: Computer Science Undergraduate Enrollments Surge Since 2006. http://cra.org/data/generation-cs

Google Scholar

[3]

Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken, and Thomas Zeume. 2018. Introduction to Iltis: an interactive, web-based system for teaching logic. In ITiCSE 2018. 141--146.

Digital Library

Google Scholar

[4]

Josje Lodder and Bastiaan Heeren. 2011. A Teaching Tool for Proving Equivalences between Logical Formulae. In Tools for Teaching Logic. 154--161.

Digital Library

Google Scholar

[5]

The Iltis project. March 2019. https://iltis.cs.tu-dortmund.de

Google Scholar

Index Terms

Teaching Logic with Iltis: an Interactive, Web-Based System
1. Applied computing
  1. Education
    1. Interactive learning environments
2. Theory of computation
  1. Logic

Recommendations

Introduction to Iltis: an interactive, web-based system for teaching logic
ITiCSE 2018: Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education

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 ...
An embedding of the ACL2 logic in HOL
ACL2 '06: Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications

We describe an embedding of the ACL2 logic into higher-order logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers.
Evidence Algorithm and Inference Search in First-Order Logics

In the early 1970s, in Kiev, research on automated theorem proving started in the framework of the so-called Evidence Algorithm (EA) programme, having some general features with the Mizar project and, in particular, being oriented to the development of ...

Comments

Information & Contributors

Information

Published In

ITiCSE '19: Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education

July 2019

583 pages

ISBN:9781450368957

DOI:10.1145/3304221

General Chairs:
Bruce Scharlau
University of Aberdeen, UK
,
Roger McDermott
Robert Gordon University, UK
,
Program Chairs:
Arnold Pears
KTH Royal Institute of Technology, Sweden
,
Mihaela Sabin
University of New Hampshire, USA

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 July 2019

Check for updates

Author Tags

Qualifiers

Poster

Funding Sources

Stifterverband

Conference

ITiCSE '19

Sponsor:

SIGCSE

ITiCSE '19: Innovation and Technology in Computer Science Education

July 15 - 17, 2019

Aberdeen, Scotland Uk

Acceptance Rates

Overall Acceptance Rate 552 of 1,613 submissions, 34%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
111
Total Downloads

Downloads (Last 12 months)14
Downloads (Last 6 weeks)2

Reflects downloads up to 23 Dec 2024

Other Metrics

View Author Metrics

Citations

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Index Terms

Recommendations

Introduction to Iltis: an interactive, web-based system for teaching logic

An embedding of the ACL2 logic in HOL

Evidence Algorithm and Inference Search in First-Order Logics