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
Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles

de Denis R Hirschfeldt, Chitat Chong, Qi Feng, Yue Yang, Theodore A Slaman, W Hugh Woodin ...

Series Libro 28 - Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore
This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context to make it possible for students with at least a basic knowledge of computability theory and proof ... Leer más

$17.09 USD

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context to make it possible for students with at least a basic knowledge of computability theory and proof
... Leer más
Structure And Randomness In Computability And Set Theory

de Douglas Cenzer, Christopher Porter, Jindrich Zapletal ...

This volume presents some exciting new developments occurring on the interface between set theory and computability as well as their applications in algebra, analysis and topology. These include effective versions of Borel equivalence, Borel reducibility and Borel determinacy. It also covers algorithmic randomness and dimension, Ramsey sets and Ramsey spaces. Many of these topics are being ... Leer más

$91.79 USD

This volume presents some exciting new developments occurring on the interface between set theory and computability as well as their applications in algebra, analysis and topology. These include effective versions of Borel equivalence, Borel reducibility and Borel determinacy. It also covers algorithmic randomness and dimension, Ramsey sets and Ramsey spaces. Many of these topics are being
... Leer más
Applied Quantum Cryptanalysis

de Alexei Petrenko ...

Today we witness an explosive growth in attention to Q-computing. Q-computing technologies, along with artificial intelligence (AI) and machine learning (ML) technologies, cloud and foggy computing, as well as technologies for collecting and streaming processing of Big Data and ETL, are constantly leading the lists of ""end-to-end"" information technologies for the digital economy of ... Leer más

$130.00 USD

Today we witness an explosive growth in attention to Q-computing. Q-computing technologies, along with artificial intelligence (AI) and machine learning (ML) technologies, cloud and foggy computing, as well as technologies for collecting and streaming processing of Big Data and ETL, are constantly leading the lists of ""end-to-end"" information technologies for the digital economy of
... Leer más
The Art Of Meditation: Practical Steps To Get Rid Of Your Anxiety

de Stephen Doster ...

If you think meditation is something only Buddhist monks (or people with lives a lot less crazed than yours) can do, think again. Not only can anyone meditate, but there are myriad health and well-being benefits from a simple, daily meditation practice. For starters, meditation can decrease blood pressure as well as cortisol (a stress hormone) and cholesterol; increase creativity; reduce anxiety, ... Leer más

$4.69 USD o gratis con Kobo Plus

If you think meditation is something only Buddhist monks (or people with lives a lot less crazed than yours) can do, think again. Not only can anyone meditate, but there are myriad health and well-being benefits from a simple, daily meditation practice. For starters, meditation can decrease blood pressure as well as cortisol (a stress hormone) and cholesterol; increase creativity; reduce anxiety,
... Leer más
Awareness in Logic and Epistemology

A Conceptual Schema and Logical Study of The Underlying Main Epistemic Concepts

de Claudia Fernández-Fernández ...

Series series Philosophy and Religion (R0)
This book creates a conceptual schema that acts as a correlation between Epistemology and Epistemic Logic. It connects both fields and offers a proper theoretical foundation for the contemporary developments of Epistemic Logic regarding the dynamics of information. It builds a bridge between the view of Awareness Justification Internalism, and a dynamic approach to Awareness Logic.The book starts ... Leer más

$96.29 USD

This book creates a conceptual schema that acts as a correlation between Epistemology and Epistemic Logic. It connects both fields and offers a proper theoretical foundation for the contemporary developments of Epistemic Logic regarding the dynamics of information. It builds a bridge between the view of Awareness Justification Internalism, and a dynamic approach to Awareness Logic.The book starts
... Leer más
Modelling Puzzles in First Order Logic

de Adrian Groza ...

Series series Computer Science (R0)
Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical instrument to engage students and develop problem-solving skills.This unique book is a comprehensive resource that offers teachers and students fun activities to teach and learn logic. It ... Leer más

$53.49 USD

Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical instrument to engage students and develop problem-solving skills.This unique book is a comprehensive resource that offers teachers and students fun activities to teach and learn logic. It
... Leer más
Ignorance

What We Do Not Know, Cannot Know, Must Not Know, and Refuse to Know

de George G. Szpiro ...

Does the lack of evidence mean that aliens don’t exist? Why does an unproven mathematical hypothesis have profound consequences? Are humans capable of grasping the nature of divinity? Is it ethical to give a patient a placebo? Why do people persist in demonstrably false beliefs like flat earth theory? Should someone want to know when they will die?George G. Szpiro examines these questions and many ... Leer más

$26.59 USD

Does the lack of evidence mean that aliens don’t exist? Why does an unproven mathematical hypothesis have profound consequences? Are humans capable of grasping the nature of divinity? Is it ethical to give a patient a placebo? Why do people persist in demonstrably false beliefs like flat earth theory? Should someone want to know when they will die?George G. Szpiro examines these questions and many
... Leer más
Kurt Gödel and the Foundations of Mathematics

Horizons of Truth

Edición de Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr ...

This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances and ideas for ... Leer más

$72.99 USD

This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances and ideas for
... Leer más
Coherence in Three-Dimensional Category Theory

de Nick Gurski ...

Series Libro 201 - Cambridge Tracts in Mathematics
Dimension three is an important test-bed for hypotheses in higher category theory and occupies something of a unique position in the categorical landscape. At the heart of matters is the coherence theorem, of which this book provides a definitive treatment, as well as covering related results. Along the way the author treats such material as the Gray tensor product and gives a construction of the ... Leer más

$130.39 USD

Dimension three is an important test-bed for hypotheses in higher category theory and occupies something of a unique position in the categorical landscape. At the heart of matters is the coherence theorem, of which this book provides a definitive treatment, as well as covering related results. Along the way the author treats such material as the Gray tensor product and gives a construction of the
... Leer más
Methods of Argumentation

de Douglas Walton ...

Argumentation, which can be abstractly defined as the interaction of different arguments for and against some conclusion, is an important skill to learn for everyday life, law, science, politics and business. The best way to learn it is to try it out on real instances of arguments found in everyday conversational exchanges and legal argumentation. The introductory chapter of this book gives a ... Leer más

$31.99 USD

Argumentation, which can be abstractly defined as the interaction of different arguments for and against some conclusion, is an important skill to learn for everyday life, law, science, politics and business. The best way to learn it is to try it out on real instances of arguments found in everyday conversational exchanges and legal argumentation. The introductory chapter of this book gives a
... Leer más
The Logic of Infinity

de Barnaby Sheppard ...

Few mathematical results capture the imagination like Georg Cantor's groundbreaking work on infinity in the late nineteenth century. This opened the door to an intricate axiomatic theory of sets which was born in the decades that followed. Written for the motivated novice, this book provides an overview of key ideas in set theory, bridging the gap between technical accounts of mathematical ... Leer más

$57.39 USD

Few mathematical results capture the imagination like Georg Cantor's groundbreaking work on infinity in the late nineteenth century. This opened the door to an intricate axiomatic theory of sets which was born in the decades that followed. Written for the motivated novice, this book provides an overview of key ideas in set theory, bridging the gap between technical accounts of mathematical
... Leer más
The Connectives in Logic and Language

4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29–31, 2024, Revised Selected Papers

Edición de Jialiang Yan, Mingming Liu, Dag Westerståhl, Xiaolu Yang ...

Series series Springer Nature Proceedings Computer Science
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, held in Beijing, China during in March 29-31, 2024.The 8 full papers were carefully reviewed and selected from 49 submissions. This workshop also focused on the apparently ... Leer más

$58.89 USD

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, held in Beijing, China during in March 29-31, 2024.The 8 full papers were carefully reviewed and selected from 49 submissions. This workshop also focused on the apparently
... Leer más
The GCHQ Puzzle Book II

Solve more than 100 brilliant brainteasers

de GCHQ ...

Train your brain with these fiendishly difficult puzzles, the perfect companion for anyone wanting to keep their mind busy'Fiendishly tricky' Daily MailWith their first bestselling book, The GCHQ Puzzle Book, the UK's intelligence and security experts tested us with puzzles, codes and real-life entrance tests from their archives.Now, they are back with a NEW collection of head-scratching, mind ... Leer más

$14.59 USD

Train your brain with these fiendishly difficult puzzles, the perfect companion for anyone wanting to keep their mind busy'Fiendishly tricky' Daily MailWith their first bestselling book, The GCHQ Puzzle Book, the UK's intelligence and security experts tested us with puzzles, codes and real-life entrance tests from their archives.Now, they are back with a NEW collection of head-scratching, mind
... Leer más
Computational Complexity of Solving Equation Systems

de Przemysław Broniek ...

Series series Computer Science (R0)
This volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solution. It examines in detail the two problems this leads to: SysTermSat(A) and SysPolSat(A), in which equations are built out of terms or polynomials, respectively. The book characterizes those algebras for which SysPolSat can be solved in a polynomial time. So far, ... Leer más

$53.49 USD

This volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solution. It examines in detail the two problems this leads to: SysTermSat(A) and SysPolSat(A), in which equations are built out of terms or polynomials, respectively. The book characterizes those algebras for which SysPolSat can be solved in a polynomial time. So far,
... Leer más
Model Theory in Algebra, Analysis and Arithmetic

Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori

de Lou van den Dries, Jochen Koenigsmann, H. Dugald Macpherson, Anand Pillay, Carlo Toffalori, Alex J. Wilkie ...

Series series Mathematics and Statistics (R0)
Presenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; and 4) the model theory of real and complex exponentiation. Young researchers in model theory will particularly benefit from the book, as will more senior researchers in other branches of mathematics. ... Leer más

$64.19 USD

Presenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; and 4) the model theory of real and complex exponentiation. Young researchers in model theory will particularly benefit from the book, as will more senior researchers in other branches of mathematics.
... Leer más
Verification, Model Checking, and Abstract Interpretation

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

Edición de Bernd Finkbeiner, Thomas Wies ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation ... Leer más

$96.29 USD

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation
... Leer más
Removing Overthinking: How To Process Embrace Negative Emotions

de Connecticut Guitar Society, Inc ...

Overthinking can cause tremendous distress and suffering in our lives. In fact, overthinking is like a magnifying glass for emotional suffering: from anxiety and grief to anger and guilt, overthinking only amplifies painful emotion.Before we dive into strategies to stop overthinking, it’s useful to understand what overthinking actually is, where it comes from, and how best to think about it.This ... Leer más

$4.69 USD o gratis con Kobo Plus

Overthinking can cause tremendous distress and suffering in our lives. In fact, overthinking is like a magnifying glass for emotional suffering: from anxiety and grief to anger and guilt, overthinking only amplifies painful emotion.Before we dive into strategies to stop overthinking, it’s useful to understand what overthinking actually is, where it comes from, and how best to think about it.This
... Leer más
Des chiffres et des mots

La démo des chiffres

de Fino ...

"Des chiffres et des mots – La démo des chiffres" nous invite à une exploration captivante de l’univers mathématique, révélant leur rôle crucial et souvent méconnu dans notre quotidien. Fino nous propose une réflexion philosophique accessible, allant bien au-delà des simples calculs et des avancées technologiques, pour dévoiler les secrets fascinants des chiffres et leur impact profond sur nos ... Leer más

$10.91 USD o gratis con Kobo Plus

"Des chiffres et des mots – La démo des chiffres" nous invite à une exploration captivante de l’univers mathématique, révélant leur rôle crucial et souvent méconnu dans notre quotidien. Fino nous propose une réflexion philosophique accessible, allant bien au-delà des simples calculs et des avancées technologiques, pour dévoiler les secrets fascinants des chiffres et leur impact profond sur nos
... Leer más
Structures Mères: Semantics, Mathematics, and Cognitive Science

Edición de Alberto Peruzzi, Silvano Zipoli Caiani ...

Series series Philosophy and Religion (R0)
This book reports on cutting-edge concepts related to Bourbaki’s notion of structures mères. It merges perspectives from logic, philosophy, linguistics and cognitive science, suggesting how they can be combined with Bourbaki’s mathematical structuralism in order to solve foundational, ontological and epistemological problems using a novel category-theoretic approach. By offering a comprehensive ... Leer más

$53.49 USD

This book reports on cutting-edge concepts related to Bourbaki’s notion of structures mères. It merges perspectives from logic, philosophy, linguistics and cognitive science, suggesting how they can be combined with Bourbaki’s mathematical structuralism in order to solve foundational, ontological and epistemological problems using a novel category-theoretic approach. By offering a comprehensive
... Leer más
Logics for Computer Science

Classical and Non-Classical

de Anita Wasilewska ...

Series series Computer Science (R0)
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach ... Leer más

$139.09 USD

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach
... Leer más
Contradictions, from Consistency to Inconsistency

Edición de Walter Carnielli, Jacek Malinowski ...

Series series Mathematics and Statistics (R0)
This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the variety of meanings of consistency, contradiction, and related notions.Most of the papers, but not all, are developed around the subtle ... Leer más

$106.99 USD

This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the variety of meanings of consistency, contradiction, and related notions.Most of the papers, but not all, are developed around the subtle
... Leer más
The Palintrope

de Ehsan Mansoorian ...

There are epochs when silence becomes impossible — not because the world grows quiet, but because its noise demands interpretation. The Palintrope belongs to such a moment. It is a philosophical dialogue in seven days, set in a timeless 1920s-style café in Königsberg where the dead and the living, the East and the West, the geometers and the mystics, gather around the same table. Kant presides. ... Leer más

$4.99 USD o gratis con Kobo Plus

There are epochs when silence becomes impossible — not because the world grows quiet, but because its noise demands interpretation. The Palintrope belongs to such a moment. It is a philosophical dialogue in seven days, set in a timeless 1920s-style café in Königsberg where the dead and the living, the East and the West, the geometers and the mystics, gather around the same table. Kant presides.
... Leer más
Formal Techniques for Distributed Objects, Components, and Systems

41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

Edición de Kirstin Peters, Tim A. C. Willemse ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.The 9 regular papers and 4 short papers presented were carefully reviewed ... Leer más

$53.49 USD

This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.The 9 regular papers and 4 short papers presented were carefully reviewed
... 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)

Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles

Structure And Randomness In Computability And Set Theory

Applied Quantum Cryptanalysis

The Art Of Meditation: Practical Steps To Get Rid Of Your Anxiety

Awareness in Logic and Epistemology

Modelling Puzzles in First Order Logic

Ignorance

Kurt Gödel and the Foundations of Mathematics

Coherence in Three-Dimensional Category Theory

Methods of Argumentation

The Logic of Infinity

The Connectives in Logic and Language

The GCHQ Puzzle Book II

Computational Complexity of Solving Equation Systems

Model Theory in Algebra, Analysis and Arithmetic

Verification, Model Checking, and Abstract Interpretation

Removing Overthinking: How To Process Embrace Negative Emotions

Des chiffres et des mots

Structures Mères: Semantics, Mathematics, and Cognitive Science

Logics for Computer Science

Contradictions, from Consistency to Inconsistency

The Palintrope

Formal Techniques for Distributed Objects, Components, and Systems