The Complete Idiot's Guide to Speed Math provides easy-to-understand methods, tips, and tricks to do math in one's head, on paper, and on a calculator at a faster rate and with more accuracy for anyone who is intimidated by math and for whom such calculations would otherwise require paper or calculator.
The Final Volume of the Groundbreaking Trilogy on Agent-Based ModelingIn this pioneering synthesis, Joshua Epstein introduces a new theoretical entity: Agent_Zero.
Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results.
The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work.
The most comprehensive account of the mathematician's life and workJohn Napier (1550-1617) is celebrated today as the man who invented logarithms-an enormous intellectual achievement that would soon lead to the development of their mechanical equivalent in the slide rule: the two would serve humanity as the principal means of calculation until the mid-1970s.
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 world around us and help us to better understand it.
The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship.
Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength.
This book offers a historical explanation of important philosophical problems in logic and mathematics, which have been neglected by the official history of modern logic.
Starting at the very beginning with Aristotle's founding contributions, logic has been graced by several periods in which the subject has flourished, attaining standards of rigour and conceptual sophistication underpinning a large and deserved reputation as a leading expression of human intellectual effort.
The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the mathematization of logic.
This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science.
This book provides a comprehensive exposition of the use of set-theoretic methods in abelian group theory, module theory, and homological algebra, including applications to Whitehead's Problem, the structure of Ext and the existence of almost-free modules over non-perfect rings.
Relation theory originates with Hausdorff (Mengenlehre 1914) and Sierpinski (Nombres transfinis, 1928) with the study of order types, specially among chains = total orders = linear orders.
A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course.
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory.
Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and artificial intelligence, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas.
