1. A.Gog, A. Sabau, D. Bufnea, A. Sterca, A. Darabant, Al.

Vancea – Programarea în limbaj

de asamblare 80x86. Exemple si aplicatii., Editura Risoprint, Cluj-Napoca, 2005.
2. Al. Vancea, F. Boian, D. Bufnea, A. Gog, A. Darabant, A. Sabau – Arhitectura
calculatoarelor. Limbajul de asamblare 80x86., Editura Risoprint, Cluj-Napoca, 2005.
3. Boian F. M. De la aritmetica la calculatoare. Ed. Presa Universitara Clujeana, Cluj, 1996
4. Boian F. M. Sisteme de operare interactive. Ed. Libris, Cluj, 1994
5. Boian F. M., Vancea A., Iurian S., Iurian M. Programare avansata de sistem si aplicatii
IBM-PC, lito. Universitatea "Babes-Bolyai", 1996
6. Boian F.M. Vancea A. Arhitectura calculatoarelor, suport de curs. Facultatea de Matematica
si Informatica, Centrul de Formare Continua si Invatamânt la Distanta,. Ed. Centrului de
Formare Continua si Invatamânt la Distanta, Cluj, 2002,
7. C. Gherghe, D. Popescu, Criptografie. Coduri. Algoritmi, Editura Univ. Bucuresti, 2005.
8. Cl.BENZAKEN: Systeme formels. Introduction a la logique, ed.Masson, 1991.
9. D.I. Duca, E. Duca, Exerciţii şi probleme de analiză matematică, vol. I, II, Casa Cărţii de
Ştiinţă, Cluj-Napoca, 2007, 2009.
10. D.Tatar: Bazele matematice ale calculatoarelor, ediţia 1999 - UBB library
11. D.Tatar: Inteligenta artificiala: demonstrare automata de teoreme si NLP, Ed.
Microinformatica, 2001.
12. Frentiu, M., H.F. Pop, Serban G. - Programming Fundamentals
13. G. Calugareanu, Lectii de algebra liniara, Lito UBB, Cluj-Napoca, 1995.
14. I. Purdea, C. Pelea, Probleme de algebra, Editura EIKON, Cluj-Napoca, 2008
15. J.P.DELAHAYE: Outils logiques pour l'intelligence artificielle, ed.Eyrolls, 1986.
16. M. Cocan, B. Pop: Bazele matematice ale sistemelor de calcul, Editura Albastra, Cluj-
Napoca, 2001 – ubb library
17. M. Lupea, A. Mihis: A Computational Approach to Classical Logics and Circuits, Editura
Risoprint, Cluj-Napoca, 2015.
18. M. Lupea, A. Mihis: A Computational Approach to Classical Logics and Circuits, Editura
Presa Universitară Clujeană, Cluj-Napoca, 2016.
19. M. Lupea, A. Mihis: Logici clasice şi circuite logice. Teorie şi exemple, ediţia 3, Editura
Albastra, Cluj-Napoca, 2011 – UBB library.
20. M. Possega: Deduction Systems, Inst. of Informatics, 2002, on-line course.
21. Mihaela Malita, Mircea Malita, Bazele Inteligentei Artificiale, Vol. I, Logici propozitionale,
Ed. Tehnica, Bucuresti, 1987 – UBB library.
22. N. Both, S. Crivei, Culegere de probleme de algebra, Lito UBB Cluj-Napoca, 1996.
23. Ş. Cobzaş, Analiză matematică - Calculul diferenţial, Presa Universitară Clujeană, Cluj-
Napoca, 1997
24. T. Trif, Probleme de calcul diferenţial şi integral în Rn, Casa Cărţii de Ştiinţă, Cluj-Napoca,
2003.
25. W.W. Breckner, Analiză matematică. Topologia spaţiului Rn, Universitatea din Cluj-
Napoca, Cluj-Napoca, 1985.