Mathematical Logic: For Computer Science with Corrected Exercises - Softcover

Lejdel, Brahim

 
9786209170171: Mathematical Logic: For Computer Science with Corrected Exercises

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.