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.*

## Bibliography

- Isabela Dramnesc. Algorithm Synthesis and Mathematical Theory Exploration. Lecture Notes (online) https://staff.fmi.uvt.ro/~isabela.dramnesc
- Tudor Jebelean. Automatic Theorem Proving. Lecture Notes (online)
- Bruno Buchberger. Logic for Computer Science. Lecture Notes (online)
- Chin-Liang Chang, Richard Char-Tung Leel. Symbolic Logic and Mechanical Theorem Proving. Academic Preess, 1973.
- Jean Gallier. Logic for Computer Science. Foundations of Automatic Theorem Proving.
- M. Ben-Ari, Mathematical Logic for Computer Science, Springer Verlag, London, 2nd edition, 2001.
- Z. Manna, R. Waldinger. The Logical Basis for Computer Programming, volume 1: Deductive Reasoning, Addison-Wesley, 1985.
- I. Dramnesc, T. Jebelean. Synthesis of list algorithms by mechanical proving, Journal of Symbolic Computation, 2015, 68, 61-92.
- 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.