Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Licenţă
FIŞA DISCIPLINEI

Codul	Disciplina	
MML0012	Baze Groebner şi demonstrarea automată a teoremelor de geometrie	

Specializarea	Semestrul	Ore: C+S+L	Categoria	Statutul	
Informatică - linia de studiu maghiară	4	2+2+0	specialitate	optionala	
Matematică informatică - linia de studiu maghiară	6	2+2+0	specialitate	optionala	

Titularii de disciplină	Lect. Dr. SZANTO Csaba Lehel, szanto@math.ubbcluj.ro	
Obiective		
Conţinutul		
Bibliografie		
Evaluare