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

Forfattere

  • Holger Bock Axelsen

Nøgleord:

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

Resumé

-

Downloads

Publiceret

19-06-2023

Citation/Eksport

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). Hentet fra https://tidsskrift.dk/IUSTL/article/view/137992

Nummer

Årg. 7 Nr. 1-2 (2014): Improving University Science Teaching and Learning - Pedagogical Projects 2014

Sektion

Volume 7 - 2014

Licens

Fra og med årgang 19 (2023) er artikler udgivet i IUSTL udgivet med Creative Commons Navngivelse –Ikke-kommerciel (by-nc) licens. Redaktionen kan godkende andre Creative Commons Licencer for enkelte artikler, hvis forfatteren har anmodet om det.

Artikler i årgangene 1-18 er ikke udgivet under Creative Commons licens. I disse udgivelser tilfalder alle rettigheder forfatteren. Det betyder, at læsere kan downloade, læse og linke til artiklerne, men de kan ikke genudgive artiklerne. Forfatterne kan uploade deres artikler i et institutionsrepositiry som led i en grøn open access politik.