Examination Nov 18, 2004
326.019, 326.021 - Mathematical Logic 1
326.111, 326.000 - Mathematical Logic and Logic-Oriented Programming Languages
The examination for the first part of the lecture will be organized on Nov. 18 in HS6 at the usual time and place of the lecture:
The examination is intented for all students who take part in the lecture.
Computer Science students (who attend the "short lecture") will receive their grades based on this examination.
Mathematics students (who attend the "long lecture") will receive their grades in "Exercises" based on this examination, and the examination in "Theory" will count as 60% from their final grade in "Theory".
I will be available for questions about the material ("tutorial hours") in room TNF 418 (4-th floor, new tower building):
At the end of the lecture on Nov. 11, I will make a short review of the material presented in the lecture. I advise the students to look at the whole material before this last lecture and to ask questions during this final review.