Advanced Topics in Computer Science (236605)
Logical Methods in Combinatorics, Abstracts of lectures
Last update: 24.10.2009, will be updated regularly during the semester.
-
Lecture: 18/10/09
Density, speed and probabilities of graph properties.
An outlook.
3 hours (including tirgul)
Tirgul: 18/10/09
-
Lecture: 25/10/09
Tools of Logic
Tirgul: 25/10/09
Practice of tools of logic
-
Lecture: 01/11/09
The 0-1 law of first order logic, I
Tirgul: 01/11/09
Discussion of Homework 1
-
Lecture: 08/11/09
Tirgul: 08/11/09
-
Lecture: 15/11/09
Tirgul: 15/11/09
-
Lecture: 22/11/09
Tirgul: 22/11/09
-
Lecture: 29/11/09
Tirgul: 29/11/09
-
Lecture: 06/12/09
Tirgul: 06/12/09
-
Lecture: 13/12/09
Tirgul: 13/12/09
-
Lecture: 20/12/09
Tirgul: 20/12/09
-
Lecture: 27/12/09
Tirgul: 27/12/09
-
Lecture: 03/01/10
Tirgul: 03/01/10
-
Lecture: 10/01/10
Tirgul: 10/01/10
-
Lecture: 17/01/10
Tirgul: 17/01/10