Mathematical Logic

This module is designed for first-year students in the common core of Computer Engineering.
It provides a solid foundation in mathematical logic, focusing on propositional logic and predicate logic, and their role in formal reasoning.

Students will learn to construct and analyze logical statements, translate natural language into formal expressions, and apply rules of inference to build valid proofs.
The course develops essential skills for problem-solving in computer science and mathematics.