Logică matematică și
computaţională
Anul I, Seriile 13 şi 15, Departamentul de Informatică,
Facultatea de Matematică şi Informatică,
Universitatea din Bucureşti,
Semestrul II 2026
Instructori: Laurenţiu Leuştean,
Horaţiu Cheval,
Dafina Trufaş
Cursuri:
Laboratoare:
Seminare:
Referinţe disponibile online
- G. Georgescu, Elemente de logică matematică, Academia Militară, 1978
- J.D. Monk, Mathematical Logic,
Springer Verlag, 1976
- Open Logic Project
- Logic Matters
- Five Big Red (Open Access) Logic Books
- S. Russell, P. Norvig, Artificial Intelligence: A
Modern Approach, 4th edition, Pearson, 2020
- P. Blackburn, J. Bos, K. Stiegnitz, Learn Prolog
Now!, College Publications, 2001
- U. Endriss, Lecture Notes. An Introduction to Prolog
Programming, Institute for Logic and Computation, Amsterdam, 2018
- K. Striegnitz, Prolog programming: a do-it-yourself course for beginners,
16th European Summer School in Logic, Language and Information, 2004
Legături utile:
- Research Center for Logic, Optimization and Security (LOS), Faculty of Mathematics and Computer Science, University of Bucharest
- Institute for Logic and Data Science (ILDS) Bucharest
- LOS/IMAR/ILDS Logic Seminar
- Lean Programming Language and Theorem Prover
- Institute for Computer-Aided Reasoning in Mathematics
- Neurosymbolic Artificial Intelligence
- Alan Turing Institute
- AWS Automated Reasoning Group, Amazon
- P-99: Ninety-Nine Prolog Problems
- Coq Proof Assistant
- Isabelle Proof Assistant
- AlanTuring.net, The Turing Archive for the History of Computing
- M. Davis, The Universal
Computer: The Road from Leibniz to Turing, CRC Press, 2012.
- M. Vardi, From Aristotle to Pentium, 2009
- J. von Neumann,
First Draft of a Report on the EDVAC, Moore School of Electrical Engineering University of Pennsylvania, 1945
- J. Y. Halpern, R. Harper, N. Immerman, P. G. Kolaitis, M. Y. Vardi, V. Vianu, On the
Unusual Effectiveness of Logic in Computer Science, Bulletin of Symbolic Logic 7 (2001), 213-233