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.
  1. Lecture: 18/10/09

    Density, speed and probabilities of graph properties. An outlook. 3 hours (including tirgul)

    Tirgul: 18/10/09


  2. Lecture: 25/10/09

    Tools of Logic

    Tirgul: 25/10/09

    Practice of tools of logic
  3. Lecture: 01/11/09

    The 0-1 law of first order logic, I

    Tirgul: 01/11/09

    Discussion of Homework 1
  4. Lecture: 08/11/09

    Tirgul: 08/11/09


  5. Lecture: 15/11/09

    Tirgul: 15/11/09


  6. Lecture: 22/11/09

    Tirgul: 22/11/09


  7. Lecture: 29/11/09

    Tirgul: 29/11/09


  8. Lecture: 06/12/09

    Tirgul: 06/12/09


  9. Lecture: 13/12/09

    Tirgul: 13/12/09


  10. Lecture: 20/12/09

    Tirgul: 20/12/09


  11. Lecture: 27/12/09

    Tirgul: 27/12/09


  12. Lecture: 03/01/10

    Tirgul: 03/01/10


  13. Lecture: 10/01/10

    Tirgul: 10/01/10


  14. Lecture: 17/01/10

    Tirgul: 17/01/10