Mathematical logic course and tutorial materials
| dc.contributor.author | Boussaha, Karima | |
| dc.date.accessioned | 2026-05-25T16:44:59Z | |
| dc.date.available | 2026-05-25T16:44:59Z | |
| dc.date.issued | 2026 | |
| dc.description.abstract | 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. | |
| dc.identifier.uri | http://dspace.univ-oeb.dz:4000/handle/123456789/22687 | |
| dc.language.iso | en | |
| dc.publisher | University of Oum El Bouaghi | |
| dc.subject | Mathematical Logic; Formal Reasoning; Propositional Logic; Predicate Logic; Syntax; Semantics; Truth Tables; Logical Connectives; Tautology; Satisfiability; Conjunctive Normal Form (CNF); Disjunctive Normal Form (DNF); Resolution Method; Quantifiers; Predicate Calculus; Logical Validity; Formalization; Boolean Logic; Model Theory | |
| dc.title | Mathematical logic course and tutorial materials | |
| dc.title.alternative | Pedagogical Course Material Intended for 2nd Year Bachelor's Degree in Computer Science | |
| dc.type | Other |