Rakuten Kobo

Shopping Cart

Item(s) unavailable for purchase

Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.

itemsitem

- Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Get 1 credit every month for the audiobook of your choice
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  Audiobook
  by ,
  
  Available:
  
  . No commitment, cancel anytime at kobo.com/account/subscriptions.
  
  Pre-order
  1 audiobook monthly
  
  + FREE 30-day trial
  
  Special Offer
  
  Get 1 credit every month to exchange for an audiobook of your choice
  
  *No commitment, cancel anytime
  
  FREE

itemsitem

Unlimited access to eBooks

Unlimited access to audiobooks

No commitment, cancel anytime at kobo.com/account/subscriptions

Get 1 credit every month for the audiobook of your choice

No commitment, cancel anytime at kobo.com/account/subscriptions

Unlimited access to eBooks

Unlimited access to audiobooks

No commitment, cancel anytime at kobo.com/account/subscriptions
Audiobook
by ,

Available:
. No commitment, cancel anytime at kobo.com/account/subscriptions.

Pre-order
1 audiobook monthly

+ FREE 30-day trial

Special Offer

Get 1 credit every month to exchange for an audiobook of your choice

*No commitment, cancel anytime

FREE

Recommended For You

How to Solve It

A New Aspect of Mathematical Method

by G. Polya ...

Series series Princeton Science Library
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 can be of help in attacking any problem that can be "reasoned" out--from building a bridge to winning a game of anagrams. Generations of readers have ... Read more

16,84 €

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 can be of help in attacking any problem that can be "reasoned" out--from building a bridge to winning a game of anagrams. Generations of readers have
... Read more
Plural Logic

Second Edition, Revised and Enlarged

by Alex Oliver, Timothy Smiley ...

Alex Oliver and Timothy Smiley provide a natural point of entry to what for most readers will be a new subject. Plural logic deals with plural terms ('Whitehead and Russell', 'Henry VIII's wives', 'the real numbers', 'the square root of -1', 'they'), plural predicates ('surrounded the fort', 'are prime', 'are consistent', 'imply'), and plural quantification ('some things', 'any things'). Current ... Read more

31,37 €

Alex Oliver and Timothy Smiley provide a natural point of entry to what for most readers will be a new subject. Plural logic deals with plural terms ('Whitehead and Russell', 'Henry VIII's wives', 'the real numbers', 'the square root of -1', 'they'), plural predicates ('surrounded the fort', 'are prime', 'are consistent', 'imply'), and plural quantification ('some things', 'any things'). Current
... Read more
Symbolic Logic

{Complete & Illustrated}

by Lewis Carroll ...

I shall be grateful to any Reader of this book who will point out any mistakes or misprints he may happen to notice in it, or any passage which he thinks is not clearly expressed.I have a quantity of MS. in hand for Parts II and III, and hope to be able——should life, and health, and opportunity, be granted to me, to publish them in the course of the next few years. Their contents will be as ... Read more

2,99 € or Free with Kobo Plus

I shall be grateful to any Reader of this book who will point out any mistakes or misprints he may happen to notice in it, or any passage which he thinks is not clearly expressed.I have a quantity of MS. in hand for Parts II and III, and hope to be able——should life, and health, and opportunity, be granted to me, to publish them in the course of the next few years. Their contents will be as
... Read more
Why Machines Learn

The Elegant Maths Behind Modern AI

by Anil Ananthaswamy ...

'An invaluable companion for anyone who wants a deep understanding of what’s under the hood of often inscrutable machines' Melanie MitchellA rich, narrative explanation of the mathematics that has brought us machine learning and the ongoing explosion of artificial intelligenceMachine-learning systems are making life-altering decisions for us: approving mortgage loans, determining whether a tumour ... Read more

17,99 €

'An invaluable companion for anyone who wants a deep understanding of what’s under the hood of often inscrutable machines' Melanie MitchellA rich, narrative explanation of the mathematics that has brought us machine learning and the ongoing explosion of artificial intelligenceMachine-learning systems are making life-altering decisions for us: approving mortgage loans, determining whether a tumour
... Read more
Logos: Logical Religion Unleashed

by Steve Madison ...

Wouldn’t you want a religion that every logician, mathematician, philosopher, and scientist on earth could embrace, a religion fully consistent with all the points made by Kurt Gödel when he listed the 14 key religious principles he accepted? That religion already exists. It’s called ontological mathematics, predicated on the principle of sufficient reason and Occam’s razor, and constitutes an a ... Read more

6,46 €

Wouldn’t you want a religion that every logician, mathematician, philosopher, and scientist on earth could embrace, a religion fully consistent with all the points made by Kurt Gödel when he listed the 14 key religious principles he accepted? That religion already exists. It’s called ontological mathematics, predicated on the principle of sufficient reason and Occam’s razor, and constitutes an a
... Read more
Reflections: The Magic, Music And Mathematics Of Raymond Smullyan

by Raymond M Smullyan ...

This is an exciting if not rambling account of events of Raymond Smullyan's four lives — as a mathematical logician, musician, magician, and author — together with thoughts that come to his mind as he recalls them. This book includes topics from some of Smullyan's twenty-six books, as well as many of his favorite anecdotes and jokes. It also presents some generalizations of theorems of the great ... Read more

12,71 €

This is an exciting if not rambling account of events of Raymond Smullyan's four lives — as a mathematical logician, musician, magician, and author — together with thoughts that come to his mind as he recalls them. This book includes topics from some of Smullyan's twenty-six books, as well as many of his favorite anecdotes and jokes. It also presents some generalizations of theorems of the great
... Read more
Attention Vous êtes peut-être le robot d'une IA

Technologie, IA et futur

by Eric Giegelmann ...

Series series Technologie, IA et futur
Et si vous n'étiez pas aussi libre que vous le pensez ?Et si vos choix, vos goûts, vos émotions… étaient déjà influencés – voire contrôlés – par une intelligence artificielle invisible et omniprésente ?Dans un monde où les algorithmes façonnent nos vies, où nos données sont récoltées, analysées, exploitées, une question dérangeante se pose : sommes-nous devenus les robots d'un système que nous ... Read more

Was 7,99 € Now 1,99 €

Et si vous n'étiez pas aussi libre que vous le pensez ?Et si vos choix, vos goûts, vos émotions… étaient déjà influencés – voire contrôlés – par une intelligence artificielle invisible et omniprésente ?Dans un monde où les algorithmes façonnent nos vies, où nos données sont récoltées, analysées, exploitées, une question dérangeante se pose : sommes-nous devenus les robots d'un système que nous
... Read more
The Essence of Numbers

by Frédéric Patras ...

Series series Mathematics and Statistics (R0)
This book considers the manifold possible approaches, past and present, to our understanding of the natural numbers. They are treated as epistemic objects: mathematical objects that have been subject to epistemological inquiry and attention throughout their history and whose conception has evolved accordingly. Although they are the simplest and most common mathematical objects, as this book ... Read more

23,84 €

This book considers the manifold possible approaches, past and present, to our understanding of the natural numbers. They are treated as epistemic objects: mathematical objects that have been subject to epistemological inquiry and attention throughout their history and whose conception has evolved accordingly. Although they are the simplest and most common mathematical objects, as this book
... Read more
The Development of Mathematical Logic

by P. H. Nidditch ...

Series series Routledge Library Editions: Logic
Originally published in 1962. A clear and simple account of the growth and structure of Mathematical Logic, no earlier knowledge of logic being required. After outlining the four lines of thought that have been its roots - the logic of Aristotle, the idea of all the parts of mathematics as systems to be designed on the same sort of plan as that used by Euclid and his Elements, and the discoveries ... Read more

42,61 €

Originally published in 1962. A clear and simple account of the growth and structure of Mathematical Logic, no earlier knowledge of logic being required. After outlining the four lines of thought that have been its roots - the logic of Aristotle, the idea of all the parts of mathematics as systems to be designed on the same sort of plan as that used by Euclid and his Elements, and the discoveries
... Read more
Secrets to Solving Multiple Choice Questions in Competitive Exams

A Guide to Efficient Study Habits and Test-Taking Skills

by Budhi Sagar ...

Book Overview: "Secrets to Solving Multiple Choice Questions in Competitive Exams""Secrets to Solving Multiple Choice Questions in Competitive Exams" by Budhi Sagar Tools offers a comprehensive guide designed to empower students to excel in competitive exams. This book presents essential strategies, tips, and insights to master multiple-choice questions, a crucial component of many standardized ... Read more

3,56 € or Free with Kobo Plus

Book Overview: "Secrets to Solving Multiple Choice Questions in Competitive Exams""Secrets to Solving Multiple Choice Questions in Competitive Exams" by Budhi Sagar Tools offers a comprehensive guide designed to empower students to excel in competitive exams. This book presents essential strategies, tips, and insights to master multiple-choice questions, a crucial component of many standardized
... Read more
Endliche Modelltheorie

by Stefan Geschke ...

Series series Life Science and Basic Disciplines (German Language)
Dieses Buch basiert auf dem Skript zu einer Vorlesung über endliche Modelltheorie an der Freien Universität Berlin und dient als eine kurze Einführung in das Thema. Vorausgesetzt wird dabei eine gewisse Vertrautheit mit mathematischer Notation und grundlegenden Konzepten, wie zum Beispiel Mengen, die man in einer einführenden Mathematikvorlesung für Studierende der Mathematik, Informatik oder der ... Read more

15,15 €

Dieses Buch basiert auf dem Skript zu einer Vorlesung über endliche Modelltheorie an der Freien Universität Berlin und dient als eine kurze Einführung in das Thema. Vorausgesetzt wird dabei eine gewisse Vertrautheit mit mathematischer Notation und grundlegenden Konzepten, wie zum Beispiel Mengen, die man in einer einführenden Mathematikvorlesung für Studierende der Mathematik, Informatik oder der
... Read more
Mastering Calculus through Practice

A Study Guide with over 300 Solved Exercises

by Bárbara de Holanda Maia Teixeira, Edmundo Capelas de Oliveira ...

Series series Mathematics and Statistics (R0)
This textbook covers key topics of Elementary Calculus through selected exercises, in a sequence that facilitates development of problem-solving abilities and techniques. It opens with an introduction to fundamental facts of mathematical logic, set theory, and pre-calculus, extending toward functions, limits, derivatives, and integrals. Over 300 solved problems are approached with a simple, direct ... Read more

47,69 €

This textbook covers key topics of Elementary Calculus through selected exercises, in a sequence that facilitates development of problem-solving abilities and techniques. It opens with an introduction to fundamental facts of mathematical logic, set theory, and pre-calculus, extending toward functions, limits, derivatives, and integrals. Over 300 solved problems are approached with a simple, direct
... Read more
Set Theory

With an Introduction to Real Point Sets

by Abhijit Dasgupta ...

What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birth to set theory. This textbook presents classical set theory in an intuitive but concrete manner.To allow flexibility of topic selection in courses, the book is organized into four relatively ... Read more

76,31 €

What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birth to set theory. This textbook presents classical set theory in an intuitive but concrete manner.To allow flexibility of topic selection in courses, the book is organized into four relatively
... Read more
Introduction to Coding Theory

by Jurgen Bierbrauer ...

Series series Discrete Mathematics and Its Applications
This book is designed to be usable as a textbook for an undergraduate course or for an advanced graduate course in coding theory as well as a reference for researchers in discrete mathematics, engineering and theoretical computer science. This second edition has three parts: an elementary introduction to coding, theory and applications of codes, and algebraic curves. The latter part presents a ... Read more

60,87 €

This book is designed to be usable as a textbook for an undergraduate course or for an advanced graduate course in coding theory as well as a reference for researchers in discrete mathematics, engineering and theoretical computer science. This second edition has three parts: an elementary introduction to coding, theory and applications of codes, and algebraic curves. The latter part presents a
... Read more
The Logic of Time

A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

by Johan van Benthem ...

Series series Philosophy and Religion (R0)
That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. Until then, the only outlet for a philosophical interest known to me was the production of poetry or essays. These means of expression remain inconclusive, however, with a tendency towards profuseness. The logical discipline provides so me intellectual backbone, without excluding the ... Read more

95,39 €

That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. Until then, the only outlet for a philosophical interest known to me was the production of poetry or essays. These means of expression remain inconclusive, however, with a tendency towards profuseness. The logical discipline provides so me intellectual backbone, without excluding the
... Read more
The Genius Test

Can You Master The World's Hardest Ideas?

by Giles Sparrow ...

**What is the Higgs Boson? Where did life come from? And what are you looking at when you're looking at Modern ArtPut your knowledge to the test - and learn to think and talk like a genius.**The Genius Test takes you on a journey through humanity's most brain-bending ideas, from the big bang and the origins of life to chaos theory, existentialism and special relativity, challenging you to ... Read more

3,99 €

**What is the Higgs Boson? Where did life come from? And what are you looking at when you're looking at Modern ArtPut your knowledge to the test - and learn to think and talk like a genius.**The Genius Test takes you on a journey through humanity's most brain-bending ideas, from the big bang and the origins of life to chaos theory, existentialism and special relativity, challenging you to
... Read more
Earth Has a Cold Heart

by Neil Christianson ...

ELIJAH'S MESSAGEThe Book of Mormon teaches the New World's native population descended from an immigrant Jewish tribe. So the Mayan, who see the Zodiac changing on 21 December 2012 (Newton says 2060), must be a remnant of that tribe. A tribe that brought with it knowledge of the ancient condensed model—the one used by biblical prophets to forecast future events. So, out of curiosity, let's update ... Read more

2,99 €

ELIJAH'S MESSAGEThe Book of Mormon teaches the New World's native population descended from an immigrant Jewish tribe. So the Mayan, who see the Zodiac changing on 21 December 2012 (Newton says 2060), must be a remnant of that tribe. A tribe that brought with it knowledge of the ancient condensed model—the one used by biblical prophets to forecast future events. So, out of curiosity, let's update
... Read more
Logic and Philosophy of Mathematics in the Early Husserl

by Stefania Centrone ...

Series series Philosophy and Religion (R0)
Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics. Unlike most phenomenologists, the author refrains from ... Read more

85,85 €

Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics. Unlike most phenomenologists, the author refrains from
... Read more
Arithmetic and Algebraic Geometry

A Mathematical Tribute to Yuri Manin

Edited by Yuri Tschinkel ...

Series series Mathematics and Statistics (R0)
This book is a tribute to the memory of Yuri Ivanovich Manin, who passed away on January 7, 2023. Manin was one of the giants of modern mathematics. His work covered a wide range of fields, including logic, number theory, geometry, mathematical physics, theoretical computer science, and linguistics. The contributions collected here are on topics close to his life-long passion: arithmetic and ... Read more

152,63 €

This book is a tribute to the memory of Yuri Ivanovich Manin, who passed away on January 7, 2023. Manin was one of the giants of modern mathematics. His work covered a wide range of fields, including logic, number theory, geometry, mathematical physics, theoretical computer science, and linguistics. The contributions collected here are on topics close to his life-long passion: arithmetic and
... Read more
La buona logica

Imparare a pensare

by Paolo Legrenzi, Armando Massarenti ...

Si parla sempre più spesso dell’importanza di imparare a pensare, cioè a ragionare in modo corretto per risolvere problemi anche semplici ma non intuitivi. È questa la condizione che rende davvero “buona” la scuola, perché consente di trasmettere non solo conoscenze ma anche strategie, che funzionano indipendentemente dai contenuti e sono dunque applicabili a contesti diversi. L’obiettivo degli ... Read more

8,49 €

Si parla sempre più spesso dell’importanza di imparare a pensare, cioè a ragionare in modo corretto per risolvere problemi anche semplici ma non intuitivi. È questa la condizione che rende davvero “buona” la scuola, perché consente di trasmettere non solo conoscenze ma anche strategie, che funzionano indipendentemente dai contenuti e sono dunque applicabili a contesti diversi. L’obiettivo degli
... Read more
Mechanizing Hypothesis Formation

Principles and Case Studies

by Jan Rauch, Milan Šimůnek, David Chudán, Petr Máša ...

Mechanizing hypothesis formation is an approach to exploratory data analysis. Its development started in the 1960s inspired by the question “can computers formulate and verify scientific hypotheses?”. The development resulted in a general theory of logic of discovery. It comprises theoretical calculi dealing with theoretical statements as well as observational calculi dealing with observational ... Read more

76,70 €

Mechanizing hypothesis formation is an approach to exploratory data analysis. Its development started in the 1960s inspired by the question “can computers formulate and verify scientific hypotheses?”. The development resulted in a general theory of logic of discovery. It comprises theoretical calculi dealing with theoretical statements as well as observational calculi dealing with observational
... Read more
Complexity, Logic, and Recursion Theory

by Andrea Sorbi ...

Series series Lecture Notes in Pure and Applied Mathematics
"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature." ... Read more

322,69 €

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."
... Read more
Mathematical Foundations of Blockchains

Engineering Principles, Volume 2

by Nirdosh Bhatnagar ...

Mathematical Foundations of Blockchains is a two-volume work on blockchains. Blockchain is a novel paradigm for a distributed ledger. Volume 1 is on the fundamentals of blockchains and consists of an overview of blockchains, essential elements of blockchains, and the mathematics required for understanding the workings of blockchains. Volume 2 develops mathematical models to enhance the ... Read more

194,83 €

Mathematical Foundations of Blockchains is a two-volume work on blockchains. Blockchain is a novel paradigm for a distributed ledger. Volume 1 is on the fundamentals of blockchains and consists of an overview of blockchains, essential elements of blockchains, and the mathematics required for understanding the workings of blockchains. Volume 2 develops mathematical models to enhance the
... Read more
R-Calculus, II: Many-Valued Logics

by Wei Li, Yuefei Sui ...

Series series Computer Science (R0)
This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. It discusses the algebraical and logical properties of tableau proof systems ... Read more

133,55 €

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. It discusses the algebraical and logical properties of tableau proof systems
... Read more

Rakuten Kobo

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

Logic eBooks

How to Solve It

Plural Logic

Symbolic Logic

Why Machines Learn

Logos: Logical Religion Unleashed

Reflections: The Magic, Music And Mathematics Of Raymond Smullyan

Attention Vous êtes peut-être le robot d'une IA

The Essence of Numbers

The Development of Mathematical Logic

Secrets to Solving Multiple Choice Questions in Competitive Exams

Endliche Modelltheorie

Mastering Calculus through Practice

Set Theory

Introduction to Coding Theory

The Logic of Time

The Genius Test

Earth Has a Cold Heart

Logic and Philosophy of Mathematics in the Early Husserl

Arithmetic and Algebraic Geometry

La buona logica

Mechanizing Hypothesis Formation

Complexity, Logic, and Recursion Theory

Mathematical Foundations of Blockchains

R-Calculus, II: Many-Valued Logics