Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App-Reference-Cited by-同舟云学术

Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App

Published:2020-06-02 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education
language:
Short-container-title:

Author:

Cerna David¹,Seidl Martina¹,Schreiner Wolfgang¹,Windsteiger Wolfgang¹,Biere Armin¹

Affiliation:

1. Johannes Kepler University, Linz, Austria

Funder

Linz Institute of Technology

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3341525.3387409

Reference21 articles.

1. James Aczel P. Fung Richard Bornat Martin Oliver Tim O'Shea and Bernard Sufrin. 1999. Using computers to learn logic: undergraduates' experiences. 875--882. James Aczel P. Fung Richard Bornat Martin Oliver Tim O'Shea and Bernard Sufrin. 1999. Using computers to learn logic: undergraduates' experiences. 875--882.

2. Serge Autexier Christoph Benzmüller Dominik Dietrich Andreas Meier and Claus-Peter Wirth. 2006. A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. In Mathematical Knowledge Management Michael Kohlhase (Ed.). Springer Berlin Heidelberg Berlin Heidelberg 126--142. Serge Autexier Christoph Benzmüller Dominik Dietrich Andreas Meier and Claus-Peter Wirth. 2006. A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. In Mathematical Knowledge Management Michael Kohlhase (Ed.). Springer Berlin Heidelberg Berlin Heidelberg 126--142.

3. Tiffany Barnes and John Stamper. 2008. Toward Automatic Hint Generation for Logic Proof Tutoring Using Historical Student Data. In Intelligent Tutoring Systems Beverley P. Woolf Esma Aïmeur Roger Nkambou and Susanne Lajoie (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 373--382. Tiffany Barnes and John Stamper. 2008. Toward Automatic Hint Generation for Logic Proof Tutoring Using Historical Student Data. In Intelligent Tutoring Systems Beverley P. Woolf Esma Aïmeur Roger Nkambou and Susanne Lajoie (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 373--382.

4. Mordechai Ben-Ari. 2012. Mathematical Logic for Computer Science 3rd ed.). Springer London. Mordechai Ben-Ari. 2012. Mathematical Logic for Computer Science 3rd ed.). Springer London.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. pseuCo Book;Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1;2022-07-07

2. SeCaV: A Sequent Calculus Verifier in Isabelle/HOL;Electronic Proceedings in Theoretical Computer Science;2022-04-08