Rakuten Kobo

Everything and More: A Compact History of Infinity

A Compact History of Infinity

by David Foster Wallace ...

"A gripping guide to the modern taming of the infinite."—The New York Times. With a new introduction by Neal Stephenson.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 ancient Greeks to the nineteenth ... Read more

$12.39 USD

"A gripping guide to the modern taming of the infinite."—The New York Times. With a new introduction by Neal Stephenson.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 ancient Greeks to the nineteenth
... Read more
Journey to the Edge of Reason

The Life of Kurt Gödel

by Stephen Budiansky ...

The first major biography written for a general audience of the logician and mathematician whose Incompleteness Theorems helped launch a modern scientific revolution.Nearly a hundred years after its publication, Kurt Gödel’s famous proof that every mathematical system must contain propositions that are true—yet never provable—continues to unsettle mathematics, philosophy, and computer science. Yet ... Read more

$14.99 USD

The first major biography written for a general audience of the logician and mathematician whose Incompleteness Theorems helped launch a modern scientific revolution.Nearly a hundred years after its publication, Kurt Gödel’s famous proof that every mathematical system must contain propositions that are true—yet never provable—continues to unsettle mathematics, philosophy, and computer science. Yet
... Read more
Category Theory for the Sciences

by David I. Spivak ...

An introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences.Category theory was invented in the 1940s to unify and synthesize different areas in mathematics, and it has proven remarkably successful in enabling powerful communication between disparate fields and subfields within mathematics. This book shows that category theory can ... Read more

$33.99 USD

An introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences.Category theory was invented in the 1940s to unify and synthesize different areas in mathematics, and it has proven remarkably successful in enabling powerful communication between disparate fields and subfields within mathematics. This book shows that category theory can
... Read more
Set Theory

A First Course

by Daniel W. Cunningham ...

Series series Cambridge Mathematical Textbooks
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 formalized within set theory. This textbook is meant for an upper undergraduate course in set theory. In this text, the fundamentals of abstract sets, ... Read more

$59.09 USD

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 formalized within set theory. This textbook is meant for an upper undergraduate course in set theory. In this text, the fundamentals of abstract sets,
... Read more
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory

by Douglas Cenzer, Jean Larson, Christopher Porter, Jindrich Zapletal ...

This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning graduate students to help them prepare for advanced study in set theory and mathematical logic as well as other areas of mathematics, such as analysis, topology, and algebra.The book is designed as a flexible and accessible text for a one-semester ... Read more

$28.49 USD

This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning graduate students to help them prepare for advanced study in set theory and mathematical logic as well as other areas of mathematics, such as analysis, topology, and algebra.The book is designed as a flexible and accessible text for a one-semester
... Read more
Basic Category Theory

by Tom Leinster ...

Series Book 143 - Cambridge Studies in Advanced Mathematics
At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties all three together. The book is suitable for use in ... Read more

$63.99 USD

At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties all three together. The book is suitable for use in
... Read more
Maths Hacks

by Richard Cochrane ...

Series series Hacks
Everything you need to know about 100 key mathematical concepts condensed into easy-to-understand sound bites designed to stick in your memory and give you an instant grasp of the concept.On each topic, you'll start with a helicopter overview of the subject, which will give you an introduction to the idea and some context surrounding it. Next, you'll zoom in on the core elements of the theory, ... Read more

$2.99 USD

Everything you need to know about 100 key mathematical concepts condensed into easy-to-understand sound bites designed to stick in your memory and give you an instant grasp of the concept.On each topic, you'll start with a helicopter overview of the subject, which will give you an introduction to the idea and some context surrounding it. Next, you'll zoom in on the core elements of the theory,
... Read more
The Universal Computer

The Road from Leibniz to Turing, Third Edition

by Martin Davis ...

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age – the logicians. ... Read more

$55.99 USD

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age – the logicians.
... Read more
Mathematical Logic

by Joseph R. Shoenfield ...

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and ... Read more

$67.99 USD

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and
... Read more
Discrete Mathematics

An Open Introduction

by Oscar Levin ...

Series series Discrete Mathematics and Its Applications
Discrete Mathematics: An Open Introduction, Fourth Edition aims to provide an introduction to select topics in discrete mathematics at a level appropriate for first or second year undergraduate math and computer science majors, especially those who intend to teach middle and high school mathematics. The book began as a set of notes for the Discrete Mathematics course at the University of Northern ... Read more

$70.99 USD

Discrete Mathematics: An Open Introduction, Fourth Edition aims to provide an introduction to select topics in discrete mathematics at a level appropriate for first or second year undergraduate math and computer science majors, especially those who intend to teach middle and high school mathematics. The book began as a set of notes for the Discrete Mathematics course at the University of Northern
... Read more
Fundamentals of Mathematical Logic

by Peter G. Hinman ...

This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teaching experience, the book develops students' intuition by presenting complex ideas in the simplest ... Read more

$170.00 USD

This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teaching experience, the book develops students' intuition by presenting complex ideas in the simplest
... Read more
The Baseball Mysteries

Challenging Puzzles for Logical Detectives

by Jerry Butters, Jim Henle ...

Series series AK Peters/CRC Recreational Mathematics Series
The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. The puzzles are solved by reasoning from the rules of the game and a few facts.The logic in the puzzles is like legal reasoning. A solution must argue from evidence (the facts) and law (the rules). ... Read more

$34.99 USD

The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. The puzzles are solved by reasoning from the rules of the game and a few facts.The logic in the puzzles is like legal reasoning. A solution must argue from evidence (the facts) and law (the rules).
... Read more
Elements of Set Theory

by Herbert B. Enderton ...

This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory is necessary part of the background everyone needs for further study of mathematics. It is also possible to study set theory for its own interest--it is a subject with intruiging results anout simple objects. This book starts with material that ... Read more

$52.19 USD

This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory is necessary part of the background everyone needs for further study of mathematics. It is also possible to study set theory for its own interest--it is a subject with intruiging results anout simple objects. This book starts with material that
... Read more
Beginner's Further Guide To Mathematical Logic, A

by Raymond M Smullyan ...

'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on ... Read more

$18.09 USD

'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on
... Read more
Computability Theory

by S. Barry Cooper, S. Barry Cooper ...

Series series Chapman Hall/CRC Mathematics Series
Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive hierarchy classifications. Recent work in computability theory has focused on Turing definability and ... Read more

$140.00 USD

Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive hierarchy classifications. Recent work in computability theory has focused on Turing definability and
... Read more
A Gentle Introduction to Group Theory

by Bana Al Subaiei, Muneerah Al Nuwairan ...

Series series Mathematics and Statistics (R0)
The book is intended to serve as an introductory course in group theory geared towards second-year university students. It aims to provide them with the background needed to pursue more advanced courses in algebra and to provide a rich source of examples and exercises. Studying group theory began in the late eighteenth century and is still gaining importance due to its applications in physics, ... Read more

$49.99 USD

The book is intended to serve as an introductory course in group theory geared towards second-year university students. It aims to provide them with the background needed to pursue more advanced courses in algebra and to provide a rich source of examples and exercises. Studying group theory began in the late eighteenth century and is still gaining importance due to its applications in physics,
... Read more
人口变动与教育资源需求预测：以北京为例

by 赵佳音 ...

伴隨著我國改革開放和社會經濟發展，人口在城鄉之間、城市之間大規模流動。人口城鎮化率不斷上升。北京作為城鎮化過程中的主要人口流入地，在提供均等化的義務教育公共服務方面，面臨著極大的挑戰。加之“全面二孩”政策、及“非首都功能疏解”等相關政策的實施，為北京基礎教育階段的學位需求情況帶來了更多的不確定性。從這些實際問題出發，本書將著重討論以下兩個問題：1. 基礎教育階段適齡人口的預測方法與北京市及各區2010年至2027年基礎教育階段適齡人口的預測2.基礎教育資源需求的預測方法與北京市及各區基礎教育2010年至2027年教育資源需求的預測。本書的創新之處在於：1.對學齡人口預測與教育資源需求預測的方法進行了改進，提高了預測的科學性。2.將學齡人口的預測應用於北京市及其各區，以往的研究多集中於國家或者省級層面，對一個城市及其內部各區縣的預測並不多見。3.將人口預測與教育資源需求預測相結合 ... Read more

$10.99 USD or Free with Kobo Plus

伴隨著我國改革開放和社會經濟發展，人口在城鄉之間、城市之間大規模流動。人口城鎮化率不斷上升。北京作為城鎮化過程中的主要人口流入地，在提供均等化的義務教育公共服務方面，面臨著極大的挑戰。加之“全面二孩”政策、及“非首都功能疏解”等相關政策的實施，為北京基礎教育階段的學位需求情況帶來了更多的不確定性。從這些實際問題出發，本書將著重討論以下兩個問題：1. 基礎教育階段適齡人口的預測方法與北京市及各區2010年至2027年基礎教育階段適齡人口的預測2.基礎教育資源需求的預測方法與北京市及各區基礎教育2010年至2027年教育資源需求的預測。本書的創新之處在於：1.對學齡人口預測與教育資源需求預測的方法進行了改進，提高了預測的科學性。2.將學齡人口的預測應用於北京市及其各區，以往的研究多集中於國家或者省級層面，對一個城市及其內部各區縣的預測並不多見。3.將人口預測與教育資源需求預測相結合
... Read more
Mathematical Theory of Fuzzy Sets

by Hsien-Chung Wu ...

Mathematical Theory of Fuzzy Sets presents the mathematical theory of non-normal fuzzy sets such that it can be rigorously used as a basic tool to study engineering and economic problems under a fuzzy environment. It may also be used as a textbook at the graduate level, or as a reference for researchers.The book explores the current state of affairs in set operations of fuzzy sets, arithmetic ... Read more

$265.99 USD

Mathematical Theory of Fuzzy Sets presents the mathematical theory of non-normal fuzzy sets such that it can be rigorously used as a basic tool to study engineering and economic problems under a fuzzy environment. It may also be used as a textbook at the graduate level, or as a reference for researchers.The book explores the current state of affairs in set operations of fuzzy sets, arithmetic
... Read more
Forcing For Mathematicians

by Nik Weaver ...

Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists. In the past decade, a series of remarkable solutions to ... Read more

$24.99 USD

Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists. In the past decade, a series of remarkable solutions to
... Read more
Measure of Noncompactness, Fixed Point Theorems, and Applications

Edited by S. A. Mohiuddine, M. Mursaleen, Dragan S. Djordjević ...

The theory of the measure of noncompactness has proved its significance in various contexts, particularly in the study of fixed point theory, differential equations, functional equations, integral and integrodifferential equations, optimization, and others. This edited volume presents the recent developments in the theory of the measure of noncompactness and its applications in pure and applied ... Read more

$73.99 USD

The theory of the measure of noncompactness has proved its significance in various contexts, particularly in the study of fixed point theory, differential equations, functional equations, integral and integrodifferential equations, optimization, and others. This edited volume presents the recent developments in the theory of the measure of noncompactness and its applications in pure and applied
... Read more
First-Order Schemata and Inductive Proof Analysis

by Alexander Leitsch, David Michael Cerna, Anela Lolic ...

Series series Computer Science (R0)
Schemata are formal tools for describing inductive reasoning. They opened a new area in the analysis of inductive proofs.The book introduces schemata for first-order terms, first-order formulas and first-order inference systems. Based on general first-order schemata, the cut-elimination-by-resolution (CERES) method—developed around the year 2000—is extended to schematic proofs. This extension ... Read more

$161.09 USD

Schemata are formal tools for describing inductive reasoning. They opened a new area in the analysis of inductive proofs.The book introduces schemata for first-order terms, first-order formulas and first-order inference systems. Based on general first-order schemata, the cut-elimination-by-resolution (CERES) method—developed around the year 2000—is extended to schematic proofs. This extension
... Read more
E-recursion, Forcing And C*-algebras

by Chitat Chong, Qi Feng, Yue Yang, Theodore A Slaman, W Hugh Woodin ...

Series Book 27 - Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced in contemporary research in the field of ... Read more

$20.99 USD

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced in contemporary research in the field of
... Read more
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman

Lecture Notes in Logic 15

Edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott ...

Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his ... Read more

$73.99 USD

Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his
... Read more
Challenging Prime Number Problems

by Gerald Patterson ...

This book provides a wealth of information on the prime numbers. In the book, Dr Gerald Patterson shows the various approaches to solving the twin primes and the Goldbach conjectures. The reader may improve on some of these approaches and arrive at a strong solution. Dr Patterson has been researching the primes for many years and has published some papers relating to the primes in mathematics ... Read more

$4.20 USD

This book provides a wealth of information on the prime numbers. In the book, Dr Gerald Patterson shows the various approaches to solving the twin primes and the Goldbach conjectures. The reader may improve on some of these approaches and arrive at a strong solution. Dr Patterson has been researching the primes for many years and has published some papers relating to the primes in mathematics
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Set Theory eBooks

Show: