Activitate online 2020-2021
- Informatică în limba română
- Informatică aplicată
Note de curs
- Versiunea în limba română a notelor de curs va fi făcută
disponibilă via Classroom.
- O versiune mai veche a notelor de curs, în limba engleză >>aici<<
(sunt unele mici diferenţe în notaţie).
De citit.
- Bruno Buchberger, Logic
for Computer Science, Unpublished lecture notes, Copyright
Bruno Buchberger, 1991. (disponibil în versiune pdf aici)
- Zohar Manna, Richard Waldinger,
The Logical Basis for Computer
Programming, Volume 1: Deductive Reasoning, Addison Wesley,
1985.
- Mordechai Ben-Ari, Mathematical Logic for Computer
Science, Third Edition, Springer Verlag London, 2009.
- John Harrison, Handbook
of Practical Logic and Automated Reasoning, Cambridge
University Press, 2009.
- Daniel J. Velleman, How to Prove It: A
Structured Approach, Second Edition, Cambridge University
Press, 2006.