Logică matematică și computaţională



Anul I, Seriile 13 şi 15, Departamentul de Informatică, Facultatea de Matematică şi Informatică, Universitatea din Bucureşti, Semestrul I 2023/2024

Instructori: Laurenţiu Leuştean, Horaţiu Cheval, Natalia Ozunu, Andrei Sipoş

Informaţii administrative

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 17.01.2024)

Laboratoare:

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

Soluţii:

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

Materiale suplimentare, Soluţii

Seminare:

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

Soluţii:

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

Legături utile:

Bibliografie