(Înapoi)

Facultatea de Matematică și Informatică, DL Matematică, Anul I, Seria 10.

Profesori: Andrei Sipoș, Horațiu Cheval, Nicoleta Dumitru

Note de curs:

• 0. Aspecte organizatorice. Introducere istorică. Planul cursului.
• 1. Teoria mulțimilor. Primele cinci axiome ZFC.
• 2. Relații binare. Axioma infinitului. Numere naturale în ZFC. Dinamici punctate.
• 3. Generalități despre cardinalitate. Mulțimi numărabile. Spre definirea cardinalilor.
• 4. Ordinali. Axioma înlocuirii. Alef-uri.
• 5. Axioma alegerii. Aritmetica cardinalilor. Spații vectoriale și cardinalitate.
• 6. Axioma regularității. Filtre, ultrafiltre.
• 7. Logica propozițională – sintaxa și semantica.
• 8. Mulțimi de formule propoziționale. Teorema de compacitate și aplicații.
• 9. Deducția sintactică propozițională. Teoremele de corectitudine și completitudine.
• 10. Logica de ordinul I – sintaxa și semantica. Variabile libere și legate, enunțuri. Substituția.
• 11. Mulțimi de enunțuri de ordinul I. Teorema de compacitate și aplicații.
• 12. Deducția sintactică de ordinul I. Teoremele de corectitudine și completitudine. Logica de ordinul I și aritmetica.
• 13. Fundamentele matematicii.
• 14. Aplicații ale teoriei modelelor în algebră. Pentru a pune punct.

Exerciții de seminar

Referințe:

• Referințe generale
• P. Smith, Beginning Mathematical Logic: A Study Guide.
• H.-D. Ebbinghaus, J. Flum, W. Thomas, Mathematical Logic. Springer, 1994.
• D. R. Hofstadter, Gödel, Escher, Bach: an Eternal Golden Braid. Basic Books, Inc., Publishers, New York, 1979.
• J. D. Monk, Mathematical Logic. Springer Verlag, 1976.
• J. Shoenfield, Mathematical Logic. Second Edition, Association for Symbolic Logic, 2001.
• P. G. Hinman, Fundamentals of mathematical logic. A K Peters, 2005.
• A. Freund, “An Introduction to Mathematical Logic”. arXiv:2310.09921 [math.LO], 2023.
• G. Georgescu, “Un semestru de logică”. Revista de Logică, 2007.
• Introducere istorică
• A. Doxiadis, C. Papadimitriou, A. Papadatos, A. Di Donna, Logicomix: An Epic Search for Truth. Bloomsbury, 2009.
• J. van Heijenoort, From Frege to Gödel. A source book in mathematical logic, 1879–1931. Harvard University Press, Cambridge, Mass., 1967.
• R. Zach, Completeness before Post: Bernays, Hilbert, and the development of propositional logic. Bull. Symbolic Logic 5, no. 3, 331–366, 1999.
• Stanford Encyclopedia of Philosophy:
  • Ancient Logic.
  • Russell’s Paradox.
  • Principia Mathematica.
  • The Early Development of Set Theory.
  • Hilbert’s Program.
  • Recursive Functions.
  • Computability and Complexity.
  • The Church-Turing Thesis.
• Teoria mulțimilor
• K. Hrbáček, T. Jech, Introduction to set theory. Third Edition. Marcel Dekker, Inc., New York, 1999.
• D. C. Goldrei, Classic Set Theory: For Guided Independent Study. Chapman and Hall, 1996.
• T. Gowers, “How to use Zorn’s lemma”. Blog post, 2008.
• Fundamentele matematicii
• FOM mailing list.
• L. Carroll, What the Tortoise Said to Achilles.