Motivation and general outlook.
Second Order Logic.
First lecture from 2006, to be posted after the lecture.
First lecture from 2001
ps-file, 4 slides per page.
pdf-file, 4 slides per page.
Second lecture from 2001
ps-file, 4 slides per page.
pdf-file, 4 slides per page.
First order and second order logic.
What can we say. What cant we say.
Ehrenfeucht-Fraisse games.
Third lecture from 2001
ps-file, 4 slides per page.
pdf-file, 4 slides per page.
Forth lecture from 2001
ps-file, 4 slides per page.
pdf-file, 4 slides per page.
Tirgul: Classes of graphs closed under
subgraphs, induced subgraphs, minors or topological minors.
Slides of Tirgul:
1 slide per page.
ps-file,
pdf-file,
Lecture: Introducing Ehrenfeucht-Fraisse games