| Interval | Disciplina | Tip | Studenți | Sala | Frecvența | Pachet |
|---|---|---|---|---|---|---|
| Luni (2 ore) | ||||||
| 09-11 | Școala Doctorală | Alte activitati
Facultativ
|
||||
| Marți (6 ore) | ||||||
| 08-10 | Logică pentru informatică | Curs | I1A | C309 | ||
| 10-12 | Logics for Computer Science | Curs | I1E3 | C308 | ||
| 14-16 | Logică pentru informatică | Curs | I1B | C112 | ||
| Miercuri (5 ore) | ||||||
| 08-10 | Dezvoltare de programe bazată pe verificare | Seminar | I3A1 , I3A2 , I3A3 , I3A4 , I3A5 | C412 | 3 | |
| 10-11 | Consultații | Consultatii
Facultativ
|
||||
| 11-12 | Îndrumare lucrare disertație | Consultatii
Facultativ
|
||||
| 12-13 | Îndrumare lucrare licență | Consultatii
Facultativ
|
||||
| Joi (4 ore) | ||||||
| 08-10 | Logics for Computer Science | Seminar | I1E2 | C308 | ||
| 10-12 | Logics for Computer Science | Seminar | I1E3 | C210 | ||
| Vineri (4 ore) | ||||||
| 08-10 | Dezvoltare de programe bazată pe verificare | Curs | I3A , I3B , I3E | C309 | 3 | |
| 10-12 | Dezvoltare de programe bazată pe verificare | Seminar | I3B1 , I3B2 , I3B3 , I3B4 , I3E1 , I3E2 , I3E3 | C409 | 3 | |
Generat cu eOra 3.0.9