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

SYLLABUS

I. Date generale
Codul	Disciplina	
MA014	Capitole speciale de logică matematică	

Semestrul	Ore: C+S+L	Categoria	Statutul	
8	2+2+0		opţională	

II. Cadre didactice cu norma de bază în Universitate
Numele şi	Titlul	Gradul	Catedra	Tipul activităţii	
prenumele	ştiinţific	didactic		C	S	L	
COVACI Rodica	Dr.	Conf.	Algebră	*			

Cadre didactice asociate
Numele şi	Titlul	Instituţia	Tipul	Tipul activităţii	
prenumele	ştiinţific		postului	C	S	L	

III. Obiectivele disciplinei
Stabilirea legaturii dintre latura speculativa a logicii matematice si cea aplicativa, aferenta informaticii.	

IV. Conţinutul disciplinei
1. Algebra propozitiilor. Propozitii. Formule propozitionale. Implicatia si echivalenta logica, ca relatii. Algebra Lyndenbaum-Tarski. Algebre si inele Boole.
2. Functii n-are bivalente. Forme normale perfecte. Probleme de sinteza. Aplicatii.
3. Teorii deductive. Interpretare si model. Noncontradictie si consistenta. Completitudine si categoricitate.
4. Logica predicatelor.

V. Bibliografie
1. N. BOTH:  Algebra logicii cu aplicatii, Ed. Dacia, Cluj-Napoca 1984. 
2. N. BOTH:  Capitole speciale de logica matematica, Lito, Univ Babes Bolyai Cluj-Napoca 1994. 
3. P. NOVICOV:  Elemente de logica matematica, Ed. Tehn., 1966.
4. Y.I. MANIN: A Course in Mathematical Logic, Springer-Verlag, New York 1977
5. S.G. KRANTZ: Logic and Proof Techniques for Computer Science, Birkhauser Boston 2002.
6. R. LIDL, G. PILZ: Applied Abstract Algebra, Springer-Verlag, Berlin, 1998.

VI. Tematica activităţilor didactice pe săptămâni

VII. Metode didactice folosite

VIII. Evaluare
Doua referate pe parcursul semestrului (reprezentand fiecare 20% din nota finala) si examen oral la sfarsitul semestrului (reprezentand 60% din nota finala).	

IX. Bibliografie suplimentară

	Data,							Titular curs,
								Conf. Dr. COVACI Rodica