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.
This textbook is essential reading for anyone interested in the logical foundations of Informatics, Computer Science, Data Science, Artificial Intelligence, and other related areas. Written with undergraduate students in these disciplines in mind, this book can very well serve the needs of interested and curious readers who wish to get a grasp of the logical principles upon which these fields are built. This book does not require readers to possess math skills beyond those learned in high school.
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
Readership: Undergraduate students in Informatics, Information Science, Computer Science, Data Science, Artificial Intelligence, Cognitive Science. 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