PROGRAMA FACULTATII DE MATEMATICA-INFORMATICA - SECTIA INFORMATICA

AN 1 -----------------------------------------------------------------------------------------------------

CURS: ALGEBRA
CONTINUT:
Multimi si functii:Multimi, functii, compunerea functiilor. Clase speciale de fu
nctii: functii injective, surjective,
bijective, inversabile. Relatii de echivalenta, multime factor.
Legi de compozitie :Legi de compozitie, proprietati. Monoizi, morfisme de monoiz
i, reguli de calcul ntr-un monoid.
Monoidul liber generat de o multime.
Grupuri :Grupuri, morfisme de grupuri. Subgrup, subgrupul generat de o multime.
Teorema Lagrange. Subgrup normal.
Grup factor, teorema fundamentala de izomorfism. Ordinul unui element ntr-un grup
. Grupuri ciclice.
Grupuri de permutari :Grupul permutarilor unei multimi finite. Morfismul signatu
ra. Transpozitii. Cicluri.
Descompunerea unei permutari n produs de cicli disjuncti si n produs de transpozit
ii.
Inele : Inele, morfisme de inele, subinele, ideale. Inele de matrice. Inele de p
olinoame ntr-o nedeterminata. Inel factor,
teorema fundamentala de izomorfism. Corpuri, subcorpuri. Corpul fractiilor unui
domeniu de integritate.
Polinoame n mai multe nedeterminate : Polinoame simetrice. Teorema fundamentala a
polinoamelor simetrice.
Teorema mpartirii cu rest n K[X] : Radacini ale polinoamelor. Polinoame ireductibi
le. Descompunerea unui polinom
n produs de polinoame ireductibile. Teorema fundamentala a algebrei.
Spatii vectoriale: Spatii vectoriale, aplicatii liniare. Subspatii vectoriale, s
patiu vectorial factor, teorema fundamentala de
izomorfism. Baze ntr-un spatiu vectorial (cazul finit generat). Dimensiunea unui
spatiu vectorial, proprietati.
Transformarea coordonatelor la schimbarea bazelor.
Aplicatii multiliniare alternate : Determinanti. Matrice inversabile. Regula lui
Cramer. Rangul unei matrice. Metode de
rezolvare a sistemelor de ecuatii liniare.
Algebra endomorfismelor unui spatiu vectorial finit dimensional : Matricea asoci
ata unui endomorfism. Vectori si
valori proprii. Polinomul caracteristic si polinomul minimal. Teoremele Hamilton
- Cayley si Frobenius. Matrice
asemenea. Forma canonica Jordan.
BIBLIOGRAFIE:
1. I.D.Ion, N.Radu, Algebra, Ed.Did. si Ped., Bucuresti, 1991
2. I.D.Ion, C.Nita, D.Popescu, N.Radu, Probleme de algebra, Ed.Did. si Ped., Buc
uresti. 1981
3. C.Nastasescu, C.Nita, C.Vraciu, Bazele Algebrei, Ed. Academiei, Bucuresti, 19
86
4. C.Nastasescu, C.Nita, C.Vraciu, Aritmetica si algebra, Ed. Did. si Ped., Bucu
resti, 1993

CURS: ANALIZA
CONTINUT:
SEMESTRUL 1
1. Elemente de logica si elemente de elemente de teoria multimilor.
2. Sistemul numerelor reale.
3. Elemente de topologie n Rn.
4. Convergenta.
5. Continuitate.
SEMESTRUL 2
1. Diferentiabilitate.
2. Integrabilitate.
3. Serii (numerice, de functii, de puteri, trigonometrice).
4. Functii spline.
BIBLIOGRAFIE:
1. Nicu Boboc, Analiza Matematica, Editura Universitatii Bucuresti, 1992, 1993 (
2 vol.).
2. Ion Colojoara, Analiza Matematica, Editura Didactica si Pedagogica Bucuresti,
1983.
3. XXX, Analiza Matematica, Editura Didactica si Pedagogica Bucuresti, editia V,
1980 (2 vol.).

CURS: LOGICA MATEMATICA SI COMPUTATIONALA

CONTINUT:
1. Relatii binare.
- Relatii binare si matrici booleene.Operatii cu relatii binare. Proprietati ale
relatiilor binare. Calculul inchiderilor
(tranzitiva,reflexiva,etc). Operatori de inchidere si conexiuni Galois.
2. Latici si algebre Boole.
- Relatii de ordine.Latici.Algebre Boole.Proprietati generale,exemple. Implicati
a si echivalenta booleana. Inele Boole.
Filtre si congruente.Algebre Boole cat. Ultrafiltre.Teorema de reprezentare a lu
i Stone. Structura algebrelor Boole finite.
Functii booleene.
3. Sistemul formal al calculului propozitional.
- Dimensiuni ale unui sistem logic. Sintaxa:limbaj,demonstratii formale,deductie
formala din ipoteze. Proprietati
sintactice.Teorema deductiei. Algebra Lindenbaum-Tarski. Semantica calculului pr
opozitional.Interpretari. Teorema de
completitudine. Sisteme deductive.Multimi consistente. Teorema de completitudine
tare. Tablouri semantice.
4. Sistemul formal al calculului cu predicate.
- Structuri de ordinul intai.Exemple. Construtia limbajului:termeni,formule,enun
turi. Semantica calculului cu
predicate.Modele. Exemple de enunturi universal adevarate. Deductia semantica.
5.Teorii deductive.
BIBLIOGRAFIE:
1. V. Cazanescu, Curs de bazele informaticii, 1981
2. C. Calude, V. Cazanescu, Bazele informaticii, 1984
3. S. Rudeanu, Elemente de teoria multimilor, 1973
4. S. Rudeanu, Curs de bazele informaticii, 1982
5. Gr. C. Moisil, Elemente de logica si teoria multimilor, Ed. Stiintifica, 1968
6. K. Kuratowski, Introducere in teoria multimilor si topologie, Ed. Tehnica, 19
69
7. G. Metakides, A. Nerode, Principii de logica si programare logica, Ed. Tehnic

a, 1998
8. D. Busneag, Categories of algebraic logic, Ed. Academiei, 2006
9. D. Busneag, F. Chirtes, D. Piciu, Probleme de logica si teoria multimilor, Ed
.Universitaria, 2003
10. I. Lavrov, L. Maksimova,Probleme de logica si teoria multimilor, Ed.Tehnica,
1974
11. S. Burris, H. P.Sankappanavar, A course in universal algebra (accesibil pe i
nternet)

CURS: PROGRAMARE PROCEDURALA

CONTINUT:
1) Generalitati despre algoritmi: ce este un algoritm, directii de cercetare, no
tatia asimptotica.
2) Generalitati despre limbajele de programare: lexicul limbajului, sintaxa unui
limbaj de programare
3) Limbajul C: tipuri de date, instructiuni, functii, recursivitate, pointeri, m
asive, tipuri definite de utilizatori,
fisiere, I/O, directive de preprocesor.
4) Algoritmi de generare a submultimilor (varianta iterativa si recursiva)
5) Structuri cu alocare dinamica in C: Stive, Cozi, etc.
BIBLIOGRAFIE:
1. Herbert Schildt. C, C++ manual complet. Ed.Teora, Bucuresti, 1997 (si urmatoa
rele editii).
2. Udi Manber: Introduction to Algorithms: A Creative Approach, Addison Wesley(1
989)

CURS: ARHITECTURA SISTEMELOR DE CALCUL

CONTINUT:
1. Coduri de reprezentare a datelor.
2. Circuite combinationale (porti).
3. Algebre Boole.
4. Sisteme digitale.
- Sisteme de tipul 0 (decodor, codificator, multiplexor, demultiplexor; comparat
or; memorie ROM; unitatea
aritmetico - logica).
- Sisteme de tipul 1 (cicluri; zavoare; structura master - slave; flip-flopuri;
registru serial si paralel; memoria
RAM).
- Sisteme de tipul 2 (automate finite; numaratori; memorie de tip stiva; aritmet
ica seriala si paralela; MAC;
automate de control).
- Sisteme de tipul 3 (procesor; automat aritmetico - logic; registru numarator).
- Sisteme de tipul 4 (computerul). Masini Turing; arhitectura unei masini Turing
.
BIBLIOGRAFIE:
1. A. Atanasiu - Arhitectura calculatoarelor, Editura InfoData, 2006

CURS: ALGORITMI SI STRUCTURI DE DATE

CONTINUT:

1. Algoritmi. Corectitudinea algoritmilor. Analiza performantei algoritmilor. Ci

teva clase de complexitate pentru
comportarea asimptotica a algoritmilor.
2. Structuri lineare in alocare secventiala si in alocare dinamica (inlantuita).
Operatii pe liste: traversare, cautare, inserare,
stergere. Tipuri particulare de liste (cu nod marcaj, circulare, dublu inlantuit
e). Aplicatii ale listelor: reprezentarea
numerelor mari, reprezentari de polinoame. Multiliste. Aplicatii: reprezentarea
matricilor rare, reprezentari de grafuri.
Structuri lineare cu restrictii la intrare/iesire: stive si cozi. Aplicatii.
3. Structuri arborescente. Arbori oarecari. Definitii, terminologie, reprezentar
i, parcurgeri. Arbori binari. Reprezentari,
parcurgeri. Arbori binari stricti. Proprietati matematice. Aplicatii. Arbori bin
ari de cautare. Operatii: cautare, inserare,
stergere. Algoritmul de cautare binara si performanta lui. Arbori binari echilib
rati AVL. Performanta cautarii in arbori
binari de cautare echilibrati AVL.
4. Algoritmi de sortare pentru multimi statice (vectori). Clasa algoritmilor de
sortare bazati pe comparatii intre chei.
Sortarea prin insertie. Sortarea prin selectie. Sortarea prin interschimbare. So
rtarea Shell. Sortarea cu ansamble
(HeapSort). Sortarea rapida (QuickSort). Limita inferioara a performantei algori
tmilor de sortare bazati pe comparatii
intre chei. Sortarea prin interclasare (MergeSort). Sortarea lexicografica.
5. Arbori binari stricti cu ponderi. Algoritmul lui Huffman. Aplicatii la codifi
carea binara. Aplicatii la interclasarea
optimala a mai multor siruri.
6. Tabele de dispersie. Functii de dispersie. Rezolvarea coliziunilor prin inlan
tuire. Rezolvarea coliziunilor prin adresare
directa. Cautare, inserare, stergere in tabele de dispersie. Dispersie universal
a.
BIBLIOGRAFIE:
1. A. V. Aho, J. E. Hopcroft, J. D. Ullman: "Data Structures and Algorithms", Ad
dison-Wesley Publ. Comp., 1983
2. R. Ceterchi: "Structuri de date. Aspecte matematice si aplicatii", Editura Un
iv. din Bucuresti, 2001
3. T. H. Cormen, C. E. Leiserson, R. L. Rivest: "Introduction to Algorithms", Th
e MIT Press, 1990 (si editiile ulterioare)
4. D.E. Knuth :"Tratat de programarea calculatoarelor", vol. I si III
5. I. Tomescu: "Data Structures", Editura Univ. din Bucuresti, 2006
6. N. Wirth: "Algorithms + Data Structures = Programs", Prentice Hall Inc., 1976

CURS: GEOMETRIE
CONTINUT:
I. Spatii vectoriale
I.1. Baze. Dimensiune
I.2. Subspatii vectoriale
I.3. Varietati liniare
I.4. Morfisme de spatii vectoriale
I.5. Operatori liniari si transformari liniare
I.6. Forme p-liniare. Forme patratice
II. Spatii afine
II.1.Repere in spatii afine
II.2.Subspatii afine
II.3.Morfisme de spatii afine
II.4.Forme patratice afine. Conice. Cuadrice

III. Spatii vectoriale euclidiene

III.1.Baze ortonormate de vectori
III.2.Suplimentul ortogonal al unui subspatiu
III.3.Transformari ortogonale
III.4.Produse de vectori
III.5.Conice si cuadrice in spatiul euclidian
BIBLIOGRAFIE:
1. V. Cruceanu - Elemente de algebra liniara si geometrie (Ed. didactica si peda
gogica, Bucuresti, 1973)
2. Radu Miron - Geometrie analitica (Ed. didactica si pedagogica, Bucuresti, 197
6)
3. C. Udriste - Probleme de algebra liniara, geometrie analitica si diferentiala
. (Ed. didactica si
pedagogica, Bucuresti, 1973)

CURS: LIMBAJE FORMALE SI AUTOMATE

CONTINUT:
1. Automate finite deterministe si nedeterministe.
Echivalenta automatelor finite. Proprietati de inchidere si probleme de decizie.
Teorema Kleene. Caracterizarea
limbajelor recunoscute se automate finite prin relatii de echivalenta. Automatul
minimal.
2. Gramatici generative.
Ierarhia Chomsky. Echivalenta gramatici regulate - automate finite. Gramatici in
dependende de context.
Automate pushdown. Echivalenta modurilor de acceptare pentru automatelor pushdow
n. Echivalenta gramatici
independente de context - automate pushdown. Arbori de derivare. Conditii necesa
re pentru limbaje
independente de context.
Proprietati de inchidere si probleme de decizie.
3. Masina Turing.
Gramatici dependente de context si automate liniar marginite. Echivalenta masini
lor Turing cu gramaticile de
structura a frazei.
BIBLIOGRAFIE:
1. A. Aho, R. Sethi, J. Ullman, Compilers, Principles, Techniques and Tools, Add
ison Wesley Pub., 1986
2. M.D. Davis, E.J. Weyuker, Computability, Complexity and Languages, Academic P
ress 1984.
3. J.E. Hopcroft, J.D: Ullman, Introduction to Automata Theory, Languages and Co
mputation, Addison-Wesley, 1979.
4. A. Salomaa, G. Rozenberg (eds.), Handbook of Formal Languages, 3 vol., Spring
er Verlag, 1997.

CURS: PROGRAMARE ORIENTATA PE OBIECTE

CONTINUT:
1. Principiile programarii orientate pe obiecte
2. Proiectarea ascendenta a claselor. Incapsularea datelor in C++
3. Supraincarcarea functiilor si operatorilor in C++
4. Proiectarea descendenta a claselor. Mostenirea in C++
5. Constructori si destructori in C++

6. Modificatori de protectie in C++

7. Conversia datelor in C++
8. Mostenirea multipla si virtuala in C++
9. Membrii constanti, volatile si statici ai unei clase in C++
10. Parametrizarea datelor. Sabloane in C++. Clase generice
11. Parametrizarea metodelor (polimorfism). Functii virtuale in C++. Clase abstr
acte
12. Controlul tipului in timpul rularii programului in C++
13. Tratarea exceptiilor in C++
14. Alte elemente avansate
BIBLIOGRAFIE:
1. Herbert Schildt. C++ manual complet. Ed.Teora, Bucuresti, 1997 (si urmatoarel
e editii).
2. Bruce Eckel. Thinking in C++ (2nd edition). Volume 1: Introduction to Standar
d C++. Prentice Hall, 2000.
Volume 2: Practical Programming. Prentice Hall, 2003. (cartea se poate descarca
in format electronic, gratuit si
legal de la adresa http://www.mindviewinc.com/)

CURS: ALGORITMICA GRAFURILOR

CONTINUT:
1. Matrici asociate unui graf
2. Parcurgerea in latime si in adancime a grafurilor
3. Matricea drumurilor asociate unui graf. Algoritmul Roy-Warshall
4. Arbori de pondere minima. Algoritmii lui Prim si Kruskal
5. Distante si drumuri minime in grafuri. Algoritmii lui Roy-Floyd, Dantzig si D
ijkstra
6. Cicluri euleriene. Algoritmul lui Fleury
7. Cicluri hamiltoniene optime. Algoritmul lui Christofides
8. Cuplaje. Problema repartitiei optime. Algoritmul Kuhn-Munkres
9. Fluxuri in retele. Algoritmul lui Ford-Fulkerson. Teorema lui Menger
BIBLIOGRAFIE:
1. S. Even, Graph algorithms, Computer Science Press, Maryland , 1979
2. D. Knuth, Arta programarii calculatoarelor, Editura Teora, 2002
3. D.R. Popescu, Combinatorica si teoria grafurilor, SSMR, 2005
4. I. Tomescu, Combinatorica si teoria grafurilor, Tipografia Univ. Bucuresti, 1
978

AN 2 ---------------------------------------------------------------------------------------------------------------

CURS: GEOMETRIE COMPUTATIONALA

CONTINUT:
I. Modelare geometrica
1. Elemente de geometria diferentiala a curbelor si suprafetelor.
2. Tipuri de curbe utilizate in grafica asistata de calculator: curbe Bezier, cu
rbe B-spline, curbe Bezier
rationale.
3. Suprafete parametrizate de tip produs tensorial.
II. Algoritmi geometrici

1.
2.
3.
4.
5.
6.
7.

Preliminarii.
Problema localizarii punctelor.
Acoperiri convexe. Algoritmul lui Graham.
Intersectii.
Triangulari.
Diagrame Voronoi.
Triangulari Delaunay.

BIBLIOGRAFIE:
1) M. de Berg, M. van Kreveld, M. Overmars si O. Schwarzkopf, Computational Geom
etry, Algorithms and Applications, Springer, 2000.
2) G. Farin, Curves and Surfaces for CAGD, A practical Guide, Academic Press, 20
02.
3) M.I. Munteanu, Algoritmici geometrici 2D si aplicatii in CAGD, Editura Univer
sitatii Al. I. Cuza, Iasi, 2005.
4) E. Petrisor, Modelare geometrica algoritmica, Ed. Tehnica, Bucuresti, 2001.
5) F. Preparata si M. Shamos, Computational Geometry: An Introduction, Springer,
1985.

CURS: CALCULABILITATE SI COMPLEXITATE

CONTINUT:
- Masini Turing. Echivalenta masinilor Turing deterministe si nedeterministe. Fu
nctii Turing calculabile.
- Functii recursive.
- Programe standard si functii calculabile. Echivalenta functiilor Turing calcul
abile, recursive, si calculabile
cu programe standard.
- Functia universala, masina Turing universala.
- Problema opririi masinilor Turing si implicatiile ei. Teorema Rice. Probleme c
orespondentei lui Post.
- Clase de complexitate timp si spatiu. Reducerea numarului de benzi. Reducerea
cu un factor constant.
- Ierarhii de clase de complexitate. Relatii intre clase de complexitate. Teorem
a lui Savitch.
- Clasele NP si P. Problema N=NP. NP-, P-, PSPACE-completitudine. Exemple.
BIBLIOGRAFIE:
1. M.D. Davis, E.J. Weyuker, Computability, Complexity and Languages, Academic P
ress 1984.
2. J.E. Hopcroft, J.D. Ullman, Formal Languages and Their Relation to Automata,
Addison-Wesley, Reading Mass. 1969.
3. J.E. Hopcroft, J.D. Ullman, Introduction to Automata Theory, Languages and Co
mputation, Addison-Wesley, Reading Mass. 1979.
4. C.H. Papadimitriou, Computational Complexity, Addison-Wesley, NY 1994.
5. G. Rozenberg, A. Salomaa (Eds.), Handbook of Formal Languages, vol. 2, Spring
er-Verlag, Berlin 1997.

CURS: TEHNICI AVANSATE DE PROGRAMARE

CONTINUT:
1. Algoritmi. Complexitate n timp.

2. Parcurgeri de arbori binari si de arbori oarecare

3. Parcurgerea grafurilor (n adncime si pe latime). Aplicatii la determinarea comp
onentelor
conexe si biconexe, a ciclicitatii grafurilor
4. Metode de sortare
5. Principiul includerii si excluderii. Principiul cutiei al lui Dirichlet
6. Metoda Greedy
7. Metoda backtracking
8. Metoda Divide et Impera
9. Metoda programarii dinamice
10. Metoda Branch & Bound
11. Algoritmi euristici
12. Algoritmi optimali. Algoritmi probabilisti. Algoritmi genetici
13. Analiza lexicala si sintactica. Generarea codului pentru expresii aritmetice
14. NP - completitudine
BIBLIOGRAFIE:
Manber U. - Introduction to Algorithms. A Creative Approach, Addison Wesley, 198
9
Horowitz E., Sahni S. - Fundamentals of Computer Algorithms, Computer Science Pr
ess, 1977
Georgescu H., Livovschi L. - Sinteza si analiza algoritmilor, Ed. Stiintifica si
Enciclopedica, 1986
Georgescu H. - Introducere n universul Java, Ed. Tehnica, 2000
Georgescu H. - Tehnici de programare, Ed. Univ. Buc., 2005

CURS: PROBABILITATI
CONTINUT:
1. Camp discret de probabilitate.
2. Camp de probabilitate.
3. Independenta stocastica: independenta evenimentelor si a familiilor de indepe
ndente.
4. Variabile aleatoare cu multimi numarabile de valori: corpul borelian si repar
titia unei variabile
aleatoare, caracteristici numerice, variabile aleatoare independente.
5. Exemple de repartitii: repartitia geometrica, repartitia binomiala, repartiti
a Poisson.
6. Variabile aleatoare oarecare; proprietati, functia de repartitie, momente.
7. Convergenta sirurilor de variabile aleatoare. Legea numerelor mari.
8. Teorema limita centrala; repartitia normala, teorema limita centrala in forma
Moivre-Laplace.
BIBLIOGRAFIE:
1. L. Stoica, Introducere in Calculul Probabilitatilor(Modele elementare si o in
vitatie la Teoria Masurii). 2004, Editura Universitatii din Bucuresti
2. C. Tudor, Teoria Probabilitatilor. 2004, Editura Universitatii din Bucuresti.

CURS: TEHNICI WEB

CONTINUT:
Scopul cursului este prezentarea tehnicilor si tehnologiilor necesare pentru dez
voltarea de aplicatii web pe
partea de client (in browser):
? HTML (XHTML) limbajul de marcare pentru realizarea paginilor web
? CSS limbajul de descriere a stilurilor

? JavaScript limbajul de scripting pus la dispozitie de browser-ele web

? DOM modelul orientat pe obiecte al unei pagini web disponibil din JavaScript
? AJAX tehnologia bazata pe JavaScript pentru realizarea aplicatiilor web 2.0
BIBLIOGRAFIE:
http://www.w3.org/
http://www.w3schools.com/
http://developer.mozilla.org/
http://www.mozilla.org/js/
MSDN (http://msdn.microsoft.com/)

CURS: SISTEME DE OPERARE

CONTINUT:
1. Locul sistemului de operare in arhitectura calculatoarelor
2. Functionalitatile sistemelor de operare
3. Gestiunea proceselor: caracteristicile proceselor, comunicare intre procese
4. Gestiunea memoriei
5. Gestionarea perifericelor
6. Sisteme de gestiune a fisierelor
7. Lucrul in retea
8. Arhitecturi multiprocessor
9. Elemente de securitate
BIBLIOGRAFIE:
1. A. Baranga - Programarea in C/C++ in sistemul de operare UNIX, Editura Albast
ra, Cluj-Napoca 2003
2. M. Vlada - Sisteme de operare, Biblioteca virtuala a Universitatii din Bucure
sti
3. A. Tannenbaum - Sisteme de operare moderne, Ed. Byblos, 2004

CURS: STATISTICA
CONTINUT:
1. Statistica descriptive. Indicatori statistici. Aplicatii software
2. Modele probabiliste utilizate in statistica. Generare de variabile aleatoare.
Aplicatii software
3. Estimarea parametrilor: estimatii nedeplasate, estimatii eficiente
4. Metoda verosimilitatii maxime. Aplicatii software
5. Metoda celor mai mici patrate. Aplicatii software
6. Modele liniare si nelineare de regresie. Estimarea parametrilor regresiei lin
iare. Aplicatii software
7. Teste parametrice pentru ipoteze simple. Testul raportului probabilitatilor.
Aplicatii software
8. Testul raportului de verosimilitate. Aplicatii software
9. Analiza de varianta. Aplicatii software
BIBLIOGRAFIE:
M. Dumitrescu, A. Batatorescu, Applied statistics using the R system, Ed. Univer
sitatii Buc., 2006
V. Craiu, Statistica Matematica Partea I (Repartitii, selectie, estimarea punctu
ala) Ed. Universitatii Buc.,1997
V. Craiu, V. Paunescu, Elemente de statistica matematica cu aplicatii, Ed. Mondo
-Ec, 1998
Ashish Sen, Muni Srivastava : Regression analysis - Theory, methods and applicat
ions. Springer Verlag, New York, 1990.

CURS: INTELIGENTA ARTIFICIALA

CONTINUT:
1. ASPECTE ALE CAUTARII SI REPREZENTARII CUNOSTINTELOR
N INTELIGENTA ARTIFICIALA
1.1. Tehnici de cautare. Aplicatii n teoria jocurilor
1.1.1. Cautare neinformata si informata
1.1.2. Jocurile ca probleme de cautare
1.2. Reprezentarea cunostintelor
1.2.1. Tipuri de cunostinte (relationale simple, care se mostenesc, inferentiale
, procedurale)
1.2.2. Clase de metode pentru reprezentarea cunostintelor (reprezentari bazate p
e logica,
reprezentari de tip "slot-filler")
1.2.3. Instrumente pentru reprezentarea cunostintelor (reguli if-then, cadre, sc
ripturi,
retele semantice, grafuri conceptuale, retele Bayesiene)
1.2.4. Reprezentarea cunostintelor n sistemele expert
1.2.5. Aplicatii ale reprezentarii cunostintelor n procesarea limbajului natural
2. ASPECTE ALE NVATARII AUTOMATE
2.1. Natura nvatarii artificiale
2.1.1. Modelul general al nvatarii din exemple
2.1.2. Compromisul eroare de aproximare - eroare de estimare. Metode de penaliza
re
2.1.3. Evaluarea performantelor nvatarii
2.1.4. Compararea metodelor de nvatare
2.2. nvatarea prin optimizare. Retele de perceptroni
2.2.1. Perceptronul, un model matematic al neuronului
2.2.2. Algoritmi de nvatare a perceptronului
2.2.3. Performantele si limitele de nvatare ale perceptronului
2.2.4. Arhitectura retelelor de perceptroni
2.2.5. Algoritmul propagarii napoi pentru antrenarea retelelor de perceptroni
2.2.6. Performatele retelelor de perceptroni
BIBLIOGRAFIE:
1. ENACHESCU, D., Elements of Statistical Learning. Applications in Data Mining.
CLEUP,Universita di Padova, 2003.
2. FINE, T.L., Feedforward Neural Network Methodology, Springer, New York, 1999.
3. HRISTEA, F., BALCAN, M.F., Aspecte ale cautarii si reprezentarii cunostintelo
r in inteligenta artificiala. Editura Universitatii din Bucuresti, 2004.
4. HRISTEA, F., BALCAN, M.F., Cautarea si reprezentarea cunostintelor in intelig
enta artificiala. Teorie si aplicatii. Editura Universitatii din Bucuresti, 2005
.
5. NILLSON, N., Artificial Intelligence: A New Synthesis. Morgan Kauffman, 1998.
6. RUSSELL, S. J., NORVIG, P., Artificial Intelligence. A Modern Approach. Prent
ice - Hall International, Inc., 1995.

CURS: BAZE DE DATE

CONTINUT:
1. Proiectarea bazelor de date
Obiectivele, arhitectura, caracteristicile si evolutia sistemelor de gestiune a
bazelor de date.
Clasificarea modelelor de date. Modelarea semantica a informatiei (diagrama enti
tate/relatie).

Analiza si proiectarea modelului relational. Construirea diagramei conceptuale.

Executarea si
optimizarea interogarilor. Eliminarea dependentelor. Anomalii n proiectarea model
elor relationale.
Normalizarea si denormalizarea relatiilor. Limbaje pentru prelucrarea datelor re
lationale.
2. Neprocedural n baze de date
Limbajul pentru definirea datelor (crearea, modificarea si distrugerea structuri
i obiectelor).
Limbajul pentru prelucrarea datelor (inserarea, stergerea, reactualizarea si int
erogarea). Limbajul
pentru controlul datelor. Toate conceptele sunt definite si exemplificate relati
v la SQL (Structured
Query Language) pe Oracle9i.
BIBLIOGRAFIE:
1. Connolly T., Begg C., Strachan A., Baze de date, Editura Teora, Bucuresti, 20
01.
2. Date C. J., An Introduction to Database Systems, Pearson Education, Addison W
esley Higher Education, 2004.
3. Popescu I., Modelarea bazelor de date, Editura Tehnica, Bucuresti, 2001.
4. Popescu I., Alecu A., Velcescu L., Florea G., Programare avansata n Oracle9i,
Editura Tehnica, Bucuresti, 2004.

CURS: RETELE DE CALCULATOARE

CONTINUT:
Fluxuri.
Serializarea obiectelor.
Socket-uri. Comunicare prin socket-uri.
Rolul firelor de executare la programarea n retea.
Invocarea la distanta. Modelul RMI. Apeluri inverse. ncarcarea dinamica a claselo
r.
Exploatarea la distanta a bazelor de date.
CORBA. Limbajul IDL. Comunicarea ntre calculatoare folosind limbaje de programare
diferite.
Servlet-uri. Serverul de Web Tomcat. Gestionarea servlet-urilor. Accesarea bazel
or de date.
Transmiterea de fisiere. Applet-uri n loc de pagini Web. Gestionarea sesiunilor.
BIBLIOGRAFIE:
Horia Georgescu - Introducere n universul Java, Ed. Tehnica, 2002
Quasay H. Mahmoud - Distributed Programming with Java, Manning, 2000
Marty Hall - Core Servlets and Java Server Pages, Prentice Hall, 2003
Jayson Falkner, Kevin Jones - Servlets and Java Server Pages, Addison Wesley, 20
04

CURS: PROGRAMARE LOGICA

CONTINUT:
Curs
1.Introducere in studiul algebrelor multisortate
2.Introducere in rescrierea termenilor
3.Logica ecuationala
4.Unificare
Seminar

1.Exercitii cu algebre multisortate

2.Aplicatii ale algebrelor multisortate in semantica, compilare, etc
Laborator
1.Introducere intr-un limbaj bazat pe rescriere
BIBLIOGRAFIE:
1. F.L. Tiplea: Algebra pentru informatica
2. Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite Systems (1990). Chapter
6 of Handbook of Theoretical Computer Science, Volume B: Formal Models and Semat
ics (B), pp.243 320.
3. Term Rewriting Systems, Terese, Cambridge Tracts in Theoretical Computer Scie
nce, 2003
4. Term Rewriting and All That, Franz Baader, Tobias Nipkow, Cambridge Universit
y Press, 1998

CURS: METODE DE DEZVOLTARE DE SOFTWARE

CONTINUT:
1. Generalitati
2. Analiza functionala (Capturarea cerintelor, specificare)
- Sisteme clasice; Limbajul de specificare Z
- Sisteme complexe: MSC-uri extinse, griduri, RV-scenarii
- Sisteme interactive finite; Limbaje 2-dimensionale
- UML: Modelare structurala si comportamentala (I - elemente de baza)
3. Dezvoltare (Proiectare, implementare)
- Calcul paralel: Comunicare cu mesaje; Limbajul MPI
- Calcul paralel: Memorie partajata; Thread-uri in Java/PThreads
- Calcul interactiv: Programe cu registri si voci; Limbajul AGAPIA
- Statechart-uri
- UML: Modelare structurala si comportamentala (II - elemente avansate)
- UML: Modelare arhitecturala
4. Testare (Testare partiala, verificare totala)
- Model checking: CTL*, sintaxa, semantica, exemple
- Model checking: Algorithm de model checking; SMV
- Logica Floyd-Hoare; Extensia la programe interactive
BIBLIOGRAFIE:
1. Limbajul Z - Mike Spivey, The Z Reference Manual, Prentice Hall 1992 [link] Jim Woodcock, Jim Davies, Using Z, Prentice Hall 1996 [link]
2. UML - G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeing Language UML, A
ddison Wesley, 1999
3. Calcul paralel - B. Wilkinson, C.M. Allen, Parallel Programming: Techniques a
nd Applications Using Networked Workstations and Parallel Computers, Prentice Ha
ll 1999.
4. Verificare - M. Huth, M. Ryan, Logic in Computer Science: Modelling and reaso
ning about systems, Cambridge University Press 2000.

CURS: DIDACTICA SPECIALITATII (INFORMATICA)

CONTINUT:
Noul Curriculum Scolar
Proiectarea activitatii didactice; etape, operatii
Metode de captare a atentiei si motivare a elevilor la orele de informatica
Metode de predare-invatare; metode de evaluare
Scenariu didactic vs. plan de lectie
Metode moderne in procesul de comunicare elev - profesor

Consideratii metodice privind

Consideratii metodice privind
Consideratii metodice privind
Consideratii metodice privind
Consideratii metodice privind
Consideratii metodice privind
rogramarii orientate spre
obiecte
Consideratii metodice privind
comunicatiilor

predarea
predarea
predarea
predarea
predarea
predarea

notiunii de algoritm
structurilor de date
sistemelor de operare
tehnicilor de programare
sistemelor de gestiune a bazelor de date
principiilor programarii structurate si p

predarea notiunilor de tehnologia informatiilor si

BIBLIOGRAFIE:
1. Ioan CERGHIT: Metode de invatamant, Editura didactica si pedagogica R.A., Buc
uresti, 1996 (editia a 2-a)
2. Maria Luiza DULAMA: Practica pedagogica; teorie si metodologie, Editura Clusi
um, Cluj-Napoca, 2005
3. Ion HOLBAN: Teste de cunostinte, Didactica, Editura didactica si pedagogica,
Bucuresti, 1995
4. Miron IONESCU, Ion RADU: Didactica moderna, Ed. Dacia, Cluj-Napoca, 1995
5. Ioan JINGA: Inspectia scolara, Didactica, Editura didactica si pedagogica, Bu
curesti, 1983
6. Ioan JINGA, Ioan NEGUT: Invatarea eficienta, Editura Aldin, Bucuresti, 1999
7. Eugen P. NOVEANU(coord.): Probleme de tehnologie didactica, Didactica, Editur
a didactica si pedagogica, Bucuresti, 1977
8. Carmen PETRE, Daniela POPA, Stefania CRACIUNOIU, Camelia ILIESCU: Metodica pr
edarii informaticii si tehnologiei informatiei, Editura Arves, Craiova, 2002.
9. Bartolomeu POPESCU: Filosofia si pedagogia lui Ioan Amos Comenius, Ed. Cultur
a Romaneasca, Bucuresti,1939
10.Dumitru SALADE (coord.): Didactica, Editura didactica si pedagogica, Bucurest
i, 1982

AN 3 ----------------------------------------------------------------------------------------------------------------

CURS: ECUATII DIFERENTIALE SI CU DERIVATE PARTIALE

CONTINUT:
1. Teoria elementara a ecuatiilor diferentiale (ecuatii cu variabile separabile,
omogene, liniare, afine, de tip
Bernoulli, Riccati, ecuatii exacte sau care admit factor integrant, ecuatii impl
icite, ecuatii de ordin superior al
caror ordin poate fi redus).
2.Existenta, unicitatea si dependenta continua a solutiilor locale, maximale si
globale.
3. Sisteme si ecuatii de ordin superior, liniare si afine.
4. Diferentiabilitatea solutiilor n raport cu datele initiale si parametrii.
5. Integrale prime. Ecuatii Pfaff.
6. Ecuatii diferentiale autonome si sisteme dinamice.
7. Ecuatii cu derivate partiale de ordinul I. Metoda caracteristicilor a lui Cau
chy.
BIBLIOGRAFIE:
1. Arnold, V.I, Ecuatii diferentiale ordinare, Ed. St. si Enciclopedica, Bucrest
i, 1978;
2. Barbu, V., Ecuatii diferentiale, Ed. Junimea, Iasi, 1985;
3. Hirsch, M, Smale, S., Differential equations, dynamical systems and linear al

gebra, Academic Press, New

York, 1971;
4. Halanay, Andrei, Mateescu, M., Elemente din teoria ecuatiilor diferentiale si
a ecuatiilor integrale, Ed.
Matrix Rom, Bucuresti, 2002.
5. Mirica, St., Ecuatii diferentiale si integrale, vol. I, II, III, Ed. Universi
tatii Bucuresti, 2000-2001.
6. Vrabie, I., Ecuatii diferentiale, Ed. Matrix Rom, Bucuresti, 1999.

CURS: SISTEME DE GESTIUNE A BAZELOR DE DATE

CONTINUT:
Concepte generale. Structura fizica si logica a unui SGBD. Arhitectura de referi
nta a unui SGBD.
Evolutie. Particularizare la arhitectura Oracle9i (Oracle9i Database, Applicatio
n Server, Developer Suite).
Arhitectura multitier, structura fizica si logica a bazei de date, arhitectura i
nterna (memorie, procese),
gestionarea si prelucrarea bazei de date. Securitatea bazei de date (administrar
e utilizatori si resurse, profiluri,
privilegii, role-uri, auditare).
Implementarea procedurala a modelelor proiectate n cadrul cursului de baze de dat
e. Procedural
Language/SQL. Structuri complexe de date, tipuri obiect si colectie, blocuri, co
menzi, cursoare. Modularizare
prin utilizarea subprogramelor si a pachetelor. Implementarea declansatorilor (t
rigger). Tratarea si gestiunea
erorilor. SQL dinamic. Toate exemplificarile se vor referi la Oracle9i.
BIBLIOGRAFIE:
1. Connolly T., Begg C., Strachan A., Baze de date, Editura Teora, Bucuresti, 20
01.
2. Date C. J., An Introduction to Database Systems, Pearson Education, Addison W
esley Higher Education, 2004.
3. Popescu I., Modelarea bazelor de date, Editura Tehnica, Bucuresti, 2001.
4. Popescu I., Alecu A., Velcescu L., Florea G., Programare avansata n Oracle9i,
Editura Tehnica, Bucuresti, 2004.

CURS: DEZVOLTAREA APLICATIILOR WEB

CONTINUT:
Scopul cursului este prezentarea tehnicilor si tehnologiilor necesare pentru dez
voltarea de aplicatii web pe
partea de server:
? Platforma .NET
? Limbajul de programare C#
? ASP.NET (platforma de dezvoltare a aplicatiilor Web de la Microsoft)
? XML
BIBLIOGRAFIE:
Adresele unde se gasesc specificatiile standard ale tehnologiilor de mai sus:
? http://www.w3.org/
? MSDN (http://msdn.microsoft.com/)

CURS: TEHNICI DE SIMULARE

CONTINUT:
1. Notiuni introductive de simulare a sistemelor.
2. Generarea numerelor aleatoare.
3. Metode generale de simulare a variabilelor aleatoare.
4. Simularea unor variabile continue particulare.
5. Simularea unor variabile discrete particulare.
6. Modele de simulare pentru sisteme de asteptare.
7. Simularea sistemelor informatice.
BIBLIOGRAFIE:
1. Vaduva, I. (2004) Modele de simulare, Editura Universitatii din Bucuresti.
2. Banks, J., Carson, J., Nelson, B., Nicol, D. (2005) Discrete-Event System Sim
ulation, Prentice-Hall.
3. Fortier, P. J., Howard, E. M. (2003) Computer Systems Performance Evaluation
and Prediction, Digital Press.
4. Ross, S. (1997) Simulation, Academic Press.

CURS: CALCUL NUMERIC

CONTINUT:
- Metode numerice de rezolvare a ecuatiilor neliniare
- Metode numerice de rezolvare a sistemelor de ecuatii liniare
- Metode numerice de rezolvare a sistemelor de ecuatii neliniare
- Metode numerice pentru determinarea spectrului unei matrice
- Interpolare polinomiala
- Formule de cuadratura si formule de cubatura
- Curbe de regresie
- Derivare numerica
- Metode numerice de rezolvare a ecuatiilor diferentiale
BIBLIOGRAFIE:
Gheorghe Grigore - Lectii de Analiza numerica - Bucuresti 1990.
Ioan Rosca - Analiza numerica - Bucuresti 1999.
Iuliana Munteanu, Daniel Stanica - Analiza Numerica, Teme si exercitii de labora
tor, Editura Universitatii
Bucuresti, 2006.

CURS: TEHNICI DE OPTIMIZARE

CONTINUT:
- Modele de optimizare liniara si programe software.
- Algoritmul simplex primal si algoritmul simplex dual.
- Interpretarea economica a valorilor si solutiilor.
- Metode de partitionare si relaxare.
- Metode pentru probleme de optimizare neliniara.
BIBLIOGRAFIE:
[1] A. Stefanescu, C. Zidaroiu, "Cercetari Operationale", Ed. Did. si Pedagogica
, Bucuresti, 1981.
[2] H. Karloff, "Linear Programming", Progress in Theoretical Computer Science,
Birkhuser, 1991, Berlin.
[3] A. Batatorescu, "Metode de optimizare liniara", Ed. Universitatii din Bucure
sti, 2003.
[4] V. Preda, M. Bad, "Culegere de probleme de cercetari operationale", Tipograf

ia Universitatii din Bucuresti, 1978.

[5] http://www.ilog.com / ; http://www.maximal-usa.com/mpl/
CURS: INGINERIA PROGRAMARII
CONTINUT:
Sisteme Orientate pe obiecte
Paradigma orientarii pe obiecte; Concepte avansate (incapsulare, generalizare,
mostenire)
Sintaxa si semantica limbajului UML (Unified Modeling Language)
nsusirea programului Visio pentru realizarea diagramelor UML
Modelare Structurala
Diagrama cazurilor de utilizare
Diagrama de clase si de obiecte
Diagrama de componente si de desfasurare
Modelare Dinamica
Diagrama de colaborare
Diagrama de secventa
Diagrama de stare
Diagrama de activitate
Proiectarea Paginilor Web
Realizarea site-urilor dinamice utiliznd HTML, CSS, JavaScript, PHP
BIBLIOGRAFIE:
1. Niculescu, Fl.R. "Modelarea Sistemelor Software - VISIO, UML -",Editura Unive
rsitatii din Bucuresti, 2007
2. Niculescu, Fl.R. "Proiectarea Paginilor Web - HTML, CSS, JavaScript -", Editu
ra Fundatiei Romnia de Mine, 2007
3. Bocu, D., Initiere in Ingineria Soft, Editura Albastra, 2001
4. Bennt , S., Mc.Reobb, S. Farmer, R, "Object Oriented Systems Analysis and
5. Design using UML", Mc Graw Hill Publishing Company, 1999
6. Booch, G., Object Oriented design with Application

CURS: CRIPTOGRAFIE SI SECURITATE

Obiectivul cursului:
Cursul are drept componenta principala prezentarea notiunilor fundamentale de se
curitate a informatiei. Fiecare
subiect este abordat din trei puncte de vedere: criptare, decriptare si modalita
tea de atac a sistemului de catre
parteneri neautorizati (criptanaliza).
Scopul este familiarizarea cursantilor cu principalele sisteme de criptare (sime
trice, si cu cheie publica), precum
si unele aplicatii uzuale ale securitatii datelor: semnaturi electronice, autent
ificari, probleme PKI (evaluare si
certificare de produse criptografice).
Continut:
Definirea sistemelor de criptare. Sisteme de criptare simetrice (Vigenere, Idea,
DES, AES), Criptanaliza
sistemelor de criptare simetrice. Sisteme de criptare fluide. Sisteme de criptar
e cu cheie publica (RSA,
ElGamal, rucsac, McElliece, curbe eliptice). Semnaturi digitale. Functii de disp
ersie (hash). Generatori de
numere pseudo-aleatoare.
Bibliografie selectiva:

1. A. Atanasiu - Criptografie (vol 1), Editura Infodata Cluj, 2008

2. Bruce Schneier - Applied Cryptography, John Wiley& Sons, 1998
3. Menezes, Ooorshot, Vanstome - Handbook of Applied Cryptography, 1997
4. V. Patriciu - Criptografia si securitatea retelelor de calculatoare, Ed. Tehn
ica, 1998
5. D. Stinson - Cryptography, Theory et Practice, Intern. Thompson Publ. House,
Ed.I (1995), Ed.II (2002)
6. Lecture Notes in Computer Science, vol 330; 435; 537; 658; 739; 765; 839.
CURS: TEHNICI DE COMPILARE
CONTINUT:
1. Structura unui complilator
1.1 Ce este un compilator
1.2 Etapele compilarii
1.3 Exemple de limbaje simple de programare
2. Analiza lexicala
2.1 Expresii regulate
2.2 Automate finite si translatoare finite
2.3 Transformarea unei expresii regulate in automat finit determinist
2.4 Specificarea structurii lexicale a unui limbaj de programare cu ajutorul exp
resiilor regulate
2.5 Implementarea unui analizor lexical pe baza unui automat finit
3. Mecanisme formale in analiza sintactica
3.1 Automate stiva deterministe
3.2 Translatoare stiva
3.3 Scheme de translatare orientate catre sintaxa
4. Analiza sintactica
4.1 Clasificarea metodelor de analiza sintactica
4.2 Analiza sintactica generala de tip top-down
4.3 Analiza sintactica generala de tip bottom-up
4.4 Gramatici si limbaje de tip LL(1)
4.5 Determinarea multimilor FIRST, FOLLOW
4.6 Algoritm predictiv pentru gramatici de tip LL(1)
4.7 Algoritm de analiza sintactica recursiv descendent
BIBLIOGRAFIE:
1. Compilers: Principles, Techniques, and Tools, Alfred V. Aho, Ravi
Sethi, Jeffrey D. Ullman, Addison-Wesley, 1986
2. Introduction to Automata Theory, Languages, and Computation, J.E.
Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Addison-Wesley 2001.