Mathematical Logic

Welcome to this book dedicated to Mathematical Logic for Computer Science, a fundamental discipline that illuminates the logical workings behind modern computer systems. Throughout this book, we will explore propositional logic and predicate logic in a simple and comprehensible manner. The exercises accompanying each chapter have been carefully selected to provide readers with the opportunity to put the discussed principles into practice and strengthen their understanding. Whether you are a computer science student, a professional in the field, or simply passionate about mathematical logic, this textbook aims to be your trusted companion in exploring this fascinating domain.

Autorentext
With over two decades of experience in computer science, Brahim Lejdel is a Full Professor at the University of El-Oued, Algeria. He is a prolific researcher, having authored more than 250 peer-reviewed publications and ten principal books. An active leader in the academic community, he has chaired numerous international conferences.