Logică matematică

Anul I, Seria 10, Departamentul de Matematică, Facultatea de Matematică şi Informatică, Semestrul II 2026

Instructori: Laurenţiu Leuştean, Horaţiu Cheval, Anda Ştefania Toma

Informaţii administrative

Informaţii despre examen/restanţă

Cursuri:

Seminare:

Soluţii:

Referinţe disponibile online

• G. Georgescu, Elemente de logică matematică, Academia Militară, 1978
• J.D. Monk, Mathematical Logic, Springer Verlag, 1976
• Open Logic Project
• Logic Matters
• Five Big Red (Open Access) Logic Books

Legături utile:

• Institutul de Matematică „Simion Stoilow” al Academiei Române (IMAR)
• Centrul de cercetare in Logică, Optimizare şi Securitate (LOS), Facultatea de Matematică şi Informatică, Universitatea din Bucureşti
• Institute for Logic and Data Science (ILDS) Bucharest
• LOS/IMAR/ILDS Logic Seminar
• Lean Programming Language and Theorem Prover
• Institute for Computer-Aided Reasoning in Mathematics
• M. Davis, The Universal Computer: The Road from Leibniz to Turing, CRC Press, 2012.