Logică matematică și computaţională



Anul I, Seriile 13 şi 15, Departamentul de Informatică, Facultatea de Matematică şi Informatică, Universitatea din Bucureşti, Semestrul II 2025

Instructori: Laurenţiu Leuştean, Horaţiu Cheval, Natalia Ozunu, Dafina Trufaş

Informaţii despre examen/restanţă

Model de examen, Soluţii

Model de test de laborator, Soluţii

Cursuri:

Curs 0, Curs 0 - 4 slideuri pe pagină

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

Laboratoare:

[1] + ex2.pl, [2], [3], [4] + words.pl, [5], Lab suplimentar

Soluţii:

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

Seminare:

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

Soluţii:

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

Referinţe disponibile online

Legături utile: