Universitatea "Babes-Bolyai" Cluj-Napoca
Facultatea de Matematica si Informatica
FISA DISCIPLINEI

Calcul numeric şi simbolic
Cod
Semes-
trul
Ore: C+S+L
Credite
Tipul
Sectia
MC151
4
2+1+1
7
obligatorie
Tehnologie Informatica
Cadre didactice indrumatoare
Conf. Dr. TRÎMBITAS Radu Tiberiu, tradu@cs.ubbcluj.ro
Obiective
La terminarea cursului, studentii trebuie sa
a) posede deprinderi de cercetare asistata de calculator
b) stie sa foloseasca limbajele si mediile de programare dedicate calculului simbolic
c) inteleaga importanta calculului simbolic in cadrul informaticii
Continut
1. Introducere in calculul simbolic
1.1. Terminologie
1.2. Relatia dintre calculul simbolic si domeniile matematicii
1.3. Clase de aplicatii ale calculului simbolic
2. Sisteme de calcul simbolic
2.1. Clasificarea sistemelor de calcul simbolic
2.2. Componentele unui sistem de calcul simbolic
2.3. Limbaje de calcul simbolic - prezentare generala
3. Sistemul de calcul simbolic REDUCE
3.1. Structura
3.2. Limbaje de programare
3.3. Modul de lucru algebric
3.4. Modul de lucru simbolic
4. Sistemul de calcul simbolic MATHEMATICA
4.1. Structura
4.2. Limbajul de programare
4.3. Pachete
5. Sistemul de calcul simbolic MAPLE
5.1. Structura
5.2. Limbajul de programare
5.3. Pachete
Tematica laboratoarelor
L1 - L3: Sistemul de calcul simbolic REDUCE
L4 - L7: Sistemul de calcul simbolic MATHEMATICA
L8 - L14: Sistemul de calcul simbolic MAPLE
Bibliografie
1. Brackx, F., Constales, D.: Computer Algebra with LISP and REDUCE, Kluwer, 1991.
2. Char, B.W., Geddes, K.O., Gonnet, G.H., Leong, B.L., Monagan, M.B., Watt, S.M.: First Leaves: a tutorial introduction to Maple V, Waterloo Maple Publishing (Springer) 1992.
3. Char, B.W., Geddes, K.O., Gonnet, G.H., Leong, B.L., Monagan, M.B., Watt, S.M.: Maple V Reference Manual, Waterloo Maple Publishing (Springer) 1991.
4. Davenport, J.H, Siret, Y., Tournier, E: Computer Algebra. Systems and Algorithms for Algebraic Computation, 2nd edition, Academic Press, 1993.
5. DERIVE User Manual, Version 2, Soft Warehouse, 1991.
6. di Scala, R.M.: SYPAC: Un systeme experimental de calcul formel en Pascal, Teza de doctorat, Univ. Grenoble, 1982.
7. Hearn, A. et al.: REDUCE User's Manual, Rand Corporation, 1987.
8. Kaufmann, S.: MATHEMATICA als Werkzeug, Birkhauser Verlag, 1992.
9. Wolfram, S.: Mathematica: A System for Doing Mathematics by Computer, Addison-Wesley, 1993 (second printing).
Evaluare
Examen.