Matematisk logik

Douglas Hofstadter's book is concerned directly with the nature of maps" or links between formal systems. However, according to Hofstadter, the formal system that underlies all mental activity transcends the system that supports it. If life 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 »

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics o...

Läs mer »

An Introduction to Formal Languages and Automata, Sixth Edition provides an accessible, student-friendly presentation of all material essential to an introductory Theory of Computation course. Written to address the fundamentals of formal language...

Läs mer »

This truly philosophical book takes us back to fundamentals - the sheer experience of proof, and the enigmatic relation of mathematics to nature. It asks unexpected questions, such as 'what makes mathematics mathematics?', 'where did proof come fr...

Läs mer »

This book provides the first comprehensive treatment of Benford's law, the surprising logarithmic distribution of significant digits discovered in the late nineteenth century. Establishing the mathematical and statistical principles that underpin ...

Läs mer »

This beginning graduate textbook describes both recent achievements and classical results of computational complexity theory. Requiring essentially no background apart from mathematical maturity, the book can be used as a reference for self-study ...

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 »

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 »

Is infinity a valid mathematical property or a meaningless abstraction? David Foster Wallace brings his intellectual ambition and characteristic bravura style to the story of how mathematicians have struggled to understand the infinite, from the a...

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 »

Kurt Gödel var det plågade geniet vars visioner skakade det matematiska resonemangets stabilitet. Priset för att förändra matematiken i grunden var en balansgång på galenskapens rand. Rebecca Goldstein, prisbelönt författare och filosof, ger läsar...

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 »

This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an understanding of analysis. Instead of the standard &q...

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 describes established and advanced methods for reducing the dimensionality of numerical databases. Each description starts from intuitive ideas, develops the necessary mathematical details, and ends by outlining the algorithmic implement...

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 »

A well-known mathematician, magician, and author spins a logical labyrinth of more than 200 increasingly complex and challenging problems that delve into some of the deepest paradoxes of logic and set theory. Solutions.

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 »

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Ca...

Läs mer »

Master the practical aspects of implementing deep learning solutions with PyTorch, using a hands-on approach to understanding both theory and practice. This updated edition will prepare you for applying deep learning to real world problems with a ...

Läs mer »

The emphasis of this book lies on the teaching of mathematical modeling rather than simply presenting models. To this end the book starts with the simple discrete exponential growth model as a building block, and successively refines it. This invo...

Läs mer »

This is a reprint of Suppes' classic work of 1957, which is cited in Books for College Libraries, 3d ed. Annotation c. Book News, Inc., Portland, OR (booknews.com).

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 »

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

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 »

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 »

The Handbook of Normative Multiagent Systems presents a comprehensive overview of the state-of-the-art and trends in the research field of normative multiagent systems (NorMAS). The handbook provides a solid introduction to the essentials of the f...

Läs mer »

The Handbook of Deontic Logic and Normative Systems presents a detailed overview of the main lines of research on contemporary deontic logic and related topics. Although building on decades of previous work in the field, it is the first colle...

Läs mer »