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

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 »

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 »

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 »

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 »

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 »

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

Läs mer »

Set theory is a rich and beautiful subject whose fundamental concepts permeate virtually every branch of mathematics. One could say that set theory is a unifying theory for mathematics, since nearly all mathematical concepts and results can be for...

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 »

The main idea behind this book is to encourage readers to approach mathematical domains from a functional programming perspective: to identify the main functions and types involved and, when necessary, to introduce new abstractions; to give calcul...

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 »

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 »

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 »

Multiagent systems combine multiple autonomous entities, each having diverging interests or different information. This overview of the field offers a computer science perspective, but also draws on ideas from game theory, economics, operations re...

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 »

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

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 »

The theory of Boolean algebras was created in 1847 by the English mat- matician George Boole. He conceived it as a calculus (or arithmetic) suitable for a mathematical analysis of logic. The form of his calculus was rather di?erent from the modern...

Läs mer »

This textbook introduces discrete mathematics by emphasizing the importance of reading and writing proofs. Because it begins by carefully establishing a familiarity with mathematical logic and proof, this approach suits not only a discrete mathema...

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 »

How the concept of proof has enabled the creation of mathematical knowledge The Story of Proof investigates the evolution of the concept of proof-one of the most significant and defining features of mathematical thought-through critical episodes i...

Läs mer »

Get started with MATLAB for deep learning and AI with this in-depth primer. In this book, you start with machine learning fundamentals, then move on to neural networks, deep learning, and then convolutional neural networks. In a blend of fundament...

Läs mer »

Professor Merrie Bergmann presents an accessible introduction to the subject of many-valued and fuzzy logic designed for use on undergraduate and graduate courses in non-classical logic. Bergmann discusses the philosophical issues that give rise t...

Läs mer »

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, bu...

Läs mer »

Higher category theory is generally regarded as technical and forbidding, but part of it is considerably more tractable: the theory of infinity-categories, higher categories in which all higher morphisms are assumed to be invertible. In Higher Top...

Läs mer »

The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models t...

Läs mer »

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

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 »

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 »