Babes-Bolyai University of Cluj-Napoca
Faculty of Mathematics and Computer Science
Study Cycle: Graduate
SUBJECT

Code	Subject	
MA014	Special Topics in Mathematical Logic	

Section	Semester	Hours: C+S+L	Category	Type	
Computer Science - in Romanian	8	2+2+0		optional	

Teaching Staff in Charge	Assoc.Prof. COVACI Rodica, Ph.D., rcovaci@math.ubbcluj.ro	
Aims	Determination of the connection between the speculative and the applied aspect of mathematical logic, due to computer science.	
Content	1. The algebra of propositions. Propositions. Propositional formulae. Logical implication and logical equivalence as relations. Lyndenbaum-Tarski algebra. Boole rings and algebras.
2. n-ary bivalent functions. Normal perfect forms. Synthesis problems. Applications.
3. Deductive theories. Interpretation and model. Non-contradiction and consistency. Completeness and categoricity.
4. Predicate logics.	
Bibliography	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.

Assessment	Two reports throughout the semester (each representing 20% of the final mark) and oral exam at the end of the semester (representing 60% of the final mark).