Automated Reasoning | |
Engelsk | |
5 | |
Kandidat Kurset udbydes som enkeltfag |
F4B (fre 8-12)
| |
Campus Lyngby | |
Forelæsninger, øvelser og obligatoriske afleveringsopgaver. | |
13-uger | |
F4B | |
Skriftlig eksamen og bedømmelse af rapport(er)
Bedømmes som en helhed. | |
Skriftlig eksamen: 2 timer | |
Alle hjælpemidler er tilladt | |
7-trins skala , ekstern censur | |
02156.02157.02180 , Bevissystemer for førsteordenslogik, funktionsprogrammering, grundlæggende algoritmer i kunstig intelligens. Matematisk modenhed. Logikprogrammering er en fordel. |
Jørgen Villadsen , Lyngby Campus, Bygning 322, Tlf.
(+45) 4525 3733 , jovi@dtu.dk | |
01 Institut for Matematik og Computer Science | |
https://courses.compute.dtu.dk/02256/ | |
I studieplanlæggeren | |
Kontakt underviseren for information om hvorvidt dette kursus giver den studerende mulighed for at lave eller forberede et projekt som kan deltage i DTUs studenterkonference om bæredygtighed, klimateknologi og miljø (GRØN DYST). Se mere på http://www.groendyst.dtu.dk |