Mathematical Logic: For Computer Science with Corrected Exercises - Couverture souple

Lejdel, Brahim

 
9786209170171: Mathematical Logic: For Computer Science with Corrected Exercises

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.