Logică matematică

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ţă

Model de examen, Soluţii

Cursuri:

Curs 0, Curs 0 - 4 slideuri pe pagină

Curs, Curs - 4 slideuri pe pagină (versiunea 05.05.2026)

Seminare:

[1], [2], [3], [4], [5]

Soluţii:

[1], [2], [3], [4], [5]

Referinţe disponibile online

G. Georgescu, Elemente de logică matematică, Academia Militară, 1978

J.D. Monk, Mathematical Logic, Springer Verlag, 1976

Open Logic Project

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.