| Kursusnavn (dansk): | Kunstig Intelligens |
| Kursusnavn (engelsk): | Artificial Intelligence |
| Semester: | Efterår 2002 |
| 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: | 24 |
| Formelle forudsætninger: | Acquaintance with basic programming, BNF-grammars, recursive data structures and functions, logical concepts and languages, in particular predicate logic, logical consequence, formal proofs and logic programmering languages. |
| Læringsmål: | Consult the course home page. |
| Fagligt indhold: | Consult the course home page.
|
| Læringsaktiviteter: | This course is held at DTU, Lyngby.
Consult the course home page for more information. |
| Eksamensform og -beskrivelse: | X. experimental examination form (7-scale; external exam), 13-skala, Intern censur External censor.
|
| Litteratur udover forskningsartikler: | Consult the course home page. |
| | |
Kursusoversigt