Cod | Denumire | |||
MID1002 | Metode formale în programare | |||
MII1010 | Metode avansate de analiza datelor | |||
MII1002 | Instruire automată | |||
MML1014 | Specificare algebrica | |||
XND1101 | Psihopedagogia adolescenţilor, tinerilor şi adulţilor | |||
XND1102 | Proiectarea şi managementul programelor educaţionale |
Cod | Denumire | |||
MII1003 | Sisteme de demonstrare automată | |||
MID1004 | Modele formale în limbajele de programare | |||
MID1025 | Modelarea softului | |||
MML1015 | Logică temporală | |||
XND1203 | Didactica domeniului şi dezvoltări în didactica specialităţii | |||
XND2204 | Disciplină opţională (1) |
Cod | Denumire | |||
MID1007 | Programare bazata pe reguli | |||
MII1003 | Sisteme de demonstrare automată | |||
MIA1000 | Metodologia cercetării ştiinţifice de informatică | |||
MXX4601 | Curs opţional 1 | |||
XND2305 | Practică pedagogică | |||
XND2306 | Disciplină opţională (2) |
Discipline oferite pentru cursul opţional 1. | |||
MID1013 | Tehnologii si platforme Java pentru aplicatii distribuite | ||
MID1018 | Tehnici avansate în medii virtuale distribuite |
Cod | Denumire | |||
MID1010 | Arhitectura sistemelor soft | |||
MID1005 | Metode formale în programarea paralelă | |||
MIA1006 | Proiect de cercetare în metode formale în programare | |||
MXX4602 | Curs opţional 2 | |||
Discipline oferite pentru cursul opţional 2. | |||
MID1012 | Proiectarea cadrelor de aplicatie | ||
MID1023 | Validarea simulării |