Logic and Model Theory, ETH 2004
Prof. J.A. Makowsky
e-mail address for comments and questions:
janos@cs.technion.ac.il
makowsky@math.ethz.ch
From April 13 on: New Location HG-E5
NEW ANNOUNCEMENT:
No lecture on Tuesday, June 15, 2004
Previously updated: May 13, 2004
Last updated:
June 1, 2004 (14:00)
This page contains the slides of the course
Introduction to Logic and Model Theory
given at the D-MATH of ETHZ in the summer semester 2004.
It is partially based on my course
Logic and Set Theory for Computer Science
given twice a year at the Computer Science Department of
the Technion - Israel Institute of Technology.
Technion slides
.
There are important changes and additions:
- This a course for mathematics students in 4th or 6th semester.
- The set theory part is omitted.
We assume only very rudimentary knowledge of the language of sets.
- The part on Propositional Logic
is reduced to two hours. We then start immediately with
First Order Logic.
The additional material on Propositional Logic
can be easily understood from our treatment of First Order Logic.
The material is presented in 9 appendices (in form of slides)
and serves as a big set of exercises to test your understanding.
These slides can be found as
ps-file
or
pdf-file
.
- We also treat Second Order Logic.
- We include the basic techniques of Model Theory.
Slides of the course
Four slides per page.
- Lecture 1, 30.03.2004 (as given)
ps-file ,
pdf-file .
-
Lecture 2, 06.04.2004 (as given):
ps-file ,
pdf-file .
-
Lecture 3, 13.04.2004 (as given):
ps-file ,
pdf-file .
-
Lecture 4, 20.04.2004 (as given, revised 22.4.2002):
ps-file ,
pdf-file .
-
Lecture 5, 27.04.2004 (as given, revised 29.4.2004):
ps-file ,
pdf-file .
-
Lecture 6, 4.05.2004 (as given, revised 6.5.2004):
ps-file ,
pdf-file .
-
Lecture 7, 11.05.2004 (as given, revised 13. May, 2004)
ps-file ,
pdf-file .
-
Lecture 8-9, 18+25.05.2004 (as given)
ps-file ,
pdf-file .
-
Lecture 10, 01.06.2004 (as planned)
See next lectures: to be posted
-
Lecture 10, 01.06.2004 (and beyond, as planned)
posted June 01, 14:00
ps-file ,
pdf-file .