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

Holger Bock Axelsen

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

Holger Bock Axelsen

Department of Computer Science

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

Access to Document

http://www.ind.ku.dk/publikationer/knud/2014-7/PedagogicalProjects2014.pdfLicence: Unspecified

Cite this

Axelsen, H. B. (2014). Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates. In L. Ulriksen, & J. Sølberg (Eds.), Improving University Science Teaching and Learning: Pedagogical Projects 2014 (pp. 13-31). Department of Science Education, University of Copenhagen. Improving University Science Teaching and Learning - Pedagogical Projects Vol. 7 No. 1-2 http://www.ind.ku.dk/publikationer/knud/2014-7/PedagogicalProjects2014.pdf

Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates. / Axelsen, Holger Bock.

Improving University Science Teaching and Learning: Pedagogical Projects 2014. ed. / Lars Ulriksen; Jan Sølberg. Department of Science Education, University of Copenhagen, 2014. p. 13-31 (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

Axelsen, HB 2014, Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates. in L Ulriksen & J Sølberg (eds), Improving University Science Teaching and Learning: Pedagogical Projects 2014. Department of Science Education, University of Copenhagen, Improving University Science Teaching and Learning - Pedagogical Projects, no. 1-2, vol. 7, pp. 13-31. <http://www.ind.ku.dk/publikationer/knud/2014-7/PedagogicalProjects2014.pdf>

Axelsen HB. Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates. In Ulriksen L, Sølberg J, editors, Improving University Science Teaching and Learning: Pedagogical Projects 2014. Department of Science Education, University of Copenhagen. 2014. p. 13-31. (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).

Axelsen, Holger Bock. / Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates. Improving University Science Teaching and Learning: Pedagogical Projects 2014. editor / Lars Ulriksen ; Jan Sølberg. Department of Science Education, University of Copenhagen, 2014. pp. 13-31 (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).

@inbook{6dbd880eca0246beae03271586024fa1,

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

author = "Axelsen, {Holger Bock}",

year = "2014",

language = "English",

series = "Improving University Science Teaching and Learning - Pedagogical Projects",

number = "1-2",

pages = "13--31",

editor = "Lars Ulriksen and Jan S{\o}lberg",

booktitle = "Improving University Science Teaching and Learning",

publisher = "Department of Science Education, University of Copenhagen",

}

TY - CHAP

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

AU - Axelsen, Holger Bock

PY - 2014

Y1 - 2014

M3 - Book chapter

T3 - Improving University Science Teaching and Learning - Pedagogical Projects

SP - 13

EP - 31

BT - Improving University Science Teaching and Learning

A2 - Ulriksen, Lars

A2 - Sølberg, Jan

PB - Department of Science Education, University of Copenhagen

ER -