**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.

T. Jebelean