Logică avansată pentru informatică

Master, Anul I, Departamentul de Informatică, Facultatea de Matematică şi Informatică, Semestrul I 2019/2020

Instructor: Laurenţiu Leuştean

Examen 2018/2019: Probleme, Soluţii

Cursuri: Curs 0, Curs 0 - 4 slideuri pe pagină; Curs, Curs - 4 slideuri pe pagină (versiunea 22.01.2020)

Seminare: [1], [2], [3], [4], [5], [6]

Soluţii: [1], [2], [3], [4], [5], [6]

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, 1976.
• P. Blackburn, M. de Rijke, Y. Venema, Modal Logic, Cambridge University Press, 2002.
• R. Fagin, J. Y. Halpern, Y. Moses, M. Y. Vardi, Reasoning about knowledge, MIT Press, 2003.
• H. van Ditsmarch, W. van der Hoek, B. Kooi, Dynamic epistemic logic, Springer, 2008.