Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
| Original language | English |
|---|---|
| Title of host publication | Improving University Science Teaching and Learning : Pedagogical Projects 2014 |
| Editors | Lars Ulriksen, Jan Sølberg |
| Number of pages | 19 |
| Publisher | Department of Science Education, University of Copenhagen |
| Publication date | 2014 |
| Pages | 13-31 |
| Chapter | 2 |
| Publication status | Published - 2014 |
| Series | Improving University Science Teaching and Learning - Pedagogical Projects |
|---|---|
| Number | 1-2 |
| Volume | 7 |
| ISSN | 1904-2000 |
Links
- https://www.ind.ku.dk/publikationer/knud/2014-7/PedagogicalProjects2014.pdf
Final published version
ID: 143079570