Back to Teaching Page

Algorithm Synthesis and Mathematical Theory Exploration


Lectures and laboratories

For accessing the materials you have to subscribe to this course on Google Classroom by using the code: z55pqun.

Bibliography

  1. Isabela Dramnesc. Algorithm Synthesis and Mathematical Theory Exploration. Lecture Notes (online) https://staff.fmi.uvt.ro/~isabela.dramnesc
  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.