P6 bachelor projekt
Projekttitel
Konstruktiv matematik
Emne
Konstruktiv intuitionistisk fuldstændighed
Projektperiode
Foråret 2013
Projektgruppe
D602F13
Vejleder
Hans Hüttel
Censor
Stig Andur Pedersen
Gruppemedlemmer
Daniel Hillerström
Mathias R. Pedersen
Projektet blev afsluttet d. 27. juni 2013.
Download af projektmateriale
Rapporten
i pdf-format.
Kildekoden
pakket ned i et tar.gz-arkiv. Vejledningen findes
her
.
Præsentationen
i pdf-format.
Forside
wordlet'en
som jpg-fil.
Eksterne henvisninger
I rapporten benytter vi
Paul Taylors bevismakroer
.
Dirk van Dalens
hjemmeside
ved Utrecht Universitet.
Besøg
Aalborg Universitet
.
