This book offers an introduction to mathematical reasoning for beginning university or college students, providing a solid foundation for further study in mathematics, computer science, and related disciplines.
"The definitions are followed by examples to help explain their meaning, along with counterexamples ... . Therefore, very little basic knowledge is required for this introduction to logical methods ... which is written in an accessible style ... . contained in the book are several hundred small figures; arrow, Venn, and Hasse diagrams; and simplifies visual representations ... . The author has also elected to use color to draw the reader's attention ... ."
“From personal teaching experience, knowledge of these mathematical areas is necessary for disparate fields of CS and informatics. These foundations are needed for many fields, from database theory to various domains of information systems applications. The book’s presentation of topics and incentives for problem-solving, along with its exercises, is very useful for university-level instructors and students. The compact chapters contain clear explanations, diagrams, and brief descriptions of interesting facts.” (Bálint Molnár, Computing Reviews, July 27, 2021)
Roger Antonsen is Associate Professor in the Department of Informatics at the University of Oslo, where he has taught Logical Methods to thousands of students since 2010. He is a logician, mathematician, computer scientist, author, public speaker, science communicator, and artist. His interests range from proof theory, cellular automata, algorithms, and complexity to science communication, outreach, digital art, and visualizations.
To see Roger in action as a science communicator, watch his TED Talk:
ted.com/speakers/roger_antonsen