Filter
Matematisk logik
Filter
The remarkable properties of the numbers one through nineIn Single Digits, Marc Chamberland takes readers on a fascinating exploration of small numbers, from one to nine, looking …
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 …
How you can become better at solving real-world problems by learning creative puzzle-solving skillsWe solve countless problems—big and small—every day. With so much practice, why …
An inviting collection of fun, hands-on applications in mathematics and computingThis book provides a fun, hands-on approach to learning how mathematics and computing relate to the …
How has computer science changed mathematical thinking? In this first ever comprehensive survey of the subject for popular science readers, Arturo Sangalli explains how computers …
Computability theory is a branch of mathematical logic and computer science that has become increasingly relevant in recent years. The field has developed growing connections in …
A facsimile edition of Alan Turing's influential Princeton thesisBetween inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War …
The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery …
How two pioneers of math and technology ushered in the computer revolutionBoolean algebra, also called Boolean logic, is at the heart of the electronic circuitry in everything we …
The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery …