This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problems and quite a few end-of-section exercises that will help readers consolidate their understanding of the material.
Contents:Preface Acknowledgments Introduction Propositional Logic Set Theory Predicate Logic Mathematical Induction Functions and Relations Graph Theory and Its Applications Appendix A Translation to Propositional Logic Appendix B Translation to Predicate Logic Index Key Features:
This textbook is essential reading for anyone interested in the logical foundations of Informatics, Compute Science, Data Science, and other related areas This is a concise book that introduces students to the basics of logical thinking and some important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles It includes many solved problems and quite a few end of section exercises that will help readers consolidate their understanding of the material The size of the book makes teaching from it and/or studying it over a single semester quite possible and enjoyable
Download