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 2025
Instructori: Laurenţiu Leuştean,
Horaţiu Cheval, Natalia Ozunu,
Dafina Trufaş
Informaţii despre examen/restanţă
Model de examen, Soluţii
Model de test de laborator, Soluţii
Cursuri:
Curs 0, Curs 0 - 4 slideuri
pe pagină
Curs,
Curs - 4 slideuri pe pagină
(versiunea 27.03.2025)
Laboratoare:
[1] + ex2.pl,
[2],
[3],
[4] + words.pl,
Soluţii:
[1], [2],
[3], [4]
Seminare:
[1]
Soluţii:
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),
Department of Computer Science, 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
- Hoskinson Center for Formal Mathematics
- Matching Logic
- Alan Turing Institute
- Neurosymbolic Artificial Intelligence
- 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