Orar MLE0104: Demonstrarea teoremelor in Lean
Ziua
Orele
Frecventa
Sala
Anul
Formatia
Tipul
Cadrul didactic
Miercuri
8-10
5/I
3 Informatica - linia de studiu romana
I3
Curs
Lect. SIMION Iulian
Miercuri
8-10
5/I
3 Inteligenta Artificiala in limba engleza
IA3
Curs
Lect. SIMION Iulian
Miercuri
8-10
5/I
3 Informatica - in limba engleza
IE3
Curs
Lect. SIMION Iulian
Miercuri
8-10
5/I
3 Ingineria Informatiei in limba engleza
II3
Curs
Lect. SIMION Iulian
Miercuri
8-10
5/I
2 Matematica - linia de studiu romana
M2
Curs
Lect. SIMION Iulian
Miercuri
8-10
5/I
2 Matematica informatica - linia de studiu romana
MI2
Curs
Lect. SIMION Iulian
Miercuri
8-10
5/I
2 Matematica informatica - linia de studiu engleza
MIE2
Curs
Lect. SIMION Iulian
Miercuri
10-12
sapt. 1
DC508
3 Ingineria Informatiei in limba engleza
1331
Laborator
Lect. SIMION Iulian
Miercuri
10-12
sapt. 1
DC508
3 Informatica - linia de studiu romana
I3
Laborator
Lect. SIMION Iulian
Miercuri
10-12
sapt. 1
DC508
3 Inteligenta Artificiala in limba engleza
IA3
Laborator
Lect. SIMION Iulian
Miercuri
10-12
sapt. 1
DC508
3 Informatica - in limba engleza
IE3
Laborator
Lect. SIMION Iulian
Miercuri
10-12
sapt. 1
DC508
3 Ingineria Informatiei in limba engleza
II3
Laborator
Lect. SIMION Iulian
Miercuri
18-20
DC401
2 Matematica - linia de studiu romana
121
Seminar
Lect. SIMION Iulian
Miercuri
18-20
DC401
2 Matematica informatica - linia de studiu romana
321
Seminar
Lect. SIMION Iulian
Miercuri
18-20
DC401
2 Matematica informatica - linia de studiu engleza
821
Seminar
Lect. SIMION Iulian