Admiterea la studiile universitare de masterat la Facultatea de Informatică se face prin concurs, indiferent de forma de învățământ la care sunt organizate, pe baza probelor stabilite prin regulament, în vederea testării cunoștințelor și a capacităților cognitive, pe baza unui interviu și a analizei dosarului de concurs.
Tematica și bibliografie pentru stabilirea competențelor din domeniul ales:
Tematica 1: Structuri discrete și algoritmi. Tematica include teme discutate la cursurile de: algoritmi, structuri de date, teoria grafurilor şi combinatorică, logică, limbaje formale:
- Algoritmică: analiza complexității algoritmilor, algoritmi de căutare, algoritmi de sortare, algoritmi recursivi, tehnici de proiectare a algoritmilor (divide et impera, greedy, programare dinamică)
- Structuri de date: stive, cozi, liste, arbori, dicționare
- Teoria grafurilor și combinatorică: Elemente de combinatorică: principii de numărare; numere Stirling; grupuri de simetrii, teoria lui Polya.Elemente de Teoria Grafurilor: noțiuni şi definiții de bază; Clase speciale de grafuri; conectivitate, distanțe drumuri minime; arbori de acoperire; rețele de transport, fluxuri; colorări.
- Logică computațională: Recunoașterea/parcurgerea expresiilor (logica propozițiilor/predicatelor). Semantica, calculul valorii expresiilor (logica propozițiilor/predicatelor). Tabele de adevăr (logica propozițiilor). Validitate/satisfiabilitate, consecință logică, echivalență logică (logica propozițiilor/predicatelor). Raționament, rolul raționamentului. Teorema de deducție. Forme normale ale formulelor propoziționale. Rezoluție, DP, DPLL. Raționament în stil natural (logica propozițiilor/ logica predicatelor). Aplicații ale logicii: design de circuite digitale.
- Limbaje formale și teoria automatelor: limbaje, gramatici, expresii regulate și automate finite
Tematica 2: Limbaje de programare şi inginerie software. Tematica include teme discutate la disciplinele de: Programare (Python, C, C++, Java), inginerie software şi baze de date:
- Limbaje de programare: tipuri de date, clase, obiecte, relații între clase (moștenire, agregare, compoziție, dependență)
- Baze de date: modelarea unei baze de date, forme normale, interogări SQL.
- Inginerie Software: activitățile procesului de dezvoltare de software, metode agile de dezvoltare de software, diagrame UML.
Tematica 3: Sisteme de calcul. Tematica include teme discutate la disciplinele: arhitectura calculatoarelor, sisteme de operare, rețele de calculatoare:
- Arhitectura calculatoarelor: structura unui sistem de calcul, unitatea centrală de prelucrare, memoria unui sistem de calcul, dispozitivele periferice ale unui sistem de calcul, magistralele unui sistem de calcul, reprezentarea numerelor în calculator.
- Sisteme de operare: accesul concurent la resurse (problema secțiunii critice), probleme de comunicare, algoritmi de planificare CPU, algoritmi de paginare, algoritmi de detecție și evitare a impasului.
- Rețele de calculatoare: încapsularea protocoalelor, comunicare orientată pe datagrame, retransmisie.
Bibliografie:
- Bruno Buchberger, Logic for Computer Science, Unpublished Lecture Notes, Copyright Bruno Buchberger, 1991, http://staff.fmi.uvt.ro/ adrian.craciun/lectures/ logica/pdf/buchberger-logic.pdf
- Mordechai Ben-Ari, Mathematical Logic for Computer Science, Ed. Springer Verlag London, 2009
- Adrian Crăciun, Logic for Computer Science (note de curs), http://staff.fmi.uvt.ro/˜adrian.craciun
- Mircea Marin, Graph Theory and Combinatorics (note de curs), http://staff.fmi.uvt.ro/˜mircea.marin
- Th. Cormen, Ch. Leiserson, R. Rivest, C. Stein, Introduction in algorithms, Ed. MIT Press, 2008; (trad. lb română) Ed. Teora, 1995
- Allen B. Downey, Chris Mayfield, Think Java - How to Think Like a Computer Scientis, Copyright Allen Downe, 2012
- H. Garcia-Molina, J. Widom, Database Systems: The Complete Book, ED. Pearson Education Inc, 2009
- John M. Harris, Jeffry L. Hirst, Michael J. Mossinghoff, Combinatorics and Graph Theory, Ed. Springer Science+Business Media, 2008
- J. E. Hopcroft, R. Motwani, J. D. Ullman, Introduction to Automata Theory, Languages, and Computation (3rd Edition), Addison-Wesley Longman Publishing Co., Inc., 2006
- I. Jacobson, H. Lawson, Pan-Wei Ng, P.E. McMahon, M. Goedicke, The Essentials of Modern Software Engineering, ACM Books, 2019
- B. Kernighan, D. Ritchie, The C Programming Language, Ed. Addison-Wesley, 2001
- D. C. Kozen, Automata and Computability, Ed. Springer, 1997
- Dragos-Radu Popescu, Combinatorica și Teoria Grafurilor, Ed. Societatea de Științe Matematice din Romania, 2005
- Ian Sommerville, Software Engineering 9-th ed., Ed. Pearson Education Limited, 2016
- Ian Sommerville, Engineering software products, Pearson Education, 2020
- Bjarne Stroustrup, The C++ Programming Language, ED. Pearson Education, 2005
- Andrew S. Tanenbaum, Todd Austin, Structured Computer Organization, Ed. Pearson, 2013
- Andrew S. Tanenbaum, Computer Networks, Ed. Pearson, 2011
- Andrew S. Tanenbaum, Modern Operating Systems, Ed. Pearson, 2009
- Resursă web: http://agilemodeling.com/essays/umlDiagrams.htm