Logica Matematica si Computationala
Curs, An I,  Sem. I, 2014-2015

Pagina cursului la Facultatea de Matematica si Informatica



Programa:
  •  Preliminarii: Multimi. Relatii. Functii.
  •  Calculul propozitional clasic
    Sintaxa. Semantica. Teorema de completitudine. Rezolutie. Deductia naturala. Calculul cu secventi.
  •  Latici. Algebre Boole
  •   Calculul cu predicate
    Limbaj de ordinul I. Sintaxa. Notiunea de structura. Semantica. Teorema de completitudine. Rezolutie.



Bibliografie:
in limba romana
  1. D. Busneag, D. Piciu, Probleme de logica si teoria multimilor, Craiova, 2003.
  2. V. E. Cazanescu, Curs de bazele informaticii, Tipografia Universitatii din Bucuresti, 1976.
  3. G. Georgescu, Elemente de logica matematica, Academia Militara, Bucuresti, 1978. [link]
  4. G. Georgescu, A. Iorgulescu, Logica matematica, Ed. ASE, Bucuresti, 2010.
  5. S. Rudeanu, Curs de bazele informaticii, Tipografia Universitatii din Bucuresti, 1982.
  6. Gr. C Moisil, Elemente de logica matematica si de teoria multimilor, Ed. Stiintifica,                            Bucuresti, 1968.
in limba engleza
  1. M. Huth, M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge Univ. Press, 2009.
  2. A.R. Bradley, Z. Manna, The Calculus of Computation Decision Procedures with Applications to Verification, Springer,2007.
  3. M. Ben-Ari, Mathematical Logic For Computer Science, Springer, 2003.
  4. S. Burris, Logic for Mathematics and Computer Science, Prentice Hall, 1998.
  5. H.R. Lewis, C.H. Papadimitriou, Elements of the Theory of Computation, Prentice-Hall, 1981.
  6. J.D. Monk, Mathematical Logic, Springer Verlag, 1976.
 



Legaturi:
  1. M. Davis, The Universal Computer: The Road from Leibnitz to Turing, CRC Press, 2012  [link]
  2. M. Vardi, From Aristotle to Pentium  [pdf]
  3. S. Burris, H.P. Sankappanavar, A Course in Universal Algebra  [pdf]
  4. 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(2), 2001, 213-233  [pdf]
  5. Revista de Logica