Misiune
Informatica cunoaște în istoria ei diverse etape de dezvoltare. Una dintre etape a făcut ca bibliotecile calculatoarelor să fie înzestrate cu programe capabile să efectueze calcule tot mai complicate. Astăzi, una dintre direcțiile principale ale cercetării în informatică conduce la elaborarea de programe care să transfere calculatoarelor cât mai multe tipuri dintre raționamentele umane. Aceasta este direcția către care se îndreaptă masterul pe care-l propunem în care uneltele principale ale informaticianului sunt algebra și logica. Unele dintre cele mai simple modalități de raționament sau de calcul sunt substituția și rescrierea. Bazându-se în principal pe aceste metode operaționale a fost dezvoltată o familie de limbaje(OBJ, Maude, CafeOBJ) care permit definirea tipurilor abstracte de date și prelucrarea acestor date prin tehnicile de mai sus. Definirea tipurilor abstracte de date necesită cunoștințe serioase de algebre multisortate și algebre ordonat-sortate. Menționăm că rescrierea este în același timp semantica operațională a unei alte familii de limbaje, cele de tip funcțional.
Informaţii despre
| Aparţine de | Facultatea de Matematică şi Informatică | |
|---|---|---|
| Nume | Programare declarativă | |
| Cod SIIIR | spec-3998 | |
| Statut | Acreditat | |
| Tip unitate | Specializare | |
| Limba de predare | română | |
| Perioada studii | 2 | |
| Forma de învățământ | cu frecvență | |
| Domeniu | Științe Exacte | |
| Domeniu de licență/master | Informatică | |
| Programe inrudite | Informatică; Informatică (în limba engleză); Medii virtuale multi-modale distribuite; Modelare și tehnologii informatice |
Vezi şi
| Unităţi de învăţământ | Master |
|---|