Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Licenţă
Domeniul: Informatică
Programul de studii: Informatică - linia de studiu maghiară
Limba de predare: Maghiară

SYLLABUS

I. Általános adatok
Kód	Tantárgy neve	
MML0012	Baze Groebner şi demonstrarea automată a teoremelor de geometrie	

Félév	Órák: C+S+L+P	Kategória	Típus	
4	2+1+0+0	specialitate	opţională	

II. Foállásban az  Egyetem  oktatói
Név	Tudományos	Oktatói	Tanszék	Tevékenység	
	fokozat	státus		E	Sz	L	
SZANTO Csaba Lehel	Dr. 	Conf.	Algebră, Analiză şi Geometrie	*			

Társult oktatók
Név	Tudományos	Intézmény	Állás	Tevékenység 	
	fokozat		típusa	E	Sz	L	

III. A tantárgy célkituzései
Obiectivul cursului este prezentarea teoriei bazelor Groebner şi aplicaţia acesteia în diferite domenii ale matematicii de la teoria codurilor până la demonstrarea automată a teoremelor de geometrie.	

IV. A tantárgy tartalma
Tematicile acoperite includ: noţiuni algebrice necesare, definiţia bazelor Groebner, construcţia bazelor Groebner, algoritmul Buchberger, algoritmul Faugére F4, baze Groebner în demonstrarea automată a teoremelor de geometrie, baze Groebner in rezolvarea sistemelor de ecuaţii polinomiale, baze Groebner în teoria invarianţilor şi în teoria codurilor.	

V. Könyvészet
[1] B. Buchberger. Gröbner-Bases and System Theory.
Multidimensional Systems and Signal Processing, vol 12, nb 3-4,
July-October 2001, Springer
[2] B. Buchberger. Gröbner Bases: A Short Introduction for Systems
Theorists, http://www.risc.uni-linz.ac.at/people/buchberg/papers/2001-02-19-A.pdf
[3] W. W. Adams, P. Loustaunau. Introduction to Gröbner Bases.
Graduate Studies in Mathematics, American Mathematical Society,
Providence, R.I., 1994.

VI. Az oktatói tevékenység heti tematikája

VII. Alkalmazott didaktikai módszerek

VIII. Értékelés
Teme de casa. Referate. Examen scris.	

IX. Kiegészíto könyvészet

	Dékán,						Tanszékvezeto,

	Dátum,						Eloadás felelose,
								Conf. Dr.  SZANTO Csaba Lehel