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	
MIF0001	Bazele matematice ale calculatoarelor	

Semestrul	Ore: C+S+L	Categoria	Statutul	
1	2+2+0	fundamentala	obligatorie	

II. Cadre didactice cu norma de bază în Universitate
Numele şi	Titlul	Gradul	Catedra	Tipul activităţii	
prenumele	ştiinţific	didactic		C	S	L	
LUPEA Mihaiela	Dr.	Lect.	Limbaje şi Metode de Programare	*			

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

III. Obiectivele disciplinei
Scopul  cursului este insusirea de catre studenti a acelor cunostinte din logica pentru informaticieni care vor fi utilizate in cursurile din anii urmatori: logica propozitiilor si a predicatelor, algebre si functii booleene. Se face legatura, acolo unde e posibil, cu  aplicatii ale logicii in informatica: circuite secventiale si combinationale, programarea logica, etc. Aditional, se predau notiuni de codificarea informatiei in calculator.	

IV. Conţinutul disciplinei
1. Logica propozitiilor si logica predicatelor prezentate atat algebric cat si ca sisteme formale.Forme normale ale formulelor.Problema decidabilitatii in logica predicatelor: teorema lui Herbrand, Skolem. Pentru demonstrarea teoremelor se prezinta atat metode directe (axiomatic) cat si prin respingere (metoda lui Herbrand, metoda rezolutiei).
2. Algebre booleene, functii booleene si aplicatii.Forma canonica conjunctiva si disjunctiva si aplicatii. Monoame canonice, maximale si centrale.Simplificarea functiilor prin metoda diagramelor Veitch, prin metoda Mc.Quine si prin metoda Moisil. Ecuatii booleene. 
3. Circuite logice, combinationale si secventiale.
4. Reprezentarea informatiei. Sisteme de numeratie si conversiunea numerelor.Codul direct, invers, complementar. Teoremele de adunare si legatura cu tipurile de sumator. Reprezentarea cu virgula fixa si virgula mobila.

V. Bibliografie
1. Cl.BENZAKEN: Systeme formels. Introduction a la logique, ed.Masson, 1991.
2. M.CLARKE: Logic for Computer Science, ed. Addison-Wesley 1990.
3. J.P.DELAHAYE: Outils logiques pour l'intelligence artificielle, ed.Eyrolls, 1986.
4. M.FITTING: First-order logic and Automated Theorem Proving, Ed.Springer Verlag, 1990.
5. L.C. PAULSON : Logic and Proof,  U. Cambridge, 2000, curs on-line. 
6. D.TATAR: Inteligenta artificiala: demonstrare automata de teoreme si NLP, Ed. Microinformatica, 2001. 
7. D.TATAR: Bazele matematice ale calculatoarelor, litografiat, editia 1993, editia 1999.
8.(ed) A.THAYSE: From standard logic to Logic Programming, ed.J.Wiley, vol1(1989), vol2(1989), vol3(1990).
9. M. BEN-ARI: Mathematical Logic for Computer Science, Ed. Springer, 2001.
10. M. POSEGGA: Deduction Systems, Inst. of Informatics, 2002, curs on-line.  

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

VII. Metode didactice folosite

VIII. Evaluare
Este urmarit gradul de insusire de catre studenti a conceptelor de baza din logica computationala si a modului lor de utilizare. Forma de examinare este prin examen scris (70%).
Se va tine seama si de activitatea studentilor in decursul anului la seminar, in cadrul caruia se vor face scurte testari (30%).	

IX. Bibliografie suplimentară

	Data,							Titular curs,
								Lect. Dr. LUPEA Mihaiela