Child pages
  • Finite model theory, fall 2016

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

  •  The first lecture is on Monday 5 September at 10-12 in room B321. 
  •  The exercise session on Tuesday 22nd of November is cancelled and moved to the next week.
  • The last lecture of the course will be on Thursday 8th December.
  • The final exam will be organized on Wednesday 21st December at 10-14 in room B321.
  • The lecture of Monday 5.12 is cancelled.

Teaching schedule

Weeks 36-42 and 44-5049, Monday and Thursday 10-12 in room B321. Two hours of exercise classes per week. 

...

  • Normal form for the two-variable fragment of first-order logic.
  • Types.

Exams

Exam lasts 2,5 hours.

...

  • .

Monday 28.11.2016:

  • Finite model property of the two-variable fragment of first-order logic.

Thursday 1.12.2016:

  • Asymptotic probabilities, 0-1 laws, and extension axioms.

Final exam

The final exam will be organized on Wednesday 21st December at 10-14 in room B321.

Course material

We will follow the structure of K. Luosto's lecture notes:

...