05.13.12 – Proiectare asistată de calculator
Paşaportul specialităţii:
- Logica matematica si demonstrare automata
- Teoria algoritmilor
- Limbaje formate
- Organizarea datelor si paradigme de programare
- Teoria bazelor de date relationale
- Inteligenta artificiala
- Sisteme de operarew si retele de calculatoare