|
Models and logics
|
|
|
|
News About this class Weekly schedules Assignments Students Final exam Staff only |
Important Final deadline for handing in the compulsory exercises to your tutor is Thursday, the 20th of May 2004 Schedule for week 7 The schedule for the final week of dModLog will be as follows: Lecture: Monday May 17, 15.00 - 16.00 in room room 1-532-322 (tutoring room for Hold 7). Topic: dModLog exam! Tutoring: will take place for ALL dModLog students Wednesday May 19, 14.15 - 17.00 in Aud E. Both Helena and Kristian will be present Information about the final exam available Please visit the "Final exam"section for details. Second assignment uploaded Notes for weeks 4 and 5 available Notes for weeks 4 and 5 are now available. They were distributed at the lecture on April 21th. If you were not there, please contact your tutor or Lene Kjeldsteen, IT-parken, Ada 127. Please note that we have ONE copy for each student of the two notes in question:
Goals The aims of this course are to provide the students with a basic knowledge of fundamental parts of theoretical computer science, including automata, logic and computability. Contents:
Mogens Nielsen and Anders Møller (dRegAut) Examination Oral, 13-scale; two assignments have to be answered satisfactorily in order to attend the final oral exam ECTS 10 ECTS Time and place:
|