2006/2007
02156 Formelle logik systemer |
|
Kurset udbydes alene under MSc in Engineering, Security and Mobile Computing programmet.
|
Engelsk titel:
| Formal Logical Systems | Sprog:
| | | | Kursustype:
| Kursus for civilingeniørstuderende- Grundlæggende kursus
|
| | |
| Skemaplacering:
| E4A
| Undervisningsform: | Forlæsninger og øvelser | Kursets varighed:
| 13-uger | Eksamensplacering:
| E4A,
F4A
| Evalueringsform:
| | Varighed eksamen:
| | Hjælpemidler:
| | Bedømmelsesform: | | Pointspærring: | | Obligatoriske forudsætninger: | | | | Overordnede kursusmål:
| Se engelsk tekst.
| Kursusindhold:
| Se engelsk tekst.
| Bemærkninger:
| Se engelsk tekst.
| Kursusansvarlig:
| , 322, 106, (+45) 4525 3735,
, 322, 132, (+45) 4525 3733,
| Institut:
| 02 Informatik og Matematisk Modellering | Tilmelding:
| I CampusNet |
|
|
| Sidst opdateret:
4. december, 2006 |
