Advanced Topics in Computer Science (236605)

Logical Methods in Combinatorics, planned outline.

The topics marked (*) will be covered as much as time permits.

Logical Methods

Applications to combinatorics (*)


  1. H.D. Ebbinghaus and J. Flum and W. Thomas, Mathematical Logic, 2nd edition, 1994
  2. J. Spencer, The Strange Logic of Random Graphs, Springer, 2001
  3. B. Bollobas, Modern Graph Theory, Springer, 1998
  4. R. Diestel, Graph Theory, Springer, 3rd edition, 2005
  5. Original papers to be listed


The Graph Polynomial Project, funded ISF project, grant No. ISF 1392/07.