Disciplina: Bazele matematice ale calculatoarelor	Cod: MIF0001	

Semestrul	Ore: C+S+L	Tipul	Specializarea	
1	2+2+0	obligatorie	Informatică	

Cadre didactice indrumatoare	Lect. Dr. LUPEA Mihaiela, lupea@cs.ubbcluj.ro
Lect. Dr. ROBU Judit, robu@cs.ubbcluj.ro
Asist. MIHIS Andreea Diana, mihis@cs.ubbcluj.ro	
Obiective	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	
Continut	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.	
Bibliografie selectiva	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.  	
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%)