Logică matematică
Anul I, Seria 10, Departamentul de Matematică, Facultatea de Matematică şi Informatică,
Semestrul II 2022
Instructori:
Laurenţiu Leuştean,
Horaţiu Cheval
Vom folosi Microsoft Teams atât pentru cursuri cât şi pentru seminare.
Link-ul necesar pentru a va înscrie ca membri ai cursului este
ACESTA.
Informaţii administrative
Informaţii despre examen
Examen 2021: Probleme
Soluţii
Cursuri:
Curs 0, Curs 0 - 4 slideuri
pe pagină
Curs,
Curs - 4 slideuri pe pagină
(versiunea 26.05.2022)
Seminare:
[1], [2], [3],
[4], [5], [6],
[7]
Soluţii:
[1], [2],
[3], [4],
[5], [6], [7]
Bibliografie
- The Open Logic
Text, June 2020.
- C. Băeţica, C. Boboc, S. Dăscălescu, G. Mincu, Probleme de
algebră, Editura UB, 2008.
- M. Davis, The Universal Computer: The Road from Leibnitz to Turing, CRC Press, 2012.
- G. Georgescu, Elemente de logică matematică, Academia Militara, 1978.
- P. G. Hinman, Fundamentals
of mathematical logic, A K Peters, 2005.
- L. Leuştean, A. Otiman, A. Sipoş, Logică matematică şi computaţională, exerciţii
de seminar, 2015-2016.
- Y. Manin, A Course in
Mathematical Logic for Mathematical Logic. 2nd edition, Springer, 2010.
- Y. Moschovakis, Notes on Set Theory. Second Edition, Springer, 2006.
- J.D. Monk, Mathematical Logic, Springer Verlag, 1976.
- J. Shoenfield, Mathematical Logic. 2nd edition,
Association for Symbolic Logic, 2001.