Rakuten Kobo

Carrito de compra

Artículos no disponibles para compra.

Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.

artículosartículo

- Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Recibe 1 crédito cada mes para el audiolibro de tu elección
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  Audiolibro
  de ,
  
  Disponible el:
  
  . Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.
  
  Preventa
  1 audiolibro mensual
  
  + Prueba gratis de 30 días
  
  Oferta especial
  
  Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.
  
  *Sin compromiso, cancela en cualquier momento
  
  GRATIS

artículosartículo

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Recibe 1 crédito cada mes para el audiolibro de tu elección

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
Audiolibro
de ,

Disponible el:
. Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.

Preventa
1 audiolibro mensual

+ Prueba gratis de 30 días

Oferta especial

Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.

*Sin compromiso, cancela en cualquier momento

GRATIS

Recomendado para ti

El arte de la lógica (en un mundo ilógico)

de Eugenia Cheng ...

Traducido por Jara Diotima ...

Pensar con todo el rigor de la lógica es como hacer ejercicio a gran altitud: es una práctica demandante, tal vez agotadora, que luego permite enfrentar los retos cotidianos con enorme facilidad. Eugenia Cheng será tu entrenadora personal en el arte de la lógica, esa forma de razonar que permite construir complejos argumentos paso a pasito, sobre lo sublime y lo trivial, hasta alcanzar momentos de ... Leer más

$14.25 USD o gratis con Kobo Plus

Pensar con todo el rigor de la lógica es como hacer ejercicio a gran altitud: es una práctica demandante, tal vez agotadora, que luego permite enfrentar los retos cotidianos con enorme facilidad. Eugenia Cheng será tu entrenadora personal en el arte de la lógica, esa forma de razonar que permite construir complejos argumentos paso a pasito, sobre lo sublime y lo trivial, hasta alcanzar momentos de
... Leer más
Overcome Anxiety: How To Calm Down Your Anxious Brain

de Connecticut Guitar Society, Inc ...

Anxiety is something that everyone experiences from time to time, but for some people, it can become pervasive and excessive. Generalized anxiety disorder (GAD), in adults and youth, is characterized by persistent, excessive worry.If the problem started and ended with a worry, it might not be such a big deal. Instead, people with GAD get bogged down as one worry leads to another and another.This ... Leer más

$5.09 USD o gratis con Kobo Plus

Anxiety is something that everyone experiences from time to time, but for some people, it can become pervasive and excessive. Generalized anxiety disorder (GAD), in adults and youth, is characterized by persistent, excessive worry.If the problem started and ended with a worry, it might not be such a big deal. Instead, people with GAD get bogged down as one worry leads to another and another.This
... Leer más
Cherlin’s Conjecture for Finite Primitive Binary Permutation Groups

de Nick Gill, Martin W. Liebeck, Pablo Spiga ...

Series series Mathematics and Statistics (R0)
This book gives a proof of Cherlin’s conjecture for finite binary primitive permutation groups. Motivated by the part of model theory concerned with Lachlan’s theory of finite homogeneous relational structures, this conjecture proposes a classification of those finite primitive permutation groups that have relational complexity equal to 2.The first part gives a full introduction to Cherlin’s ... Leer más

$58.89 USD

This book gives a proof of Cherlin’s conjecture for finite binary primitive permutation groups. Motivated by the part of model theory concerned with Lachlan’s theory of finite homogeneous relational structures, this conjecture proposes a classification of those finite primitive permutation groups that have relational complexity equal to 2.The first part gives a full introduction to Cherlin’s
... Leer más
Proof, Computation and Agency

Logic at the Crossroads

Edición de Johan van Benthem, Amitabha Gupta, Rohit Parikh ...

Series Libro 352 - Synthese Library
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social ... Leer más

$149.79 USD

Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social
... Leer más
Topics in Model Theory

de Anand Pillay ...

This book has two chapters. The first is a modern or contemporary account of stability theory. A focus is on the local (formula-by-formula) theory, treated a little differently from in the author's book Geometric Stability Theory. There is also a survey of general and geometric stability theory, as well as applications to combinatorics (stable regularity lemma) using pseudofinite methods.The ... Leer más

$20.89 USD

This book has two chapters. The first is a modern or contemporary account of stability theory. A focus is on the local (formula-by-formula) theory, treated a little differently from in the author's book Geometric Stability Theory. There is also a survey of general and geometric stability theory, as well as applications to combinatorics (stable regularity lemma) using pseudofinite methods.The
... Leer más
Logical Foundations of Computer Science

International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Edición de Sergei Artemov, Anil Nerode ...

Series series Springer Nature Proceedings excluding Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Leer más

$53.49 USD

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata,
... Leer más
Recent Trends in Algebraic Development Techniques

23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Edición de Phillip James, Markus Roggenbach ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations ... Leer más

$53.49 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations
... Leer más
Mathematics Before and After Pythagoras

Exploring the Foundations and Evolution of Mathematical Thought

de Ravi P. Agarwal ...

Series series Mathematics and Statistics (R0)
This book provides the reader with a comprehensive account of the contributions of Pythagoras to mathematics and philosophy, using them as a starting point to compare pre-Pythagorean accomplishments with the myriad mathematical developments that followed. It begins with a thorough study of Pythagoreanism and the early Pythagoreans, including the major events in Pythagoras' life and the origins of ... Leer más

$181.79 USD

This book provides the reader with a comprehensive account of the contributions of Pythagoras to mathematics and philosophy, using them as a starting point to compare pre-Pythagorean accomplishments with the myriad mathematical developments that followed. It begins with a thorough study of Pythagoreanism and the early Pythagoreans, including the major events in Pythagoras' life and the origins of
... Leer más
Writing Proofs in Analysis

de Jonathan M. Kane ...

Series series Mathematics and Statistics (R0)
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 "transition" approach to teaching proofs, wherein students are taught fundamentals of logic, given some common proof strategies such as mathematical ... Leer más

$64.19 USD

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 "transition" approach to teaching proofs, wherein students are taught fundamentals of logic, given some common proof strategies such as mathematical
... Leer más
R-CALCULUS: A Logic of Belief Revision

de Wei Li, Yuefei Sui ...

Series series Computer Science (R0)
This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal ... Leer más

$96.29 USD

This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal
... Leer más
An Introduction to Logic

The Criticism of Arguments

de Peter Alexander ...

Series series Routledge Library Editions: Logic
Originally published in 1969. This book is for undergraduates whether specializing in philosophy or not. It assumes no previous knowledge of logic but aims to show how logical notions arise from, or are abstracted from, everyday discourse, whether technical or non-technical. It sets out a knowledge of principles and, while not historical, gives an account of the reasons for which modern systems ... Leer más

$47.99 USD

Originally published in 1969. This book is for undergraduates whether specializing in philosophy or not. It assumes no previous knowledge of logic but aims to show how logical notions arise from, or are abstracted from, everyday discourse, whether technical or non-technical. It sets out a knowledge of principles and, while not historical, gives an account of the reasons for which modern systems
... Leer más
Proceedings Of The 12th Asian Logic Conference

de Rodney G Downey, Jorg Brendle, Robert Goldblatt, Byunghan Kim ...

The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic. ... Leer más

$49.49 USD

The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic.
... Leer más
Intuitionistic Analysis

A Constructive Frame of Mind

de Dirk van Dalen, Mark van Atten, Craig Smoryński ...

Series series Mathematics and Statistics (R0)
This book introduces the core ideas of L.E.J. Brouwer’s approach to constructivity in mathematics, focusing on analysis, set theory, and topology, while considering his philosophical motivations. Brouwer’s “intuitionism” offers a coherent alternative to classical (nonconstructive) mathematics.Starting with the rejection of the Principle of the Excluded Middle, the book reconstructs number systems ... Leer más

$58.89 USD

This book introduces the core ideas of L.E.J. Brouwer’s approach to constructivity in mathematics, focusing on analysis, set theory, and topology, while considering his philosophical motivations. Brouwer’s “intuitionism” offers a coherent alternative to classical (nonconstructive) mathematics.Starting with the rejection of the Principle of the Excluded Middle, the book reconstructs number systems
... Leer más
El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural

de Kemel George ...

El razonamiento lógico obedece a un encadenamiento de premisas en las que las reglas aceptadas como válidas se aplican, eslabón por eslabón, hasta producir las conclusiones, que es lo que se denomina la consecuencia lógica.El libro se encuentra escrito para los estudiantes de educación media y superior, los docentes y todo profesional sin distingo alguno. Enfocado en el ámbito del sistema de la ... Leer más

$6.52 USD o gratis con Kobo Plus

El razonamiento lógico obedece a un encadenamiento de premisas en las que las reglas aceptadas como válidas se aplican, eslabón por eslabón, hasta producir las conclusiones, que es lo que se denomina la consecuencia lógica.El libro se encuentra escrito para los estudiantes de educación media y superior, los docentes y todo profesional sin distingo alguno. Enfocado en el ámbito del sistema de la
... Leer más
Logic In Wonderland: An Introduction To Logic Through Reading Alice's Adventures In Wonderland - Student's Workbook

de Atara Shriki, Nitsa Movshovitz-hadar ...

This is a student's workbook that accompanies the teacher's guidebook of the same title. It is for students who take a course in Introduction to Logic at a teachers college, whose instructor decides to provide students with a learning environment based on reading Alice's Adventures in Wonderland, and discussing quotes from that book as a trigger for developing basic notions in Logic.This workbook ... Leer más

$26.99 USD

This is a student's workbook that accompanies the teacher's guidebook of the same title. It is for students who take a course in Introduction to Logic at a teachers college, whose instructor decides to provide students with a learning environment based on reading Alice's Adventures in Wonderland, and discussing quotes from that book as a trigger for developing basic notions in Logic.This workbook
... Leer más
The Mathematical Reasoning

The Logic and the Relativity of Space

de Henri Poincaré ...

The very possibility of mathematical science seems an insoluble contradiction. If this science is only deductive in appearance, from whence is derived that perfect rigour which is challenged by none? If, on the contrary, all the propositions which it enunciates may be derived in order by the rules of formal logic, how is it that mathematics is not reduced to a gigantic tautology? The syllogism can ... Leer más

$5.45 USD

The very possibility of mathematical science seems an insoluble contradiction. If this science is only deductive in appearance, from whence is derived that perfect rigour which is challenged by none? If, on the contrary, all the propositions which it enunciates may be derived in order by the rules of formal logic, how is it that mathematics is not reduced to a gigantic tautology? The syllogism can
... Leer más
Elementi di algebra e logica

de Nicola Bellini ...

Algebra con elementi di logica matematica e teoria degli insiemi. ... Leer más

$11.87 USD o gratis con Kobo Plus

Algebra con elementi di logica matematica e teoria degli insiemi.
... Leer más
Constructivity and Computability in Historical and Philosophical Perspective

Edición de Jacques Dubucs, Michel Bourdeau ...

Series series Philosophy and Religion (R0)
Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer’s solipsistic attitude to logic, there remain points of disagreement to this day.Focusing ... Leer más

$53.49 USD

Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer’s solipsistic attitude to logic, there remain points of disagreement to this day.Focusing
... Leer más
The Puzzler's Dilemma

From the Lighthouse of Alexandria to Monty Hall, a Fresh Look at Classic Conundrums of Logic, Mathematics, and Life

de Derrick Niederman ...

Calling all puzzlers...From mathematics to word puzzles, from logic to lateral thinking, veteran puzzle maker Derrick Niederman delights in tackling the trickiest brainteasers in a new way. Among the old chestnuts he cracks wide open are the following classics:Knights and knavesThe monk and the mountainThe dominoes and the chessboardThe unexpected hangingThe Tower of HanoiUsing real-world ... Leer más

$7.39 USD

Calling all puzzlers...From mathematics to word puzzles, from logic to lateral thinking, veteran puzzle maker Derrick Niederman delights in tackling the trickiest brainteasers in a new way. Among the old chestnuts he cracks wide open are the following classics:Knights and knavesThe monk and the mountainThe dominoes and the chessboardThe unexpected hangingThe Tower of HanoiUsing real-world
... Leer más
Shadows of the Mind: A Search for the Missing Science of Consciousness

de Roger Penrose ...

In Shadows of the Mind: A Search for the Missing Science of Consciousness, renowned mathematician and physicist Roger Penrose presents a bold and thought-provoking exploration of the human mind. Building on ideas from his earlier work, Penrose challenges the widely held belief that consciousness is simply the result of computational processes in the brain.Drawing on mathematics, physics, and ... Leer más

$9.30 USD

In Shadows of the Mind: A Search for the Missing Science of Consciousness, renowned mathematician and physicist Roger Penrose presents a bold and thought-provoking exploration of the human mind. Building on ideas from his earlier work, Penrose challenges the widely held belief that consciousness is simply the result of computational processes in the brain.Drawing on mathematics, physics, and
... Leer más
Master Of Mind: How To Manage Your Anxiety

de Connecticut Guitar Society, Inc ...

Anxiety is something that everyone experiences from time to time, but for some people, it can become pervasive and excessive. Generalized anxiety disorder (GAD), in adults and youth, is characterized by persistent, excessive worry.If the problem started and ended with a worry, it might not be such a big deal. Instead, people with GAD get bogged down as one worry leads to another and another.This ... Leer más

$5.09 USD o gratis con Kobo Plus

Anxiety is something that everyone experiences from time to time, but for some people, it can become pervasive and excessive. Generalized anxiety disorder (GAD), in adults and youth, is characterized by persistent, excessive worry.If the problem started and ended with a worry, it might not be such a big deal. Instead, people with GAD get bogged down as one worry leads to another and another.This
... Leer más
Engineering the Circular Economy

Leveraging Fuzzy Logic for Implementation

Edición de Biswadip Basu Mallik, Gunjan Mukherjee, Rahul Kar, Youqing Fan ...

Series series Sustainable Industrial Engineering and Management Systems
Implementing the circular economy necessitates innovative approaches capable of managing the complexity and uncertainty inherent in the shift from linear to circular systems. Fuzzy logic, a computational approach inspired by human reasoning, provides a promising framework for navigating these complexities. With a practical approach, this book offers how fuzzy logic can be utilized to implement the ... Leer más

$140.00 USD

Implementing the circular economy necessitates innovative approaches capable of managing the complexity and uncertainty inherent in the shift from linear to circular systems. Fuzzy logic, a computational approach inspired by human reasoning, provides a promising framework for navigating these complexities. With a practical approach, this book offers how fuzzy logic can be utilized to implement the
... Leer más
Handbook of Formal Analysis and Verification in Cryptography

Edición de Sedat Akleylek, Besik Dundua ...

Series series Prospects in Pure and Applied Mathematics
This handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal verification methods and software used to analyse cryptographic protocols. The chapters give readers general knowledge and formal methods focusing on cryptographic protocols.Handbook of Formal Analysis and Verification in Cryptography ... Leer más

$87.99 USD

This handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal verification methods and software used to analyse cryptographic protocols. The chapters give readers general knowledge and formal methods focusing on cryptographic protocols.Handbook of Formal Analysis and Verification in Cryptography
... Leer más
Why Is There Philosophy of Mathematics At All?

de Ian Hacking ...

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 from and how did it evolve?', and 'how did the distinction between pure and applied mathematics come into being?' In a wide-ranging discussion that is both ... Leer más

$28.69 USD

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 from and how did it evolve?', and 'how did the distinction between pure and applied mathematics come into being?' In a wide-ranging discussion that is both
... Leer más

Kobo Rakuten

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Lógica

El arte de la lógica (en un mundo ilógico)

Overcome Anxiety: How To Calm Down Your Anxious Brain

Cherlin’s Conjecture for Finite Primitive Binary Permutation Groups

Proof, Computation and Agency

Topics in Model Theory

Logical Foundations of Computer Science

Recent Trends in Algebraic Development Techniques

Mathematics Before and After Pythagoras

Writing Proofs in Analysis

R-CALCULUS: A Logic of Belief Revision

An Introduction to Logic

Proceedings Of The 12th Asian Logic Conference

Intuitionistic Analysis

El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural

Logic In Wonderland: An Introduction To Logic Through Reading Alice's Adventures In Wonderland - Student's Workbook

The Mathematical Reasoning

Elementi di algebra e logica

Constructivity and Computability in Historical and Philosophical Perspective

The Puzzler's Dilemma

Shadows of the Mind: A Search for the Missing Science of Consciousness

Master Of Mind: How To Manage Your Anxiety

Engineering the Circular Economy

Handbook of Formal Analysis and Verification in Cryptography

Why Is There Philosophy of Mathematics At All?