| Kursusnavn (dansk): | 032003/246 Curry-Howard Isomorfien |
| Kursusnavn (engelsk): | Curry-Howard Isomorfien |
| Semester: | Efterår 2003 |
| Udbydes under: | cand.it., internet- og softwareteknologi (int) |
| Omfang i ECTS: | 5,00 |
| Kursussprog: | Engelsk |
| Kursushjemmeside: | https://learnit.itu.dk |
| Min. antal deltagere: | 0 |
| Forventet antal deltagere: | 0 |
| Maks. antal deltagere: | 42 |
| Formelle forudsætninger: | |
| Læringsmål: | |
| Fagligt indhold: | <H5>The course is held by DIKU. You can find a course discription on DIKUs <A HREF=\"http://www.sis.ku.dk/lp/viskursus.asp?Knr=40433&InFrame=0&Sprog=DK.\">homepage.
If the course discription changes the IT-C board of studies reserve the right not to give credits.
</H5> |
| Læringsaktiviteter: | The course is in english |
| Eksamensform og -beskrivelse: | X. experimental examination form (7-scale; external exam), 13-skala, Intern censur
|
| Litteratur udover forskningsartikler: | |
| | |
Kursusoversigt