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 »

Why is -(-1) = 1? Why do odd and even numbers alternate? What's the point of algebra? Is maths even real? From imaginary numbers to the perplexing order of operations we all had drilled into us, Eugenia Cheng - mathematician, writer and woman...

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 »

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 »

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 »

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 »

Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics. Where there was no shortcut for Alexander, there is no shortcut for us. Still, t...

Läs mer »

This Logic Puzzles book is packed with the following features: - 500 Easy to Hard Puzzles & 12 Puzzle Types: - 44  Sudoku  Puzzles - 40  Fillomino  Puzzles - 40  Battleships  Puzzles - 40  Calcudoku  Puz...

Läs mer »

The lambda-calculus lies at the very foundations of computerscience. Besides its historical role in computability theory it hashad significant influence on programming language design andimplementation, denotational semantics, and domain theory. T...

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 »

What is the shortest possible route for a traveling salesman seeking to visit each city on a list exactly once and return to his city of origin? It sounds simple enough, yet the traveling salesman problem is one of the most intensely studied puzzl...

Läs mer »

Graham Priest shows that formal logic is a powerful, exciting part of modern philosophy -- a tool for thinking about everything from the existence of God and the reality of time to paradoxes of probability. Explaining formal logic in simple, non-t...

Läs mer »

This book is an introduction to the language and standard proof methods of mathematics. It is a bridge from the computational courses (such as calculus or differential equations) that students typically encounter in their first year of college to ...

Läs mer »

Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating m...

Läs mer »

2014 Reprint of 1956 Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. Published in English and German with each text presented on opposing pages. "Remarks on the Foundations of Mathematics" are Wit...

Läs mer »

Are you smarter than a Singaporean ten-year-old? Can you beat Sherlock Holmes? If you think the answer is yes - I challenge you to solve my problems. Here are 125 of the world's best brainteasers from the last two millennia, taking us from an...

Läs mer »

Programming Legend Charles Petzold unlocks the secrets of the extraordinary and prescient 1936 paper by Alan M. Turing Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored th...

Läs mer »

This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and...

Läs mer »

This book presents an attempt to develop a theory of knowledge and a philosophy of mind using ideas derived from the mathematical theory of communication developed by Claude Shannon. Information is seen as an objective commodity defined by the dep...

Läs mer »

Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the ...

Läs mer »

Boolean circuit complexity is the combinatorics of computer science and involves many intriguing problems that are easy to state and explain, even for the layman. This book is a comprehensive description of basic lower bound arguments, covering ma...

Läs mer »

Proof techniques in cryptography are very difficult to understand, even for students or researchers who major in cryptography. In addition, in contrast to the excessive emphases on the security proofs of the cryptographic schemes, practical aspect...

Läs mer »

How the concept of proof has enabled the creation of mathematical knowledge The Story of Proof investigates the evolution of the concept of proofone of the most significant and defining features of mathematical thoughtthrough critical episodes in ...

Läs mer »

Comprehensive overview, suitable for advanced undergraduates and graduate students, covers propositional logic; first-order languages and logic; incompleteness, undecidability, and indefinability; recursive functions; computability; and Hilbert's ...

Läs mer »

2014 Reprint of 1954 American Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. This two volume classic comprises two titles: "Patterns of Plausible Inference" and "Induction and Analogy in Mathemat...

Läs mer »

Comprehensive in its selection of topics and results, this self-contained text examines the relative strengths and the consequences of the axiom of choice. Subjects include consistency and independence, permutation models, and examples and counter...

Läs mer »

Hilbert's Program was founded on a concern for the phenomenon of paradox in mathematics. To Hilbert, the paradoxes, which are at once both absurd and irresistible, revealed a deep philosophical truth: namely, that there is a discrepancy between th...

Läs mer »