Matematikens grunder

Proofs play a central role in advanced mathematics and theoretical computer science, yet many students struggle the first time they take a course in which proofs play a significant role. This bestselling text's third edition helps students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. Featuring over 150 new exercises and a new chapter on number theory, this new edition introduces students to the world of advanced mathematics through the mastery of proofs. The book begins with the basic concepts of logic and set theory to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for an analysis of techniques that can be used to build up complex proofs step by step, using detailed 'scratch work' sections to expose the machinery of proofs about numbers, sets, relations, and functions. Assuming no background beyond standard high school mathematics, this book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and, of course, mathematicians.

There is an explosion of interest in dynamical systems in the mathematical community as well as in many areas of science. The results have been truly exciting: systems which once seemed completely intractable from an analytic point of view can now be understood in a geometric or qualitative sense rather easily. Scientists and engineers realize the power and the beauty of the geometric and qualitative techniques. These techniques apply to a number of important nonlinear problems ranging from physics and chemistry to ecology and economics.Computer graphics have allowed us to view the dynamical behavior geometrically. The appearance of incredibly beautiful and intricate objects such as the Mandelbrot set, the Julia set, and other fractals have really piqued interest in the field.This is text is aimed primarily at advanced undergraduate and beginning graduate students. Throughout, the author emphasizes the mathematical aspects of the theory of discrete dynamical systems, not the many and diverse applications of this theory.The field of dynamical systems and especially the study of chaotic systems has been hailed as one of the important breakthroughs in science in the past century and its importance continues to expand. There is no question that the field is becoming more and more important in a variety of scientific disciplines.New to this edition:•Greatly expanded coverage complex dynamics now in Chapter 2•The third chapter is now devoted to higher dimensional dynamical systems.•Chapters 2 and 3 are independent of one another.•New exercises have been added throughout.

This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences. Specifically designed for the student who is intimidated by mathematics, the book offers a concise treatment in an engaging style.The thoroughly revised third edition features a new chapter on relevance-sensitivity in logical reasoning and many additional explanations on points that students find puzzling, including the rationale for various shorthand ways of speaking and ‘abuses of language’ that are convenient but can give rise to misunderstandings. Solutions are now also provided for all exercises.Topics and features: presents an intuitive approach, emphasizing how finite mathematics supplies a valuable language for thinking about computation; discusses sets and the mathematical objects built with them, such as relations and functions, as well as recursion and induction; introduces core topics of mathematics, including combinatorics and finite probability, along with the structures known as trees; examines propositional and quantificational logic, how to build complex proofs from simple ones, and how to ensure relevance in logic; addresses questions that students find puzzling but may have difficulty articulating, through entertaining conversations between Alice and the Mad Hatter; provides an extensive set of solved exercises throughout the text.This clearly-written textbook offers invaluable guidance to students beginning an undergraduate degree in computer science. The coverage is also suitable for courses on formal methods offered to those studying mathematics, philosophy, linguistics, economics, and political science. Assuming only minimal mathematical background, it is ideal for both the classroom and independent study.

*A Financial Times and Waterstones Book of the Year 2025* Many artists are unaware of the mathematics that bubble beneath their craft, while some consciously use it for inspiration. Our instincts might tell us that these two subjects are incompatible forces with nothing in common, but what if we’re wrong? Marcus du Sautoy, acclaimed mathematician and Simonyi Professor for the Public Understanding of Science at the University of Oxford, looks to art, music, design and literature to uncover the key mathematical structures that underpin both human creativity and the natural world.Blueprints takes us from the earliest stone circles to the modernist architecture of Le Corbusier, from Bach’s circular compositions to Radiohead’s disruptive soundscapes, and from Shakespeare’s hidden numerical clues to the Dada artists who embraced randomness. Instead of polar opposites we find a complementary relationship that spans a vast historical and geographic landscape.Whether we are searching for meaning in an abstract painting or deciphering poetry, there are blueprints everywhere: prime numbers, symmetry, fractals and the weirder worlds of Hamiltonian cycles and hyperbolic geometry. Nature similarly exploits these structures to achieve the wonders of our universe.In this innovative and delightfully bold exploration of creativity, Marcus explains how we make art, why a creative mindset is vital for discovering new mathematics and how a fundamental connection to the natural world intrinsically links these two subjects.‘Blueprints is an extraordinary book which shows us how mathematics and art are connected through structures. Du Sautoy shows us how to bridge the divide of science and the humanities and proves that we can only face and solve the big challenges of the twenty-first century if we go beyond the fear of pooling knowledge’ Hans Ulrich Obrist, Artistic Director, Serpentine Galleries

Derived from courses the author taught at Harvard and Johns Hopkins, this original book introduces the concepts of category theory ― categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctive, monads ― and other topics, revisiting a broad range of mathematical examples from the categorical perspective. Basic set theory and logic are the only prerequisites.

While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensive history of the mathematical background, content, and impact of the mathematical logic and philosophy of mathematics that Russell developed with A. N. Whitehead in their Principia mathematica (1910-1913). This definitive history of a critical period in mathematics includes detailed accounts of the two principal influences upon Russell around 1900: the set theory of Cantor and the mathematical logic of Peano and his followers. Substantial surveys are provided of many related topics and figures of the late nineteenth century: the foundations of mathematical analysis under Weierstrass; the creation of algebraic logic by De Morgan, Boole, Peirce, Schroder, and Jevons; the contributions of Dedekind and Frege; the phenomenology of Husserl; and the proof theory of Hilbert. The many-sided story of the reception is recorded up to 1940, including the rise of logic in Poland and the impact on Vienna Circle philosophers Carnap and Godel. A strong American theme runs though the story, beginning with the mathematician E. H.Moore and the philosopher Josiah Royce, and stretching through the emergence of Church and Quine, and the 1930s immigration of Carnap and GodeI. Grattan-Guinness draws on around fifty manuscript collections, including the Russell Archives, as well as many original reviews. The bibliography comprises around 1,900 items, bringing to light a wealth of primary materials. Written for mathematicians, logicians, historians, and philosophers--especially those interested in the historical interaction between these disciplines--this authoritative account tells an important story from its most neglected point of view. Whitehead and Russell hoped to show that (much of) mathematics was expressible within their logic; they failed in various ways, but no definitive alternative position emerged then or since.

Crossing Numbers of Graphs is the first book devoted to the crossing number, an increasingly popular object of study with surprising connections. The field has matured into a large body of work, which includes identifiable core results and techniques. The book presents a wide variety of ideas and techniques in topological graph theory, discrete geometry, and computer science. The first part of the text deals with traditional crossing number, crossing number values, crossing lemma, related parameters, computational complexity, and algorithms. The second part includes the rich history of alternative crossing numbers, the rectilinear crossing number, the pair crossing number, and the independent odd crossing number.It also includes applications of the crossing number outside topological graph theory.Aimed at graduate students and professionals in both mathematics and computer scienceThe first book of its kind devoted to the topicAuthored by a noted authority in crossing numbers

This textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, conventions, and perspectives throughout, and emphasizes interactions with the rest of mathematics. In addition to covering the basic concepts of mathematical logic and the fundamental material on completeness, compactness, and incompleteness, it devotes significant space to thorough introductions to the pillars of the modern subject: model theory, set theory, and computability. Requiring only a modest background of undergraduate mathematics, the text can be readily adapted for a variety of one- or two-semester courses at the upper-undergraduate or beginning-graduate level. Numerous examples reinforce the key ideas and illustrate their applications, and a wealth of classroom-tested exercises serve to consolidate readers' understanding. Comprehensive and engaging, this book offers a fresh approach to this enduringly fascinating and important subject.

I Wish They'd Taught Me That: Overlooked and Omitted Topics in Mathematics concerns the topics which every undergraduate mathematics student "should" know but has probably never encountered. These topics are not the ones which dominate every syllabus, but those magnificent secrets that are beautiful, useful and accessible but which are inexplicably hidden away from the mainstream curriculum.Each chapter of this book concerns a different topic which students will almost certainly be unfamiliar with. Written in a lively, conversational style, by the end of each section the reader should feel equipped with the knowledge to explore the area more fully elsewhere.FeaturesTopics from a variety of areas of mathematics, including geometry, logic, analysis, algebra, numerical analysis, and topologyNumerous examples, diagrams, and exercisesCollections of resources where an interested reader can learn more about each topicNontechnical introductions to each chapter.For a full list of errata, maintained by the authors, please visit: https://juliangould.github.io/pages/IWTTMT_corrections.html

The topics introduced include arithmetic of rings, modules, especially principal ideal rings and the classification of modules over such rings, Galois theory, as well as an introduction to more advanced topics such as homological algebra, tensor products, and algebraic concepts involved in algebraic geometry.

Mathematician and popular science author Eugenia Cheng is on a mission to show you that mathematics can be flexible, creative, and visual. This joyful journey through the world of abstract mathematics into category theory will demystify mathematical thought processes and help you develop your own thinking, with no formal mathematical background needed. The book brings abstract mathematical ideas down to earth using examples of social justice, current events, and everyday life - from privilege to COVID-19 to driving routes. The journey begins with the ideas and workings of abstract mathematics, after which you will gently climb toward more technical material, learning everything needed to understand category theory, and then key concepts in category theory like natural transformations, duality, and even a glimpse of ongoing research in higher-dimensional category theory. For fans of How to Bake Pi, this will help you dig deeper into mathematical concepts and build your mathematical background.

'Fascinating and immensely readable' Ian Stewart 'A charming tour through the realm of the very, very, very numerous, from the ancient world through to the distant future' Jordan Ellenberg, author of How Not to Be WrongWhat if, every time you wanted to write down 1,000,000, you had to draw a picture of a god? And what if that number were the biggest you had a symbol for? In ancient Egypt, those were the rules: anything bigger broke maths. Writing down some numbers is still beyond us today: try it with all the zeroes in a googolplex, or an outrageous alien number like FISH 7. Even harnessing every particle in the universe, you wouldn't come close. But that hasn't stopped us from hunting down these mind-bendingly big numbers and studying them.In Huge Numbers, mathematician and Numberphile presenter Richard Elwes shows how counting has shaped human thought. Whether recorded with notches carved on a tally stick, beads on an abacus, or electrical signals carrying binary code, it allows us to test the limits of mathematics over and over, breaking it down and putting it back together again.Come on a fascinating tour that spans continents and millennia, from the Mayan calendar to today's chatbots. You'll see that huge numbers are everywhere, expanding our horizons and powering our modern world.

*A Financial Times and Waterstones Book of the Year 2025* Many artists are unaware of the mathematics that bubble beneath their craft, while some consciously use it for inspiration. Our instincts might tell us that these two subjects are incompatible forces with nothing in common, but what if we’re wrong? Marcus du Sautoy, acclaimed mathematician and Simonyi Professor for the Public Understanding of Science at the University of Oxford, looks to art, music, design and literature to uncover the key mathematical structures that underpin both human creativity and the natural world.Blueprints takes us from the earliest stone circles to the modernist architecture of Le Corbusier, from Bach’s circular compositions to Radiohead’s disruptive soundscapes, and from Shakespeare’s hidden numerical clues to the Dada artists who embraced randomness. Instead of polar opposites we find a complementary relationship that spans a vast historical and geographic landscape.Whether we are searching for meaning in an abstract painting or deciphering poetry, there are blueprints everywhere: prime numbers, symmetry, fractals and the weirder worlds of Hamiltonian cycles and hyperbolic geometry. Nature similarly exploits these structures to achieve the wonders of our universe.In this innovative and delightfully bold exploration of creativity, Marcus explains how we make art, why a creative mindset is vital for discovering new mathematics and how a fundamental connection to the natural world intrinsically links these two subjects.‘Blueprints is an extraordinary book which shows us how mathematics and art are connected through structures. Du Sautoy shows us how to bridge the divide of science and the humanities and proves that we can only face and solve the big challenges of the twenty-first century if we go beyond the fear of pooling knowledge’ Hans Ulrich Obrist, Artistic Director, Serpentine Galleries

A "fascinating romp" (Johnjoe McFadden) and stirring account of the mathematicians who went looking for the bedrock philosophical foundations of their field and witnessed a house of cards collapse instead As the nineteenth century ended, mathematicians were celebrating a century of triumphs that-surprisingly-made clear how little they knew: What is the nature of infinity? Is math free from self-contradiction? And what does math have to do with reality? This was the Foundational Crisis in mathematics. In The Great Math War, Jason Socrates Bardi tells the story of three competing efforts by mathematicians to resolve it-and the firefight that ensued. Bertrand Russell thought we could achieve certainty if we treated math as an extension of logic. David Hilbert believed redemption lay in accepting mathematics as a formal game of arbitrary rules, no different from the moves and pieces in chess. And L. E. J. Brouwer argued math is entirely rooted in human intuition-and that math is not based on logic but rather logic is based on math. It was a bitter struggle, intellectually and personally, as the three vied to set the course for mathematics in the twentieth century. Set against the backdrop of international warfare unfolding alongside it, The Great Math War brings the Foundational Crisis to radiant life-and shows how it indelibly shaped twentieth-century intellectual life.

For thousands of years, mathematicians have used the timeless art of logic to see the world more clearly. In The Art of Logic, Royal Society Science Book Prize nominee Eugenia Cheng shows how anyone can think like a mathematician - and see, argue and think better.Learn how to simplify complex decisions without over-simplifying them. Discover the power of analogies and the dangers of false equivalences. Find out how people construct misleading arguments, and how we can argue back.Eugenia Cheng teaches us how to find clarity without losing nuance, taking a careful scalpel to the complexities of politics, privilege, sexism and dozens of other real-world situations. Her Art of Logic is a practical and inspiring guide to decoding the modern world.

'Wooldridge is like the teacher you wish you'd had'GUARDIAN'This book is simply brilliant . . . I learned so much'SIR DAVID SPIEGELHALTER, UNIVERSITY OF CAMBRIDGE'Fresh, clever and playful'MATT RIDLEY, AUTHOR OF THE ORIGINS OF VIRTUE'Michael explains the complex, strategic structures of our world with masterful beauty'MILIND TAMBE, HARVARD UNIVERSITY'Effortlessly covers a broad swath of core ideas in game theory, with a sprinkle of British humour'EDITH ELKIND, NORTHWESTERN UNIVERSITY'A wonderful book'YOAV SHOHAM, STANFORD UNIVERSITY______A fascinating deep-dive into game theory, its history and its practical applications by award-winning expert on computer science and artificial intelligence.Most of us have some idea about game theory. Concepts like zero-sum games and the prisoner's dilemma crop up in films, novels and casual conversation, often as shorthand for cut-throat competition or inevitable betrayal. But game theory, the science behind these ideas, is widely misunderstood. All too often it's seen solely as the science of conflict and greed. In fact, this field has a lot to teach us about how to make a better world. It shows us just what it takes to enable cooperation and mutual benefit.This essential primer presents twenty one 'life lessons from game theory', which illustrate the key ideas in the field, and which are packed with real world examples: from overfishing in the Atlantic; to the Cuban Missile Crisis; to security measures at international airports; to advertising wars between major brands. This is a hopeful and practical book that highlights the value of game theory and provides a course correction for its integration into the real world.

Test your powers of logic with 200 puzzles from The Times.Just like a mathematical crossword, these puzzles are ideal for fans of Su Doku who relish grappling with figures. Contains four levels of difficulty, combining arithmetic with an intersecting layout: Mild, Medium, Tricky and Tough.Kakuro originated in the United States in the 1950s under the name of Cross Sums. A logic puzzle, the aim is to complete a grid using digits from 1 to 9, with the digits in each row/column adding up to the clue for that block. It’s similar to Su Doku in the sense that digits cannot be repeated in a row/column.Also known as: Croco Puzzle, Cross Sums, CrossSam, Kasan Kurosu, Kreuzsummenrätsel,Tashizan Cross, ZahlenschwedeAre you up to the challenge?

'Fascinating and immensely readable' Ian Stewart 'A charming tour through the realm of the very, very, very numerous, from the ancient world through to the distant future' Jordan Ellenberg, author of How Not to Be WrongWhat if, every time you wanted to write down 1,000,000, you had to draw a picture of a god? And what if that number were the biggest you had a symbol for? In ancient Egypt, those were the rules: anything bigger broke maths. Writing down some numbers is still beyond us today: try it with all the zeroes in a googolplex, or an outrageous alien number like FISH 7. Even harnessing every particle in the universe, you wouldn't come close. But that hasn't stopped us from hunting down these mind-bendingly big numbers and studying them.In Huge Numbers, mathematician and Numberphile presenter Richard Elwes shows how counting has shaped human thought. Whether recorded with notches carved on a tally stick, beads on an abacus, or electrical signals carrying binary code, it allows us to test the limits of mathematics over and over, breaking it down and putting it back together again.Come on a fascinating tour that spans continents and millennia, from the Mayan calendar to today's chatbots. You'll see that huge numbers are everywhere, expanding our horizons and powering our modern world.

Confusing Textbooks? Missed Lectures? Not Enough Time?

Fortunately for you, there's Schaum's Outlines. More than 40 million students have trusted Schaum's to help them succeed in the classroom and on exams. Schaum's is the key to faster learning and higher grades in every subject. Each Outline presents all the essential course information in an easy-to-follow, topic-by-topic format. You also get hundreds of examples, solved problems, and practice exercises to test your skills.

This Schaum's Outline gives you

Practice problems with full explanations that reinforce knowledgeCoverage of the most up-to-date developments in your course fieldIn-depth review of practices and applications

Fully compatible with your classroom text, Schaum's highlights all the important facts you need to know. Use Schaum's to shorten your study time-and get your best test scores!

Schaum's Outlines-Problem Solved.

Explains how scientists who study complexity are convinced that certain constant processes are at work in all kinds of unrelated complex systems.

Elements of Mathematics takes readers on a fascinating tour that begins in elementary mathematics--but, as John Stillwell shows, this subject is not as elementary or straightforward as one might think. Not all topics that are part of today's elementary mathematics were always considered as such, and great mathematical advances and discoveries had to occur in order for certain subjects to become "elementary." Stillwell examines elementary mathematics from a distinctive twenty-first-century viewpoint and describes not only the beauty and scope of the discipline, but also its limits. From Gaussian integers to propositional logic, Stillwell delves into arithmetic, computation, algebra, geometry, calculus, combinatorics, probability, and logic. He discusses how each area ties into more advanced topics to build mathematics as a whole. Through a rich collection of basic principles, vivid examples, and interesting problems, Stillwell demonstrates that elementary mathematics becomes advanced with the intervention of infinity.Infinity has been observed throughout mathematical history, but the recent development of "reverse mathematics" confirms that infinity is essential for proving well-known theorems, and helps to determine the nature, contours, and borders of elementary mathematics. Elements of Mathematics gives readers, from high school students to professional mathematicians, the highlights of elementary mathematics and glimpses of the parts of math beyond its boundaries.

Confusing Textbooks? Missed Lectures? Not Enough Time?

Fortunately for you, there's Schaum's Outlines. More than 40 million students have trusted Schaum's to help them succeed in the classroom and on exams. Schaum's is the key to faster learning and higher grades in every subject. Each Outline presents all the essential course information in an easy-to-follow, topic-by-topic format. You also get hundreds of examples, solved problems, and practice exercises to test your skills.

This Schaum's Outline gives you

Practice problems with full explanations that reinforce knowledgeCoverage of the most up-to-date developments in your course fieldIn-depth review of practices and applications

Fully compatible with your classroom text, Schaum's highlights all the important facts you need to know. Use Schaum's to shorten your study time-and get your best test scores!

Schaum's Outlines-Problem Solved.