Use of a proof assistant as a learning tool in an introductory logic course for computer science undergraduates

Authors

  • Holger Bock Axelsen

Keywords:

proof assistant, learning tool, introductory, logic course, computer science, solutions, feedback

Abstract

-

Downloads

Published

2023-06-19

How to Cite

Bock Axelsen, H. (2023). Use of a proof assistant as a learning tool in an introductory logic course for computer science undergraduates. Improving University Science Teaching and Learning, 7(1-2). Retrieved from https://tidsskrift.dk/IUSTL/article/view/137992

Issue

Vol. 7 No. 1-2 (2014): Improving University Science Teaching and Learning - Pedagogical Projects 2014

Section

Volume 7 - 2014

License

Counting from volume 19 (2023), articles published in IUSTL are licensed under Creative Commons Attribution-NonCommercial 4.0 International License. The editorial board may accept other Creative Commons licenses for individual articles, if required by authors.

Articles in volume 1-18 are not licensed under Creative Commons. In these volumes, all rights are reserved to the authors. This implies that readers can download, read, and link to the articles, but they cannot republish the articles. Authors can upload their articles in an institutional repository as a part of a green open access policy.