Examination Nov 18, 2004

326.019, 326.021 - Mathematical Logic 1

326.111, 326.000 - Mathematical Logic and Logic-Oriented Programming Languages

Examination on Nov. 18, 2004

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:

• theory: 8:30 to 10:00,
• exercises: 10:15 to 11:15.

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):

• Wed, Nov 10, 15:00 to 19:00.
• Tue, Nov 16, 15:00 to 19:00.
• Wed, Nov 17, 15:00 to 19:00.

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.