العلوم الدقيقة وعلوم الطبيعة والحياة

Permanent URI for this community

Now showing 1 - 1 of 1

Mathematical logic course and tutorial materials
(University of Oum El Bouaghi, 2026) Boussaha, Karima
This course in Mathematical Logic introduces the fundamental principles of formal reasoning and logical analysis used in mathematics and computer science. It explores the concepts of syntax and semantics, focusing on the representation and evaluation of logical statements. The course covers propositional logic, including propositions, logical connectives, truth tables, tautologies, satisfiability, normal forms (CNF and DNF), and proof systems such as resolution and refutation methods. It also introduces predicate logic as an extension of propositional logic, emphasizing predicates, quantifiers, free and bound variables, structures, interpretations, and semantic validity. Through theoretical explanations, solved exercises, and practical applications, the course aims to develop students’ ability to formalize reasoning, analyze logical structures, and apply logical methods to problem-solving in computer science and mathematics.