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