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

- Incluye libros electrónicos
  
  Incluye audiolibros
  
  Incluye 30 horas de tiempo de escucha
  
  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
  
  Incluye libros electrónicos
  
  Incluye audiolibros
  
  Incluye 30 horas de tiempo de escucha
  
  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

Incluye libros electrónicos

Incluye audiolibros

Incluye 30 horas de tiempo de escucha

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

Incluye libros electrónicos

Incluye audiolibros

Incluye 30 horas de tiempo de escucha

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

$13.97 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
Authorization and Access Control

Foundations, Frameworks, and Applications

de Parikshit N. Mahalle, Shashikant S. Bhong, Gitanjali R. Shinde ...

This book focuses on various authorization and access control techniques, threats and attack modeling, including an overview of the Open Authorization 2.0 (OAuth 2.0) framework along with user-managed access (UMA) and security analysis. Important key concepts are discussed regarding login credentials with restricted access to third parties with a primary account as a resource server. A detailed ... Leer más

$30.99 USD

This book focuses on various authorization and access control techniques, threats and attack modeling, including an overview of the Open Authorization 2.0 (OAuth 2.0) framework along with user-managed access (UMA) and security analysis. Important key concepts are discussed regarding login credentials with restricted access to third parties with a primary account as a resource server. A detailed
... Leer más
Logic, Everyday Discourse, and Metaphysics

de Gianni Rigamonti ...

Series series Philosophy and Religion (R0)
This book applies the formal discipline of logic to everyday discourse. It offers a new analysis of the notion of individual, suggesting that this notion is linguistic, not ontological, and that anything denoted by a proper name in a well-functioning language game is an individual. It further posits that everyday discourse is non-compositional, i.e., its complex expressions are not just the result ... Leer más

$83.89 USD

This book applies the formal discipline of logic to everyday discourse. It offers a new analysis of the notion of individual, suggesting that this notion is linguistic, not ontological, and that anything denoted by a proper name in a well-functioning language game is an individual. It further posits that everyday discourse is non-compositional, i.e., its complex expressions are not just the result
... Leer más
Temporal Type Theory

A Topos-Theoretic Approach to Systems and Behavior

de Patrick Schultz, David I. Spivak ...

Series series Mathematics and Statistics (R0)
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze ... Leer más

$115.39 USD

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze
... Leer más
Visual Cryptography and Secret Image Sharing

Edición de Stelvio Cimato, Ching-Nung Yang ...

Series series Digital Imaging and Computer Vision
With rapid progress in Internet and digital imaging technology, there are more and more ways to easily create, publish, and distribute images. Considered the first book to focus on the relationship between digital imaging and privacy protection, Visual Cryptography and Secret Image Sharing is a complete introduction to novel security methods and sharing-control mechanisms used to protect against ... Leer más

$120.99 USD

With rapid progress in Internet and digital imaging technology, there are more and more ways to easily create, publish, and distribute images. Considered the first book to focus on the relationship between digital imaging and privacy protection, Visual Cryptography and Secret Image Sharing is a complete introduction to novel security methods and sharing-control mechanisms used to protect against
... Leer más
Turing's Legacy

Developments from Turing's Ideas in Logic

Edición de Rod Downey ...

Series Libro 42 - Lecture Notes in Logic
Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern ... Leer más

$154.99 USD

Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern
... Leer más
Conditionals and Modularity in General Logics

de Dov M. Gabbay, Karl Schlechta ...

Series series Computer Science (R0)
This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity ... Leer más

$94.39 USD

This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity
... Leer más
Logic: a Brief Course

de Daniele Mundici ...

Series series Mathematics and Statistics (R0)
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts ... Leer más

$52.49 USD

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts
... 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
Introduction to Model Theory

de Philipp Rothmaler ...

Series series Algebra, Logic and Applications
Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect. This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than ... Leer más

$115.99 USD

Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect. This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than
... Leer más
Introduction to Mathematical Logic

de Elliott Mendelson ...

Series series Discrete Mathematics and Its Applications
The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosse ... Leer más

Antes $84.99 USD Ahora $75.99 USD

The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosse
... Leer más
Intensionality

Lecture Notes in Logic 22

Edición de Reinhard Kahle ...

A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted to technical aspects of modal logic. The volume hi ... Leer más

$70.99 USD

A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted to technical aspects of modal logic. The volume hi
... Leer más
Games, Norms and Reasons

Logic at the Crossroads

Edición de Johan van Benthem, Amitabha Gupta, Eric Pacuit ...

Series series Philosophy and Religion (R0)
Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called "Logic at the Crossroads" whose title reflects a view that the deep insights from the classical phase of mathematical logic ... Leer más

$94.39 USD

Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called "Logic at the Crossroads" whose title reflects a view that the deep insights from the classical phase of mathematical logic
... Leer más
Foundations of Software Science and Computation Structures

27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Edición de Naoki Kobayashi, James Worrell ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:Part I: ... Leer más

Gratis

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:Part I:
... Leer más
Miscellaneous Pieces

de Carroll Lewis ...

Lewis Carroll's Miscellaneous Pieces includes The Game of Logic (1886) Eight or Nine Wise Words about Letter Writing (1890) and Feeding the Mind (1907). In the first work Carroll presents a mind-boggling game complete with rules and procedures. The second work is a humorous rendering of the delicacies involved in the writing of letters. In the last work Carroll dwells on the importance of keeping ... Leer más

$4.99 USD

Lewis Carroll's Miscellaneous Pieces includes The Game of Logic (1886) Eight or Nine Wise Words about Letter Writing (1890) and Feeding the Mind (1907). In the first work Carroll presents a mind-boggling game complete with rules and procedures. The second work is a humorous rendering of the delicacies involved in the writing of letters. In the last work Carroll dwells on the importance of keeping
... Leer más
Objects, Structures, and Logics

FilMat Studies in the Philosophy of Mathematics

Edición de Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo ...

Series series Mathematics and Statistics (R0)
This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures.The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth, ... Leer más

$146.79 USD

This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures.The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth,
... Leer más
Objectivity, Realism, and Proof

FilMat Studies in the Philosophy of Mathematics

Edición de Francesca Boccuni, Andrea Sereni ...

Series series Philosophy and Religion (R0)
This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge.The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their ... Leer más

$125.89 USD

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge.The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their
... Leer más
Logic with Trees

An Introduction to Symbolic Logic

de Colin Howson ...

Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring informal explanations and arguments to intimidatingly rigorous development. Worked examples and excercises enable the readers to check their ... Leer más

Antes $64.99 USD Ahora $57.99 USD

Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring informal explanations and arguments to intimidatingly rigorous development. Worked examples and excercises enable the readers to check their
... Leer más
The Philosophy of Mathematics

Translated from Cours de Philosophie Positive by W. M. Gillespie

de Auguste Comte ...

Written by the nineteenth-century French philosophical founder of positivism, this comprehensive map of mathematical science assigns to each part of the complex whole its true position and value. The two-part treatment begins with a general view of mathematical analysis and advances to algebra, continuing with an exploration of geometry's ancient and modern methods. ... Leer más

$28.79 USD

Written by the nineteenth-century French philosophical founder of positivism, this comprehensive map of mathematical science assigns to each part of the complex whole its true position and value. The two-part treatment begins with a general view of mathematical analysis and advances to algebra, continuing with an exploration of geometry's ancient and modern methods.
... Leer más
Practical Mathematical Cryptography

de Kristian Gjøsteen ...

Series series Chapman & Hall/CRC Cryptography and Network Security Series
Practical Mathematical Cryptography provides a clear and accessible introduction to practical mathematical cryptography.Cryptography, both as a science and as practice, lies at the intersection of mathematics and the science of computation, and the presentation emphasises the essential mathematical nature of the computations and arguments involved in cryptography.Cryptography is also a practical ... Leer más

$68.99 USD

Practical Mathematical Cryptography provides a clear and accessible introduction to practical mathematical cryptography.Cryptography, both as a science and as practice, lies at the intersection of mathematics and the science of computation, and the presentation emphasises the essential mathematical nature of the computations and arguments involved in cryptography.Cryptography is also a practical
... Leer más
Cybersecurity 2050

Protecting Humanity in a Hyper-Connected World

de Soorena Merat ...

This book explores the critical intersection of human behavior, cybersecurity, and the transformative potential of quantum technologies. It delves into the vulnerabilities and resilience of human intelligence in the face of cyber threats, examining how cognitive biases, social dynamics, and mental health can be exploited in the digital age.Cybersecurity 2050: Protecting Humanity in a Hyper ... Leer más

$77.99 USD

This book explores the critical intersection of human behavior, cybersecurity, and the transformative potential of quantum technologies. It delves into the vulnerabilities and resilience of human intelligence in the face of cyber threats, examining how cognitive biases, social dynamics, and mental health can be exploited in the digital age.Cybersecurity 2050: Protecting Humanity in a Hyper
... Leer más
R-Calculus, VI: Finite Injury Priority Method

de Wei Li, Yuefei Sui ...

Series series Computer Science (R0)
This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B2^2-valued and L4-valued first-order logics, and extend the method to infinite injury priority method and 0"-method for default logic to produce pseudo-extensions of a default theory, corresponding to different R-calculi. Finite injury ... Leer más

$146.79 USD

This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B2^2-valued and L4-valued first-order logics, and extend the method to infinite injury priority method and 0"-method for default logic to produce pseudo-extensions of a default theory, corresponding to different R-calculi. Finite injury
... Leer más
Paradoxes of the Infinite (Routledge Revivals)

de Bernard Bolzano ...

Series series Routledge Revivals
Paradoxes of the Infinite presents one of the most insightful, yet strangely unacknowledged, mathematical treatises of the 19th century: Dr Bernard Bolzano’s Paradoxien. This volume contains an adept translation of the work itself by Donald A. Steele S.J., and in addition an historical introduction, which includes a brief biography as well as an evaluation of Bolzano the mathematician, logician ... Leer más

$60.99 USD

Paradoxes of the Infinite presents one of the most insightful, yet strangely unacknowledged, mathematical treatises of the 19th century: Dr Bernard Bolzano’s Paradoxien. This volume contains an adept translation of the work itself by Donald A. Steele S.J., and in addition an historical introduction, which includes a brief biography as well as an evaluation of Bolzano the mathematician, logician
... Leer más
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics

de Ulianov Montano ...

Series series Philosophy and Religion (R0)
This book develops a naturalistic aesthetic theory that accounts for aesthetic phenomena in mathematics in the same terms as it accounts for more traditional aesthetic phenomena. Building upon a view advanced by James McAllister, the assertion is that beauty in science does not confine itself to anecdotes or personal idiosyncrasies, but rather that it had played a role in shaping the development ... Leer más

$52.49 USD

This book develops a naturalistic aesthetic theory that accounts for aesthetic phenomena in mathematics in the same terms as it accounts for more traditional aesthetic phenomena. Building upon a view advanced by James McAllister, the assertion is that beauty in science does not confine itself to anecdotes or personal idiosyncrasies, but rather that it had played a role in shaping the development
... 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)

Authorization and Access Control

Logic, Everyday Discourse, and Metaphysics

Temporal Type Theory

Visual Cryptography and Secret Image Sharing

Turing's Legacy

Conditionals and Modularity in General Logics

Logic: a Brief Course

Coherence in Three-Dimensional Category Theory

Introduction to Model Theory

Introduction to Mathematical Logic

Intensionality

Games, Norms and Reasons

Foundations of Software Science and Computation Structures

Miscellaneous Pieces

Objects, Structures, and Logics

Objectivity, Realism, and Proof

Logic with Trees

The Philosophy of Mathematics

Practical Mathematical Cryptography

Cybersecurity 2050

R-Calculus, VI: Finite Injury Priority Method

Paradoxes of the Infinite (Routledge Revivals)

Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics