Authors:
- Provides a solid foundation for beginning students in mathematics or computer science
- Introduces the basics of set theory, logic, mathematical proofs, combinatorics, graph theory, and much more, in a clear and understandable way
- Contains many colorful figures and illustrations, as well as hundreds of exercises
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (26 chapters)
-
Front Matter
About this book
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. Written in a manner that directly conveys the sense of excitement and discovery at the heart of doing science, its 25 short and visually appealing chapters cover the basics of set theory, logic, proof methods, combinatorics, graph theory, and much more.
In the book you will, among other things, find answers to:
- What is a proof? What is a counterexample?
- What does it mean to say that something follows logically from a set of premises?
- What does it mean to abstract over something?
- How can knowledge and information be represented and used in calculations?
- What is the connection between Morse code and Fibonacci numbers?
- Why could it take billions of years to solve Hanoi's Tower?
Logical Methods is especially appropriate for students encountering such concepts for the very first time. Designed to ease the transition to a university or college level study of mathematics or computer science, it also provides an accessible and fascinating gateway to logical thinking for students of all disciplines.
Reviews
“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)
Authors and Affiliations
-
Department of Informatics, University of Oslo, Oslo, Norway
Roger Antonsen
About the author
To see Roger in action as a science communicator, watch his TED Talk:
ted.com/speakers/roger_antonsen
Bibliographic Information
Book Title: Logical Methods
Book Subtitle: The Art of Thinking Abstractly and Mathematically
Authors: Roger Antonsen
DOI: https://doi.org/10.1007/978-3-030-63777-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-63776-7Published: 11 February 2021
Edition Number: 1
Number of Pages: XIV, 288
Number of Illustrations: 10 illustrations in colour
Additional Information: Original Norwegian edition published by Universitetsforlaget, Oslo, Norway
Topics: Discrete Mathematics in Computer Science, Mathematical Logic and Foundations