UNIVERSITATEA DIN BUCURESTI FACULTATEA DE MATEMATICA SI INFORMATICA

FISA UNITATII DE CURS

TITLUL: GEOMETRIE COMPUTATIONALA DOMENIUL DE LICENTA: INFORMATICA SPECIALIZAREA: INFORMATIC
STATUTUL: obligatoriu NR.ORE/SAPTAMANA: CURS = 2 SEMINAR = 0 LABORATOR = 1 SEMESTRUL: 3 FORMA DE EXAMINARE: examen CREDITE: 5

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, curbe B-spline, curbe Bezier rationale. 3. Suprafete parametrizate de tip produs tensorial. II. Algoritmi geometrici 1. Preliminarii. 2. Problema localizarii punctelor. 3. Acoperiri convexe. Algoritmul lui Graham. 4. Intersectii. 5. Triangulari. 6. Diagrame Voronoi. 7. Triangulari Delaunay. BIBLIOGRAFIE: 1) M. de Berg, M. van Kreveld, M. Overmars si O. Schwarzkopf, Computational Geometry, Algorithms and Applications, Springer, 2000. 2) G. Farin, Curves and Surfaces for CAGD, A practical Guide, Academic Press, 2002. 3) M.I. Munteanu, Algoritmici geometrici 2D si aplicatii in CAGD, Editura Universitatii 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.

UNIVERSITATEA DIN BUCURESTI FACULTATEA DE MATEMATICA SI INFORMATICA

FISA UNITATII DE CURS

TITLUL: CALCULABILITATE SI COMPLEXITATE DOMENIUL DE LICENTA: INFORMATICA SPECIALIZAREA: INFORMATIC
STATUTUL: obligatoriu NR.ORE/SAPTAMANA: CURS = 2 SEMINAR = 2 LABORATOR = 0 SEMESTRUL: 3 FORMA DE EXAMINARE: examen CREDITE: 5

CONTINUT:
- Masini Turing. Echivalenta masinilor Turing deterministe si nedeterministe. Functii Turing calculabile. - Functii recursive. - Programe standard si functii calculabile. Echivalenta functiilor Turing calculabile, recursive, si calculabile cu programe standard. - Functia universala, masina Turing universala. - Problema opririi masinilor Turing si implicatiile ei. Teorema Rice. Probleme corespondentei 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. Teorema 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 Press 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 Computation, AddisonWesley, 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, Springer-Verlag, Berlin 1997.

UNIVERSITATEA DIN BUCURESTI FACULTATEA DE MATEMATICA SI INFORMATICA

FISA UNITATII DE CURS

TITLUL: TEHNICI AVANSATE DE PROGRAMARE DOMENIUL DE LICENTA: INFORMATICA SPECIALIZAREA: INFORMATIC
STATUTUL: obligatoriu NR.ORE/SAPTAMANA: CURS = 2 SEMINAR = 2 LABORATOR = 2 SEMESTRUL: 3 FORMA DE EXAMINARE: verificare CREDITE: 5

CONTINUT: 1. Algoritmi. Complexitate n timp. 2. Parcurgeri de arbori binari i de arbori oarecare 3. Parcurgerea grafurilor (n adncime i pe lime). Aplicaii la determinarea componentelor conexe i biconexe, a ciclicitii grafurilor 4. Metode de sortare 5. Principiul includerii i excluderii. Principiul cutiei al lui Dirichlet 6. Metoda Greedy 7. Metoda backtracking 8. Metoda Divide et Impera 9. Metoda programrii dinamice 10. Metoda Branch & Bound 11. Algoritmi euristici 12. Algoritmi optimali. Algoritmi probabiliti. Algoritmi genetici 13. Analiz lexical i sintactic. Generarea codului pentru expresii aritmetice 14. NP - completitudine
BIBLIOGRAFIE:

Manber U. - Introduction to Algorithms. A Creative Approach, Addison Wesley, 1989 Horowitz E., Sahni S. - Fundamentals of Computer Algorithms, Computer Science Press, 1977 Georgescu H., Livovschi L. - Sinteza i analiza algoritmilor, Ed. tiinific i Enciclopedic, 1986 Georgescu H. Introducere n universul Java, Ed. Tehnic, 2000 Georgescu H. Tehnici de programare, Ed. Univ. Buc., 2005

UNIVERSITATEA DIN BUCURESTI FACULTATEA DE MATEMATICA SI INFORMATICA

FISA UNITATII DE CURS

TITLUL: PROBABILITATI DOMENIUL DE LICENTA: INFORMATICA SPECIALIZAREA: INFORMATIC
STATUTUL: obligatoriu NR.ORE/SAPTAMANA: CURS = 2 SEMINAR = 1 LABORATOR = 0 SEMESTRUL: 3 FORMA DE EXAMINARE: examen CREDITE: 5

CONTINUT: 1. Camp discret de probabilitate. 2. Camp de probabilitate. 3. Independenta stocastica: independenta evenimentelor si a familiilor de independente. 4. Variabile aleatoare cu multimi numarabile de valori: corpul borelian si repartitia unei variabile aleatoare, caracteristici numerice, variabile aleatoare independente. 5. Exemple de repartitii: repartitia geometrica, repartitia binomiala, repartitia 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 invitatie la Teoria Masurii). 2004, EdituraUniversitatii din Bucuresti 2. C. Tudor, Teoria Probabilitatilor. 2004, Editura Universitatii din Bucuresti.

UNIVERSITATEA DIN BUCURESTI FACULTATEA DE MATEMATICA SI INFORMATICA

FISA UNITATII DE CURS

TITLUL: TEHNICI WEB DOMENIUL DE LICENTA: INFORMATICA SPECIALIZAREA: INFORMATIC
STATUTUL: obligatoriu NR.ORE/SAPTAMANA: CURS = 2 SEMINAR = 0 LABORATOR = 3 SEMESTRUL: 3 FORMA DE EXAMINARE: VERIFICARE CREDITE: 5

CONTINUT:
Scopul cursului este prezentarea tehnicilor si tehnologiilor necesare pentru dezvoltarea 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: adresele unde se gasesc specificatiile standard ale tehnologiilor de mai sus:

http://www.w3.org/ http://www.w3schools.com/ http://developer.mozilla.org/ http://www.mozilla.org/js/ MSDN (http://msdn.microsoft.com/)

UNIVERSITATEA DIN BUCURESTI FACULTATEA DE MATEMATICA SI INFORMATICA

FISA UNITATII DE CURS

TITLUL: SISTEME DE OPERARE DOMENIUL DE LICENTA: INFORMATICA SPECIALIZAREA: INFORMATIC
STATUTUL: obligatoriu NR.ORE/SAPTAMANA: CURS = 2 SEMINAR = 0 LABORATOR = 2 SEMESTRUL: 3 FORMA DE EXAMINARE: examen CREDITE: 5

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 Albastra, ClujNapoca 2003 2. M. Vlada - Sisteme de operare, Biblioteca virtuala a Universitatii din Bucuresti 3. A. Tannenbaum Sisteme de operare moderne, Ed. Byblos, 2004

UNIVERSITATEA DIN BUCURESTI FACULTATEA DE MATEMATICA SI INFORMATICA

FISA UNITATII DE CURS

TITLUL: STATISTICA DOMENIUL DE LICENTA: INFORMATICA SPECIALIZAREA: INFORMATICA
STATUTUL: obligatoriu NR.ORE/SAPTAMANA: CURS = 2 SEMINAR = 0 LABORATOR = 1 SEMESTRUL: 4 FORMA DE EXAMINARE: verificare CREDITE: 5

CONTINUT:
1. 2. 3. 4. 5. 6. 7. 8. 9. Statistica descriptive. Indicatori statistici. Aplicatii software Modele probabiliste utilizate in statistica. Generare de variabile aleatoare. Aplicatii software Estimarea parametrilor: estimatii nedeplasate, estimatii eficiente Metoda verosimilitatii maxime. Aplicatii software Metoda celor mai mici patrate. Aplicatii software Modele liniare si nelineare de regresie. Estimarea parametrilor regresiei liniare. Aplicatii software Teste parametrice pentru ipoteze simple. Testul raportului probabilitatilor. Aplicatii software Testul raportului de verosimilitate. Aplicatii software Analiza de varianta. Aplicatii software

BIBLIOGRAFIE: M. Dumitrescu, A. Batatorescu, Applied statistics using the R system, Ed. Universitatii Buc., 2006

V. Craiu, Statistica Matematica Partea I (Repartitii, selectie, estimarea punctuala) 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 applications. Springer Verlag, New York, 1990.

UNIVERSITATEA DIN BUCURESTI FACULTATEA DE MATEMATICA SI INFORMATICA

FISA UNITATII DE CURS

TITLUL: INTELIGENTA ARTIFICIALA DOMENIUL DE LICENTA: INFORMATICA SPECIALIZAREA: INFORMATIC
STATUTUL: obligatoriu NR.ORE/SAPTAMANA: CURS = 2 SEMINAR = 1 LABORATOR = 2 SEMESTRUL: 4 FORMA DE EXAMINARE: examen CREDITE: 5

CONTINUT: 1. ASPECTE ALE CUTRII I REPREZENTRII CUNOTINELOR N INTELIGENA ARTIFICIAL 1.1. Tehnici de cutare. Aplicaii n teoria jocurilor 1.1.1. Cutare neinformat i informat 1.1.2. Jocurile ca probleme de cutare 1.2. Reprezentarea cunotinelor 1.2.1. Tipuri de cunotine (relaionale simple, care se motenesc, infereniale, procedurale) 1.2.2. Clase de metode pentru reprezentarea cunotinelor (reprezentri bazate pe logic, reprezentri de tip "slot-filler") 1.2.3. Instrumente pentru reprezentarea cunotinelor (reguli if-then, cadre, scripturi, reele semantice, grafuri conceptuale, reele Bayesiene) 1.2.4. Reprezentarea cunotinelor n sistemele expert 1.2.5. Aplicaii ale reprezentrii cunotinelor n procesarea limbajului natural 2. ASPECTE ALE NVRII AUTOMATE 2.1. Natura nvrii artificiale 2.1.1. Modelul general al nvrii din exemple 2.1.2. Compromisul eroare de aproximare eroare de estimare. Metode de penalizare 2.1.3. Evaluarea performanelor nvrii 2.1.4. Compararea metodelor de nvare 2.2. nvarea prin optimizare. Reele de perceptroni 2.2.1. Perceptronul, un model matematic al neuronului 2.2.2. Algoritmi de nvare a perceptronului 2.2.3. Performanele i limitele de nvare ale perceptronului 2.2.4. Arhitectura reelelor de perceptroni 2.2.5. Algoritmul propagrii napoi pentru antrenarea reelelor de perceptroni 2.2.6. Performaele reelelor de perceptroni

BIBLIOGRAFIE:

1. ENACHESCU, D., Elements of Statistical Learning. Applications in Data Mining. CLEUP, 2. 3. 4. 5. 6.

Universita di Padova, 2003. FINE, T.L., Feedforward Neural Network Methodology, Springer, New York, 1999. HRISTEA, F., BALCAN, M.F., Aspecte ale cautarii si reprezentarii cunostintelor in inteligenta artificiala. Editura Universitatii din Bucuresti, 2004. HRISTEA, F., BALCAN, M.F., Cautarea si reprezentarea cunostintelor in inteligenta artificiala. Teorie si aplicatii. Editura Universitatii din Bucuresti, 2005. NILLSON, N., Artificial Intelligence: A New Synthesis. Morgan Kauffman, 1998. RUSSELL, S. J., NORVIG, P., Artificial Intelligence. A Modern Approach. Prentice - Hall International, Inc., 1995.

UNIVERSITATEA DIN BUCURESTI FACULTATEA DE MATEMATICA SI INFORMATICA

FISA UNITATII DE CURS

TITLUL: BAZE DE DATE DOMENIUL DE LICENTA: INFORMATICA SPECIALIZAREA: INFORMATIC
STATUTUL: obligatoriu NR.ORE/SAPTAMANA: CURS = 2 SEMINAR = 0 LABORATOR = 3 SEMESTRUL: 4 FORMA DE EXAMINARE: examen CREDITE: 5

CONTINUT: 1. Proiectarea bazelor de date Obiectivele, arhitectura, caracteristicile si evoluia sistemelor de gestiune a bazelor de date. Clasificarea modelelor de date. Modelarea semantic a informaiei (diagrama entitate/relatie). Analiza si proiectarea modelului relational. Construirea diagramei conceptuale. Executarea si optimizarea interogrilor. Eliminarea dependenelor. Anomalii n proiectarea modelelor relaionale. Normalizarea i denormalizarea relaiilor. Limbaje pentru prelucrarea datelor relaionale. 2. Neprocedural n baze de date Limbajul pentru definirea datelor (crearea, modificarea i distrugerea structurii obiectelor). Limbajul pentru prelucrarea datelor (inserarea, tergerea, reactualizarea i interogarea). Limbajul pentru controlul datelor. Toate conceptele sunt definite i exemplificate relativ la SQL (Structured Query Language) pe Oracle9i.
BIBLIOGRAFIE:

1. Connolly T., Begg C., Strachan A., Baze de date, Editura Teora, Bucureti, 2001. 2. Date C. J., An Introduction to Database Systems, Pearson Education, Addison Wesley Higher Education, 2004. 3. Popescu I., Modelarea bazelor de date, Editura Tehnic, Bucureti, 2001. 4. Popescu I., Alecu A., Velcescu L., Florea G., Programare avansat n Oracle9i, Editura Tehnic, Bucureti, 2004.

UNIVERSITATEA DIN BUCURESTI FACULTATEA DE MATEMATICA SI INFORMATICA

FISA UNITATII DE CURS

TITLUL: RETELE DE CALCULATOARE DOMENIUL DE LICENTA: INFORMATICA SPECIALIZAREA: INFORMATIC
STATUTUL: obligatoriu NR.ORE/SAPTAMANA: CURS = 2 SEMINAR = 0 LABORATOR = 2 SEMESTRUL: 4 FORMA DE EXAMINARE: verificare CREDITE: 5

CONTINUT: Fluxuri. Serializarea obiectelor. Socket-uri. Comunicare prin socket-uri. Rolul firelor de executare la programarea n reea. Invocarea la distan. Modelul RMI. Apeluri inverse. ncrcarea dinamic a claselor. Exploatarea la distan 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 bazelor de date. Transmiterea de fiiere. Applet-uri n loc de pagini Web. Gestionarea sesiunilor.

BIBLIOGRAFIE:

Horia Georgescu Introducere n universul Java, Ed. Tehnic, 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, 2004

UNIVERSITATEA DIN BUCURESTI FACULTATEA DE MATEMATICA SI INFORMATICA

FISA UNITATII DE CURS

TITLUL: PROGRAMARE LOGICA DOMENIUL DE LICENTA: INFORMATICA SPECIALIZAREA: INFORMATIC
STATUTUL: obligatoriu NR.ORE/SAPTAMANA: CURS = 2 SEMINAR = 0 LABORATOR = 2 SEMESTRUL: 4 FORMA DE EXAMINARE: examen CREDITE: 5

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 Sematics (B), pp.243320. 3. Term Rewriting Systems, Terese, Cambridge Tracts in Theoretical Computer Science, 2003 4. Term Rewriting and All That, Franz Baader, Tobias Nipkow, Cambridge University Press, 1998

UNIVERSITATEA DIN BUCURESTI FACULTATEA DE MATEMATICA SI INFORMATICA

FISA UNITATII DE CURS

TITLUL: METODE DE DEZVOLTARE DE SOFTWARE DOMENIUL DE LICENTA: INFORMATICA SPECIALIZAREA: INFORMATIC
STATUTUL: obligatoriu NR.ORE/SAPTAMANA: CURS = 2 SEMINAR = 1 LABORATOR = 1 SEMESTRUL: 4 FORMA DE EXAMINARE: examen CREDITE: 5

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, Addison Wesley, 1999 3. Calcul paralel - B. Wilkinson, C.M. Allen, Parallel Programming: Techniques and Applications Using Networked Workstations and Parallel Computers, Prentice Hall 1999. 4. Verificare - M. Huth, M. Ryan, Logic in Computer Science: Modelling and reasoning about systems, Cambridge University Press 2000.

UNIVERSITATEA DIN BUCURESTI FACULTATEA DE MATEMATICA SI INFORMATICA

FISA UNITATII DE CURS

TITLUL: DIDACTICA SPECIALITATII (INFORMATICA) DOMENIUL DE LICENTA: INFORMATICA SPECIALIZAREA: INFORMATIC
STATUTUL: facultativ NR.ORE/SAPTAMANA: CURS = 2 SEMINAR = 2 LABORATOR = 0 SEMESTRUL: 4 FORMA DE EXAMINARE: examen CREDITE: 5

CONTINUT:
Noul Curriculum Scolar Proiectarea activitii 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 predarea notiunii de algoritm Consideratii metodice privind predarea structurilor de date Consideratii metodice privind predarea sistemelor de operare Consideratii metodice privind predarea tehnicilor de programare Consideratii metodice privind predarea sistemelor de gestiune a bazelor de date Consideratii metodice privind predarea principiilor programarii structurate si programarii orientate spre obiecte Consideratii metodice privind predarea notiunilor de tehnologia informaiilor si comunicaiilor BIBLIOGRAFIE: Ioan CERGHIT: Metode de invatamant, Editura didactica si pedagogica R.A., Bucuresti, 1996 (editia a 2-a) Maria Luiza DULAMA: Practica pedagogica; teorie i metodologie, Editura Clusium, Cluj-Napoca, 2005 Ion HOLBAN: Teste de cunostinte, Didactica, Editura didactica si pedagogica, Bucuresti, 1995 Miron IONESCU, Ion RADU: Didactica moderna, Ed. Dacia, Cluj-Napoca, 1995 Ioan JINGA: Inspectia scolara, Didactica, Editura didactica si pedagogica, Bucuresti, 1983 Ioan JINGA, Ioan NEGUT: Invatarea eficienta, Editura Aldin, Bucuresti, 1999 Eugen P. NOVEANU(coord.): Probleme de tehnologie didactica, Didactica, Editura didactica si pedagogica, Bucuresti, 1977 Carmen PETRE, Daniela POPA, Stefania CRACIUNOIU, Camelia ILIESCU: Metodica predrii informaticii si tehnologiei informaiei, Editura Arves, Craiova, 2002. Bartolomeu POPESCU: Filosofia si pedagogia lui Ioan Amos Comenius, Ed. Cultura Romaneasca, Bucuresti,1939 Dumitru SALADE (coord.): Didactica, Editura didactica si pedagogica, Bucuresti, 1982