| Kursusnavn (dansk): | Logik i datalogi: modeller og beviser for systemer 041006/202 |
| Kursusnavn (engelsk): | Logic in Computer Science: modelling and reasoning about systems |
| Semester: | Forår 2004 |
| Udbydes under: | cand.it., internet- og softwareteknologi (int) |
| Omfang i ECTS: | 10,00 |
| Kursussprog: | Engelsk |
| Kursushjemmeside: | https://learnit.itu.dk |
| Min. antal deltagere: | 0 |
| Forventet antal deltagere: | 5 |
| Maks. antal deltagere: | 20 |
| Formelle forudsætninger: | See the <a href=\"http://sis.ku.dk/lp/VisKursus.asp?Knr=48657&Sprog=DK&InFrame=0\">homepage for this course at DIKU |
| Læringsmål: | See the <a href=\"http://sis.ku.dk/lp/VisKursus.asp?Knr=48657&Sprog=DK&InFrame=0\">homepage for this course at DIKU |
| Fagligt indhold: | See the <a href=\"http://sis.ku.dk/lp/VisKursus.asp?Knr=48657&Sprog=DK&InFrame=0\">homepage for this course at DIKU |
| Læringsaktiviteter: | See the <a href=\"http://sis.ku.dk/lp/VisKursus.asp?Knr=48657&Sprog=DK&InFrame=0\">homepage for this course at DIKU |
| Eksamensform og -beskrivelse: | X. experimental examination form (7-scale; external exam), Bestået/ikke bestået, Intern censur See the <a href=\"http://sis.ku.dk/lp/VisKursus.asp?Knr=48657&Sprog=DK&InFrame=0\">homepage for this course at DIKU
|
| Litteratur udover forskningsartikler: | See the <a href=\"http://sis.ku.dk/lp/VisKursus.asp?Knr=48657&Sprog=DK&InFrame=0\">homepage for this course at DIKU |
| | |
Kursusoversigt