Type of course:  Compulsory 
Language of instruction:  English 
Erasmus Language of instruction:  English 
Name of lecturer:  Pax Dorin WainbergDrăghiciu 
Seminar tutor:  Pax Dorin WainbergDrăghiciu 
Form of education  Fulltime 
Form of instruction:  Class 
Number of teaching hours per semester:  42 
Number of teaching hours per week:  3 
Semester:  Autumn 
Form of receiving a credit for a course:  Grade 
Number of ECTS credits allocated  4 
The discipline Computational logics aims to provide students opportunities to identify and use knowledge of the laws of human reasoning.
The purposes of mastering proper expertise and especially for their enforcement in the areas of artificial intelligence, analysis and synthesis of logic circuits, the automatic demonstration theorems, the logic programming.
...

1. Propositional Logic: Logical operations, Logical equivalence of formulas, Duality law 2. Decision Problem. Perfect normal forms. 3. Propositional calculus elements: The concept of formula. True formulas 4. Deduction theorem. Rules of propositional calculus. 5. Logically equivalent formulas. Deductibility theorems. Formulas in propositional algebra and propositional calculus. 6. No contradiction and completeness of propositional calculus. Independence of propositional calculus axioms. 7. Predicate calculus: Definitions of predicates and quantifiers. Normal forms. 8. Predicate calculus formulas and axioms. 9. Noncontradiction and narrowly completeness of predicate calculus. Theorems of predicate calculus. 10. Equivalent formulas in predicate calculus. Axioms of predicate calculus. 11. Numeral: positional representation of numbers, algorithms for crossing a number from one base to another, the four operations in various numeral, numeral 2, 8, 16; characteristic elements. 12. Representation of numerical information in memory computer systems: fixedpoint representation of numerical information, floating point representation of numerical information, arithmetic operations with floating point numbers, IEEE P754 Standard 13. Boolean functions and their realization: the notion of Boolean function of several variables, Boolean operations AND, OR, NOT 14. The operation of AND gate, OR gate, NOT gate circuits; Implementation of Boolean functions. Boolean functions applications
Lecture, conversation, exemplification.
Acquiring fundamental knowledge concerning the discipline specific concepts: formal systems, judgments and sentences, modal logic elements, probability, predicate logic elements; training in problem solving skills necessary for circuit design and optimization of computer systems based on structural formulas, representing information in memory computer systems.
Written paper –70%; continuous assessment – 30%.
• Michael R. Genesereth, Nils J. Nislsson,
Logical Foundations of Artificial Intelligence, Morgan Kaufmann Publishers,
,
1988,
.
• S. Russell and P. Norvig,
Artificial Intelligence. A Modern Approach, Prentice Hall,
,
1995,
.
• Stphen G. Simson,
Mathematical Logic, Department of Mathematics The Pennsylvania State University,
,
,
.