Logica matematica si computationala
Anul I, Departamentul de Informatica, Facultatea de Matematica si Informatica, Semestrul I 2015/2016
Instructori: Laurentiu Leustean,
Alexandra Otiman,
Andrei Sipoș
Informatii administrative
Examen partial - 18.12.2015
Solutii
Cursuri:
Curs 1, Curs 1 - 4 slideuri pe pagina;
Curs 2, Curs 2 - 4 slideuri pe pagina;
Curs 3, Curs 3 - 4 slideuri pe pagina;
Curs 4, Curs 4 - 4 slideuri pe pagina;
Curs 5, Curs 5 - 4 slideuri pe pagina;
Curs 6, Curs 6 - 4 slideuri pe pagina;
Curs 7, Curs 7 - 4 slideuri pe pagina;
Curs 8, Curs 8 - 4 slideuri pe pagina;
Curs 9, Curs 9 - 4 slideuri pe pagina;
Curs 10, Curs 10 - 4 slideuri pe pagina;
Curs 11, Curs 11 - 4 slideuri pe pagina;
Curs 12, Curs 12 - 4 slideuri pe pagina;
Curs 13, Curs 13 - 4 slideuri pe pagina.
Seminarii:
[1], [2], [3],
[4], [5], [6],
[7], [8], [9],
[10], [11], [12],
[13], [14]
Solutii:
[1], [2],
[3], [4], [5], [6], [7], [8], [9], [10], [11],
[12], [13], [14]
Exercitii suplimentare
Curs Logica matematica si computationala - 2014
Legaturi utile:
- AlanTuring.net, The Turing Archive for the History of Computing
- A. Turing, On
computable numbers, with an application to the Entscheidungsproblem, Proc. London Math. Soc. 42 (1937) , 230-265.
- 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.
- The polymath blog.
Carti:
- 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.
- G. Georgescu, Elemente de logica matematica, Academia Militara, 1978.
- P. G. Hinman, Fundamentals of mathematical logic, A K Peters, 2005.
- J.D. Monk, Mathematical Logic, Springer Verlag, 1976.