Teoria modelelor
Master, Anul I, Departamentul de Informatică, Facultatea de Matematică şi Informatică, Semestrul II 2017
Instructori: Laurenţiu Leuştean,
Andrei Sipoș
Informaţii administrative
Cursuri:
Curs 0, Curs 0 - 4 slideuri pe pagină;
Curs , Curs - 4 slideuri pe pagină (versiunea 06.06.2017)
Seminarii:
[1], [2], [3],
[4], [5], [6],
[7]
Soluţii:
[1], [2],
[3], [4], [5],
[6], [7]
Examen din 2015 cu soluţii
Legături utile:
- AlanTuring.net, The Turing Archive for the History of Computing
- 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
- 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.
Cărţi:
- M. Davis, The Universal Computer: The Road from Leibnitz to Turing, CRC Press, 2012.
- M. Davis (ed.), The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems and
Computable Functions, Raven Press, 1965.
- T. Franzen, Gödel's Theorem: An Incomplete Guide to Its Use and Abuse, A K Peters/CRC Press, 2005.
- P. G. Hinman, Fundamentals of mathematical logic, A K Peters, 2005.
- J.D. Monk, Mathematical Logic, Springer Verlag, 1976.