Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică

Planul de învătământ
pentru anul universitar 2009/2010

Specializarea Metode formale în programare - în limba engleză

Semestrul 1

Cod Denumire
Ore: C+S+L
Finalizare
Credite
MID1002 Metode formale în programare
2+1+0
E
8 cr.
MII1010 Metode avansate de analiza datelor
2+1+0
E
8 cr.
MII1002 Instruire automată
2+1+0
E
7 cr.
MML1014 Specificare algebrica
2+1+0
E
7 cr.
TOTAL
8+4+0=16
 
30 cr.
Discipline facultative:
XND1101 Psihopedagogia adolescenţilor, tinerilor şi adulţilor
2+1+0
E
5 cr.
XND1102 Proiectarea şi managementul programelor educaţionale
2+1+0
E
5 cr.

Semestrul 2

Cod Denumire
Ore: C+S+L
Finalizare
Credite
MII1003 Sisteme de demonstrare automată
2+1+0
E
8 cr.
MID1004 Modele formale în limbajele de programare
2+1+0
E
8 cr.
MID1025 Modelarea softului
2+1+0
E
7 cr.
MML1015 Logică temporală
2+1+0
E
7 cr.
TOTAL
8+4+0=16
 
30 cr.
Discipline facultative:
XND1203 Didactica domeniului şi dezvoltări în didactica specialităţii
2+1+0
E
5 cr.
XND2204 Disciplină opţională (1)
1+2+0
E
5 cr.

Semestrul 3

Cod Denumire
Ore: C+S+L
Finalizare
Credite
MID1007 Programare bazata pe reguli
2+1+0
E
8 cr.
MII1003 Sisteme de demonstrare automată
2+1+0
E
8 cr.
MIA1000 Metodologia cercetării ştiinţifice de informatică
2+1+0
C
6 cr.
MXX4601 Curs opţional 1
2+1+0
E
8 cr.
TOTAL
8+4+0=15
 
30 cr.
Discipline facultative:
XND2305 Practică pedagogică
0+3+0
C
5 cr.
XND2306 Disciplină opţională (2)
1+2+0
E
5 cr.
Discipline oferite pentru cursul opţional 1.
MID1013 Tehnologii si platforme Java pentru aplicatii distribuite
2+1+0
8 cr.
MID1018 Tehnici avansate în medii virtuale distribuite
2+1+0
8 cr.

Semestrul 4

Cod Denumire
Ore: C+S+L
Finalizare
Credite
MID1010 Arhitectura sistemelor soft
2+1+0
E
8 cr.
MID1005 Metode formale în programarea paralelă
2+1+0
E
8 cr.
MIA1006 Proiect de cercetare în metode formale în programare
0+0+3
C
6 cr.
MXX4602 Curs opţional 2
2+1+0
E
8 cr.
TOTAL
6+3+3=15
 
30 cr.
Discipline oferite pentru cursul opţional 2.
MID1012 Proiectarea cadrelor de aplicatie
2+1+0
8 cr.
MID1023 Validarea simulării
2+1+0
8 cr.