Back to Teaching Page

Algorithm Synthesis and Mathematical Theory Exploration

Lectures and laboratories

Please subscribe to this course on Google Classroom by using the code:nh37pll. There you will find all the materials and also the link for participating to the online meetings.


  1. Isabela Dramnesc. Algorithm Synthesis and Mathematical Theory Exploration. Lecture Notes (online)
  2. Tudor Jebelean. Automatic Theorem Proving. Lecture Notes (online)
  3. Bruno Buchberger. Logic for Computer Science. Lecture Notes (online)
  4. Chin-Liang Chang, Richard Char-Tung Leel. Symbolic Logic and Mechanical Theorem Proving. Academic Preess, 1973.
  5. Jean Gallier. Logic for Computer Science. Foundations of Automatic Theorem Proving.
  6. M. Ben-Ari, Mathematical Logic for Computer Science, Springer Verlag, London, 2nd edition, 2001.
  7. Z. Manna, R. Waldinger. The Logical Basis for Computer Programming, volume 1: Deductive Reasoning, Addison-Wesley, 1985.
  8. I. Dramnesc, T. Jebelean. Synthesis of list algorithms by mechanical proving, Journal of Symbolic Computation, 2015, 68, 61-92.
  9. I. Dramnesc, T. Jebelean, S. Stratulat. Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques, Journal of Symbolic Computation, 2019, 90, 3-41.