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

Datalogisk Institut

Originalsprog	Engelsk
Titel	Improving University Science Teaching and Learning : Pedagogical Projects 2014
Redaktører	Lars Ulriksen, Jan Sølberg
Antal sider	19
Forlag	Department of Science Education, University of Copenhagen
Publikationsdato	2014
Sider	13-31
Kapitel	2
Status	Udgivet - 2014

Navn	Improving University Science Teaching and Learning - Pedagogical Projects
Nummer	1-2
Vol/bind	7
ISSN	1904-2000

Adgang til dokumentet

http://www.ind.ku.dk/publikationer/knud/2014-7/PedagogicalProjects2014.pdfLicens: Ikke-specificeret

Citationsformater

Axelsen, H. B. (2014). Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates. I L. Ulriksen, & J. Sølberg (red.), Improving University Science Teaching and Learning: Pedagogical Projects 2014 (s. 13-31). Department of Science Education, University of Copenhagen. Improving University Science Teaching and Learning - Pedagogical Projects Bind 7 Nr. 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. red. / Lars Ulriksen; Jan Sølberg. Department of Science Education, University of Copenhagen, 2014. s. 13-31 (Improving University Science Teaching and Learning - Pedagogical Projects; Nr. 1-2, Bind 7).

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

Axelsen, HB 2014, Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates. i L Ulriksen & J Sølberg (red), Improving University Science Teaching and Learning: Pedagogical Projects 2014. Department of Science Education, University of Copenhagen, Improving University Science Teaching and Learning - Pedagogical Projects, nr. 1-2, bind 7, s. 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. I Ulriksen L, Sølberg J, red., Improving University Science Teaching and Learning: Pedagogical Projects 2014. Department of Science Education, University of Copenhagen. 2014. s. 13-31. (Improving University Science Teaching and Learning - Pedagogical Projects; Nr. 1-2, Bind 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. red. / Lars Ulriksen ; Jan Sølberg. Department of Science Education, University of Copenhagen, 2014. s. 13-31 (Improving University Science Teaching and Learning - Pedagogical Projects; Nr. 1-2, Bind 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 -