منصة التعليم عن بعد لجامعة وهران للعلوم و التكنولوجيا

This course provides an introduction to mathematical logic, accessible to second-year mathematics students. It covers the fundamental techniques of propositional logic, also known as zero-order logic, and first-order predicate logic. The course includes a series of solved exercises that lead students to a deep understanding of the basic concepts of logic.