Many believe mathematics is only about calculations, formulas, numbers, and strange letters.
But mathematics is much more than just crunching numbers or manipulating symbols.
Mathematics is about discovering patterns, uncovering hidden structures, finding counterexamples, and thinking logically.
Mathematics is a way of thinking.
It is an activity that is both highly creative and challenging.
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.
About author(s): 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.
| To | What is a proof |
|---|---|
| About author(s) | Roger |
| Talk | Tedcomspeakersrogerantonsen |
Springer este o companie de editură proeminentă la nivel mondial, specializată în literatura academică și științifică.
Fondată în 1842 la Berlin, Germania, Springer a crescut pentru a deveni unul dintre cei mai mari și mai respectați editori din lume, cu birouri și operațiuni în numeroase țări.
Springer publică o gamă largă de reviste academice, cărți, lucrări de referință și baze de date online care acoperă o gamă largă de discipline, inclusiv știință, tehnologie, medicină, inginerie, matematică, umaniste, științe sociale și afaceri.
Catalogul extins al companiei include: 1.
Reviste: Springer publică mii de reviste academice evaluate de colegi care acoperă un spectru larg de discipline.
Aceste reviste prezintă articole de cercetare originale, recenzii și contribuții academice din partea experților în domeniile lor respective.
Cărți: Springer publică o selecție diversă de cărți, inclusiv manuale, monografii, lucrări de referință și titluri profesionale.
Aceste cărți acoperă o gamă largă de subiecte și se adresează cercetătorilor, studenților, profesioniștilor și practicienilor.
Lucrări de referință: Springer produce lucrări de referință cu autoritate, cum ar fi enciclopedii, manuale, dicționare și atlase, care oferă o acoperire cuprinzătoare a unor subiecte și discipline specifice.
Baze de date online: Springer oferă baze de date și platforme online care oferă acces la vasta sa colecție de conținut academic.
Aceste platforme permit utilizatorilor să caute, să răsfoiască și să acceseze literatură academică, reviste, cărți și materiale de referință.
Springer este cunoscut pentru angajamentul său față de calitate, integritate și inovație în publicarea academică.
Compania lucrează îndeaproape cu autori, editori, recenzori și instituții academice pentru a asigura cele mai înalte standarde de excelență și rigoare academică în publicațiile sale.
Prin urmare, Springer este considerată pe scară largă ca o sursă de încredere de informații academice și o resursă valoroasă pentru cercetători, studenți și profesioniști din întreaga lume.
Springer Logical methods: the art of thinking abstractly and mathematically, paperback/roger antonsen
