| Interval | Disciplina | Tip | Studenți | Sala | Frecvența | Pachet |
|---|---|---|---|---|---|---|
| Luni (10 ore) | ||||||
| 08-10 | Dezvoltare de programe bazată pe verificare | Curs | 3E , 3R | C308 | 3 | |
| 10-12 | Dezvoltare de programe bazată pe verificare | Laborator | 3B , 3E | C412 | 3 | |
| 12-14 | Dezvoltare de programe bazată pe verificare | Laborator | 3A | C412 | 3 | |
| 16-18 | Raționament automat și interactiv | Curs | MISS2 | C308 | ||
| 18-20 | Raționament automat și interactiv | Seminar | MISS2 | C308 | ||
| Marți (6 ore) | ||||||
| 08-10 | Logică pentru Informatică | Curs | 1R | C2 | ||
| 10-12 | Logică pentru Informatică | Curs | 1E | C112 | ||
| 14-16 | Logică pentru Informatică | Curs | 1IA | C309 | ||
| Miercuri (8 ore) | ||||||
| 08-10 | Logică pentru Informatică | Seminar | 1E1 | C308 | ||
| 10-12 | Logică pentru Informatică | Seminar | 1IA2 | C308 | ||
| 12-14 | Logică pentru Informatică | Seminar | 1E2 | C905 | ||
| 14-16 | Logică pentru Informatică | Seminar | 1IA3 | C905 | ||
| Joi (2 ore) | ||||||
| 09-10 | Îndrumare licență | Alte activitati
Facultativ
|
||||
| 11-12 | Școala doctorală | Alte activitati
Facultativ
|
||||
Generat cu eOra 3.1.7