Matematisk logik

Winner of the Pulitzer Prize A metaphorical fugue on minds and machines in the spirit of Lewis Carroll Douglas Hofstadter's book is concerned directly with the nature of "maps" or links between formal systems. However, according to ...

Läs mer »

Suguru  is a logic puzzle with simple rules and challenging solutions. The task consists of a rectangular or square grid divided into regions. The rules of Suguru are simple, each region must be filled with each of the digits from 1 to the nu...

Läs mer »

A WATERSTONES BEST BOOK OF 2023 A NEW SCIENTIST BEST BOOK OF 2023 WINNER OF THE LA TIMES SCIENCE & TECHNOLOGY 2023 BOOK PRIZE 'A generous tour of mathematics for anyone whose instincts tend less towards "Just tell me the answer"...

Läs mer »

'An invaluable companion for anyone who wants a deep understanding of whats under the hood of often inscrutable machines' Melanie Mitchell A rich, narrative explanation of the mathematics that has brought us machine learning and the ongo...

Läs mer »

Suguru  is a logic puzzle with simple rules and challenging solutions. The task consists of a rectangular or square grid divided into regions. The rules of Suguru are simple, each region must be filled with each of the digits from 1 to the nu...

Läs mer »

Inspiring and informativedeserves to be widely read. Wall Street Journal This fun book offers a philosophical take on number systems and revels in the beauty of math. Science News Because we have ten fingers, grouping by ten seems natural, but twe...

Läs mer »

From the Introduction. In 1931 there appeared in a German scientific periodical a relatively short paper with the forbidding title ""Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme"" ("&q...

Läs mer »

Great gift for family, friends or work colleagues Playing logic puzzle is not just a fun way to pass the time, due to its logical elements it has been found as a proven method of exercising and stimulating portions of your brain, training it even ...

Läs mer »

Introducing the Collins Modern Classics, a series featuring some of the most significant books of recent times, books that shed light on the human experience classics which will endure for generations to come. Maths is one of the purest forms of t...

Läs mer »

This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Intro...

Läs mer »

Work focuses on concepts of number, order, relations, limits and continuity, propositional functions, descriptions and classes, more.

Läs mer »

Playing Samurai Sudoku is not just a fun way to pass the time, due to its logical elements it has been found as a proven method of exercising and stimulating portions of your brain, training it even if you will and just like training any other mus...

Läs mer »

For lovers of japanese puzzles, this book contains 100 new nonograms with answers. Answers are at the end of the book. Good luck solving these puzzles :D

Läs mer »

Binary Puzzle (also known as " Binairo", "Takuzu", "Tohu wa Vohu")  is a logic puzzle with simple rules and challenging solutions. It is played on a rectangular or square grid. This Logic Puzzles book is packed with the following features: - ...

Läs mer »

A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight. In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown c...

Läs mer »

Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of class...

Läs mer »

Classic by prominent mathematician offers a concise introduction to set theory using language and notation of informal mathematics. Topics include the basic concepts of set theory, cardinal numbers, transfinite methods, more. 1960 edition.

Läs mer »

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 mathematic...

Läs mer »

First English translation of revolutionary paper (1931) that established unprovability of certain propositions in any arithmetical system.

Läs mer »

This authoritative biography of Kurt Goedel relates the life of this most important logician of our time to the development of the field. Goedel's seminal achievements that changed the perception and foundations of mathematics are explained i...

Läs mer »

This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical t...

Läs mer »

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 mathematic...

Läs mer »

Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the...

Läs mer »

Uncover the language of our universe - numbers - in this wide-ranging whistle-stop tour of the history and majesty of mathematics. Our world simply wouldn't function if we didn't have numbers. But where do they come from? Why do we cut c...

Läs mer »

Cryptology: Classical and Modern, Second Edition proficiently introduces readers to the fascinating field of cryptology. The book covers classical methods including substitution, transposition, Alberti, Vigenre, and Hill ciphers. It also includes ...

Läs mer »

Great gift for family, friends or work colleagues This Logic Puzzles book is packed with the following features:   1000  Binary Puzzle (12x12) from Easy to Hard (333 Easy - 334 Medium - 333 Hard).  Each puzzle is guaranteed to have ...

Läs mer »

An accessible explanation of Kurt Gdel's groundbreaking work in mathematical logic In 1931 Kurt Gdel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revoluti...

Läs mer »

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 transit...

Läs mer »

Study smarter and stay on top of your probability course with the bestselling Schaums Outlinenow with the NEW Schaum's app and website! Schaums Outline of Probability, Third Edition is the go-to study guide for help in probability courses. It's id...

Läs mer »