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
Nondeductive Inference

de Robert Ackermann ...

Series series Routledge Library Editions: Logic
Originally published in 1966. An introduction to current studies of kinds of inference in which validity cannot be determined by ordinary deductive models. In particular, inductive inference, predictive inference, statistical inference, and decision making are examined in some detail. The last chapter discusses the relationship of these forms of inference to philosophical notions of rationality ... Leer más

$49.99 USD

Originally published in 1966. An introduction to current studies of kinds of inference in which validity cannot be determined by ordinary deductive models. In particular, inductive inference, predictive inference, statistical inference, and decision making are examined in some detail. The last chapter discusses the relationship of these forms of inference to philosophical notions of rationality
... Leer más
Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

de Mauro Di Nasso, Isaac Goldbring, Martino Lupini ...

Series series Mathematics and Statistics (R0)
The goal of this monograph is to give an accessible introduction to nonstandard methods and their applications, with an emphasis on combinatorics and Ramsey theory. It includes both new nonstandard proofs of classical results and recent developments initially obtained in the nonstandard setting. This makes it the first combinatorics-focused account of nonstandard methods to be aimed at a general ... Leer más

$53.49 USD

The goal of this monograph is to give an accessible introduction to nonstandard methods and their applications, with an emphasis on combinatorics and Ramsey theory. It includes both new nonstandard proofs of classical results and recent developments initially obtained in the nonstandard setting. This makes it the first combinatorics-focused account of nonstandard methods to be aimed at a general
... Leer más
Logic with a Probability Semantics

de Theodore Hailperin ...

The present study is an extension of the topic introduced in Dr. Hailperin's Sentential Probability Logic, where the usual true-false semantics for logic is replaced with one based more on probability, and where values ranging from 0 to 1 are subject to probability axioms. Moreover, as the word "sentential" in the title of that work indicates, the language there under consideration was limited to ... Leer más

$76.99 USD

The present study is an extension of the topic introduced in Dr. Hailperin's Sentential Probability Logic, where the usual true-false semantics for logic is replaced with one based more on probability, and where values ranging from 0 to 1 are subject to probability axioms. Moreover, as the word "sentential" in the title of that work indicates, the language there under consideration was limited to
... Leer más
How To Measure The Infinite: Mathematics With Infinite And Infinitesimal Numbers

de Vieri Benci, Mauro Di Nasso ...

'This text shows that the study of the almost-forgotten, non-Archimedean mathematics deserves to be utilized more intently in a variety of fields within the larger domain of applied mathematics.'CHOICEThis book contains an original introduction to the use of infinitesimal and infinite numbers, namely, the Alpha-Theory, which can be considered as an alternative approach to nonstandard analysis.The ... Leer más

$84.59 USD

'This text shows that the study of the almost-forgotten, non-Archimedean mathematics deserves to be utilized more intently in a variety of fields within the larger domain of applied mathematics.'CHOICEThis book contains an original introduction to the use of infinitesimal and infinite numbers, namely, the Alpha-Theory, which can be considered as an alternative approach to nonstandard analysis.The
... Leer más
The Rohonc Code

Tracing a Historical Riddle

de Benedek Láng ...

Traducido por Benedek Láng, Teodóra Király, Nick Palmer ...

First discovered in a Hungarian library in 1838, the Rohonc Codex keeps privileged company with some of the most famous unsolved writing systems in the world, notably the Voynich manuscript, the Phaistos Disk, and Linear A. Written entirely in cipher, this 400-year-old, 450-page-long, richly illustrated manuscript initially gained considerable attention but was later dismissed as an apparent ... Leer más

$18.99 USD

First discovered in a Hungarian library in 1838, the Rohonc Codex keeps privileged company with some of the most famous unsolved writing systems in the world, notably the Voynich manuscript, the Phaistos Disk, and Linear A. Written entirely in cipher, this 400-year-old, 450-page-long, richly illustrated manuscript initially gained considerable attention but was later dismissed as an apparent
... Leer más
Ludwig Wittgenstein: Dictating Philosophy

To Francis Skinner – The Wittgenstein-Skinner Manuscripts

de Ludwig Wittgenstein, Francis Skinner ...

Series series Philosophy and Religion (R0)
In this volume we witness Wittgenstein in the act of composing and experimenting with his new visions in philosophy. The book includes key explanations of the origin and background of these previously unknown manuscripts. It investigates how Wittgenstein’s philosophical thought-processes are revealed in his dictation to, as well as his editing and revision with Francis Skinner, in the latter’s ... Leer más

$48.19 USD

In this volume we witness Wittgenstein in the act of composing and experimenting with his new visions in philosophy. The book includes key explanations of the origin and background of these previously unknown manuscripts. It investigates how Wittgenstein’s philosophical thought-processes are revealed in his dictation to, as well as his editing and revision with Francis Skinner, in the latter’s
... Leer más
Combinatorial Set Theory

With a Gentle Introduction to Forcing

de Lorenz J. Halbeisen ...

Series series Mathematics and Statistics (R0)
This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory.Following an overview of basic notions in combinatorics and first-order logic, the author outlines the main topics of classical set theory in the second part, including Ramsey theory and the axiom of choice. The revised edition contains new permutation models and recent ... Leer más

$160.39 USD

This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory.Following an overview of basic notions in combinatorics and first-order logic, the author outlines the main topics of classical set theory in the second part, including Ramsey theory and the axiom of choice. The revised edition contains new permutation models and recent
... Leer más
Kripke’s Worlds

An Introduction to Modal Logics via Tableaux

de Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber ...

Series series Mathematics and Statistics (R0)
Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, ... Leer más

$90.89 USD

Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional,
... Leer más
Introduction to Modern Cryptography

de Jonathan Katz, Yehuda Lindell ...

Series series Chapman & Hall/CRC Cryptography and Network Security Series
Now the most used texbook for introductory cryptography courses in both mathematics and computer science, the Third Edition builds upon previous editions by offering several new sections, topics, and exercises. The authors present the core principles of modern cryptography, with emphasis on formal definitions, rigorous proofs of security. ... Leer más

$150.00 USD

Now the most used texbook for introductory cryptography courses in both mathematics and computer science, the Third Edition builds upon previous editions by offering several new sections, topics, and exercises. The authors present the core principles of modern cryptography, with emphasis on formal definitions, rigorous proofs of security.
... Leer más
The Mathematics of Paul Erdős II

Edición de Jaroslav Nešetřil, Steve Butler, Ronald L. Graham ...

Series series Mathematics and Statistics (R0)
This is the most comprehensive survey of the mathematical life of the legendary Paul Erdős (1913-1996), one of the most versatile and prolific mathematicians of our time. For the first time, all the main areas of Erdős' research are covered in a single project. Because of overwhelming response from the mathematical community, the project now occupies over 1000 pages, arranged into two volumes. ... Leer más

$244.89 USD

This is the most comprehensive survey of the mathematical life of the legendary Paul Erdős (1913-1996), one of the most versatile and prolific mathematicians of our time. For the first time, all the main areas of Erdős' research are covered in a single project. Because of overwhelming response from the mathematical community, the project now occupies over 1000 pages, arranged into two volumes.
... Leer más
A Course on Mathematical Logic

de Shashi Mohan Srivastava ...

Series series Mathematics and Statistics (R0)
This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to ... Leer más

$69.49 USD

This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to
... Leer más
Scientific Philosophy

de Gustavo E. Romero ...

Series series Physics and Astronomy (R0)
This textbook presents the basics of philosophy that are necessary for the student and researcher in science in order to better understand scientific work. The approach is not historical but formative: tools for semantical analysis, ontology of science, epistemology, and scientific ethics are presented in a formal and direct way.The book has two parts: one with the general theory and a second part ... Leer más

$85.59 USD

This textbook presents the basics of philosophy that are necessary for the student and researcher in science in order to better understand scientific work. The approach is not historical but formative: tools for semantical analysis, ontology of science, epistemology, and scientific ethics are presented in a formal and direct way.The book has two parts: one with the general theory and a second part
... Leer más
Discrete Mathematics and Graph Theory

A Concise Study Companion and Guide

de K. Erciyes ...

Series series Computer Science (R0)
This textbook can serve as a comprehensive manual of discrete mathematics and graph theory for non-Computer Science majors; as a reference and study aid for professionals and researchers who have not taken any discrete math course before. It can also be used as a reference book for a course on Discrete Mathematics in Computer Science or Mathematics curricula.The study of discrete mathematics is ... Leer más

$37.49 USD

This textbook can serve as a comprehensive manual of discrete mathematics and graph theory for non-Computer Science majors; as a reference and study aid for professionals and researchers who have not taken any discrete math course before. It can also be used as a reference book for a course on Discrete Mathematics in Computer Science or Mathematics curricula.The study of discrete mathematics is
... Leer más
Belief Revision in Non-Classical Logics

de Márcio Moretto Ribeiro ...

Series series Computer Science (R0)
Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of ... Leer más

$53.49 USD

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of
... Leer más
A Protocol-theoretic Framework for the Logic of Epistemic Norms

de Ralph Jenkins ...

Series series Philosophy and Religion (R0)
This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for representing and reasoning about epistemic norms, and it shows that PLEN is theoretically interesting and useful with regard to the aims of such a framework. In order to motivate the project, the author defends an account of epistemic norms called epistemic ... Leer más

$96.29 USD

This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for representing and reasoning about epistemic norms, and it shows that PLEN is theoretically interesting and useful with regard to the aims of such a framework. In order to motivate the project, the author defends an account of epistemic norms called epistemic
... Leer más
Reasoning Web. Declarative Artificial Intelligence

17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures

Edición de Mantas Šimkus, Ivan Varzinczak ...

Series series Computer Science (R0)
The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school ... Leer más

$85.59 USD

The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school
... Leer más
Canonical Ramsey Theory on Polish Spaces

de Vladimir Kanovei, Marcin Sabok, Jindřich Zapletal ...

Series Libro 202 - Cambridge Tracts in Mathematics
This book lays the foundations for an exciting new area of research in descriptive set theory. It develops a robust connection between two active topics: forcing and analytic equivalence relations. This in turn allows the authors to develop a generalization of classical Ramsey theory. Given an analytic equivalence relation on a Polish space, can one find a large subset of the space on which it has ... Leer más

$130.39 USD

This book lays the foundations for an exciting new area of research in descriptive set theory. It develops a robust connection between two active topics: forcing and analytic equivalence relations. This in turn allows the authors to develop a generalization of classical Ramsey theory. Given an analytic equivalence relation on a Polish space, can one find a large subset of the space on which it has
... Leer más
Nonclassical Logics and Their Applications

Post-proceedings of the 8th International Workshop on Logic and Cognition

Edición de Shier Ju, Alessandra Palmigiano, Minghui Ma ...

Series series Springer Nature Proceedings excluding Computer Science
This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area. Non-classical logics are logical formalisms that violate or go beyond classical logic laws, and their specific features make them particularly suited to describing and reason about aspects of social interaction. The richness and diversity ... Leer más

$96.29 USD

This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area. Non-classical logics are logical formalisms that violate or go beyond classical logic laws, and their specific features make them particularly suited to describing and reason about aspects of social interaction. The richness and diversity
... Leer más
Hex

The Full Story

de Ryan B. Hayward, Bjarne Toft ...

Series series AK Peters/CRC Recreational Mathematics Series
Hex: The Full Story is for anyone - hobbyist, professional, student, teacher - who enjoys board games, game theory, discrete math, computing, or history. hex was discovered twice, in 1942 by Piet Hein and again in 1949 by John F. nash. How did this happen? Who created the puzzle for Hein's Danish newspaper column? How are Martin Gardner, David Gale, Claude Shannon, and Claude Berge involved? What ... Leer más

$47.99 USD

Hex: The Full Story is for anyone - hobbyist, professional, student, teacher - who enjoys board games, game theory, discrete math, computing, or history. hex was discovered twice, in 1942 by Piet Hein and again in 1949 by John F. nash. How did this happen? Who created the puzzle for Hein's Danish newspaper column? How are Martin Gardner, David Gale, Claude Shannon, and Claude Berge involved? What
... Leer más
Fundamentals of Mathematical Logic

de Peter G. Hinman ...

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

$170.00 USD

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

de Ke Huang, Yi Mu, Fatemeh Rezaeibagha, Xiaosong Zhang ...

This book seeks to generalize techniques and experiences in designing and analyzing cryptographic schemes for blockchain. It devotes three chapters to review the background and basic knowledge, four chapters to discuss specific types of cryptographic primitive design for blockchain, one chapter to discuss optimization tools and another chapter for blockchain regulation and economies. This book ... Leer más

$67.99 USD

This book seeks to generalize techniques and experiences in designing and analyzing cryptographic schemes for blockchain. It devotes three chapters to review the background and basic knowledge, four chapters to discuss specific types of cryptographic primitive design for blockchain, one chapter to discuss optimization tools and another chapter for blockchain regulation and economies. This book
... Leer más
Codes

The Guide to Secrecy From Ancient to Modern Times

de Richard A. Mollin ...

From the Rosetta Stone to public-key cryptography, the art and science of cryptology has been used to unlock the vivid history of ancient cultures, to turn the tide of warfare, and to thwart potential hackers from attacking computer systems. Codes: The Guide to Secrecy from Ancient to Modern Times explores the depth and breadth of the field, remain ... Leer más

$89.99 USD

From the Rosetta Stone to public-key cryptography, the art and science of cryptology has been used to unlock the vivid history of ancient cultures, to turn the tide of warfare, and to thwart potential hackers from attacking computer systems. Codes: The Guide to Secrecy from Ancient to Modern Times explores the depth and breadth of the field, remain
... Leer más
Iris Biometric Model for Secured Network Access

de Franjieh El Khoury ...

In the last few years, biometric techniques have proven their ability to provide secure access to shared resources in various domains. Furthermore, software agents and multi-agent systems (MAS) have shown their efficiency in resolving critical network problems. Iris Biometric Model for Secured Network Access proposes a new model, the IrisCryptoAgen ... Leer más

$68.99 USD

In the last few years, biometric techniques have proven their ability to provide secure access to shared resources in various domains. Furthermore, software agents and multi-agent systems (MAS) have shown their efficiency in resolving critical network problems. Iris Biometric Model for Secured Network Access proposes a new model, the IrisCryptoAgen
... 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)

Nondeductive Inference

Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

Logic with a Probability Semantics

How To Measure The Infinite: Mathematics With Infinite And Infinitesimal Numbers

The Rohonc Code

Ludwig Wittgenstein: Dictating Philosophy

Combinatorial Set Theory

Kripke’s Worlds

Introduction to Modern Cryptography

The Mathematics of Paul Erdős II

A Course on Mathematical Logic

Scientific Philosophy

Discrete Mathematics and Graph Theory

Belief Revision in Non-Classical Logics

A Protocol-theoretic Framework for the Logic of Epistemic Norms

Reasoning Web. Declarative Artificial Intelligence

Canonical Ramsey Theory on Polish Spaces

Nonclassical Logics and Their Applications

Hex

Fundamentals of Mathematical Logic

Design and Analysis of Cryptographic Algorithms in Blockchain

Codes

Iris Biometric Model for Secured Network Access