| Udbydes af:
Institut for Informationsteknologi
(IT) |
| Pointspærring: 49232/C4332 |
| Faglige forudsætninger: 49142 |
| Vejledende semester:
Midt i studiet. |
| Undervisningsform: Forelæsninger. Øvelser |
| Evalueringsform:
Bedømmelse af skriftlig eksamen forudsætter godkendelse af obligatoriske øvelser. Skriftlig eksamen
(13-skala
) |
| Kontaktperson: |
Jørgen Fischer Nilsson, IT, bygn. 344, tlf. 4525 3730 Email: jfn@it.dtu.dk |
|
| Kursusmål: At introducere til formel logik, til opstilling af logiske systemer. |
| Kursusindhold: Basale logiske sprog og logiske begreber såsom logisk konsekvens og formelt bevis. Logiske formuleringer og slutningsformer med eksempler fra dagligdagen og enkle tekniske anvendelser. Logikprogrammeringssprog. |
