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
Forcing For Mathematicians

de Nik Weaver ...

Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists. In the past decade, a series of remarkable solutions to ... Leer más

$24.69 USD

Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists. In the past decade, a series of remarkable solutions to
... Leer más
Cryptography and Network Security

de Marcelo Sampaio de Alencar ...

Starting with the historical evolution of computer and communications networks and their security, the book then arrives at the main definitions of cryptography and network security. Next, the basics of information theory, how to measure information, the information associated with a certain source are also discussed. Source codes are presented, along with the concepts of information transmission, ... Leer más

$150.00 USD

Starting with the historical evolution of computer and communications networks and their security, the book then arrives at the main definitions of cryptography and network security. Next, the basics of information theory, how to measure information, the information associated with a certain source are also discussed. Source codes are presented, along with the concepts of information transmission,
... Leer más
Pell and Pell–Lucas Numbers with Applications

de Thomas Koshy ...

Pell and Pell–Lucas numbers, like the well-known Fibonacci and Catalan numbers, continue to intrigue the mathematical world with their beauty and applicability. They offer opportunities for experimentation, exploration, conjecture, and problem-solving techniques, connecting the fields of analysis, geometry, trigonometry, and various areas of discrete mathematics, number theory, graph theory, ... Leer más

$64.19 USD

Pell and Pell–Lucas numbers, like the well-known Fibonacci and Catalan numbers, continue to intrigue the mathematical world with their beauty and applicability. They offer opportunities for experimentation, exploration, conjecture, and problem-solving techniques, connecting the fields of analysis, geometry, trigonometry, and various areas of discrete mathematics, number theory, graph theory,
... Leer más
Sets, Logic and Maths for Computing

de David Makinson ...

Series series Computer Science (R0)
This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences. Specifically designed for the student who is intimidated by mathematics, the book offers a concise treatment in an engaging style.The thoroughly revised third edition features a new chapter on relevance-sensitivity in ... Leer más

$53.49 USD

This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences. Specifically designed for the student who is intimidated by mathematics, the book offers a concise treatment in an engaging style.The thoroughly revised third edition features a new chapter on relevance-sensitivity in
... Leer más
Probability : Deep view

de Bonginhlanhla Microsen Motha ...

What if coincidence doesn't exist—only patterns we fail to see?In Motha's First Law of Probability (Hidden Pattern), Bonginhlanhla Microsen Motha introduces a thought-provoking principle: the idea that randomness is not truly random, but a reflection of unseen structure.Challenging the traditional view of probability, this book argues that every event—no matter how accidental it appears—is shaped ... Leer más

$15.00 USD o gratis con Kobo Plus

What if coincidence doesn't exist—only patterns we fail to see?In Motha's First Law of Probability (Hidden Pattern), Bonginhlanhla Microsen Motha introduces a thought-provoking principle: the idea that randomness is not truly random, but a reflection of unseen structure.Challenging the traditional view of probability, this book argues that every event—no matter how accidental it appears—is shaped
... Leer más
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

de Martin Grohe ...

Series Libro 47 - Lecture Notes in Logic
Descriptive complexity theory establishes a connection between the computational complexity of algorithmic problems (the computational resources required to solve the problems) and their descriptive complexity (the language resources required to describe the problems). This groundbreaking book approaches descriptive complexity from the angle of modern structural graph theory, specifically graph ... Leer más

$186.99 USD

Descriptive complexity theory establishes a connection between the computational complexity of algorithmic problems (the computational resources required to solve the problems) and their descriptive complexity (the language resources required to describe the problems). This groundbreaking book approaches descriptive complexity from the angle of modern structural graph theory, specifically graph
... Leer más
The Search for Mathematical Roots, 1870-1940

Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel

de Ivor Grattan-Guinness ...

While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensive history of the mathematical background, content, and impact of the mathematical logic and philosophy of mathematics that Russell developed with A. N. Whitehead in their Principia mathematica (1910-1913).?This definitive history of a critical period ... Leer más

$113.79 USD

While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensive history of the mathematical background, content, and impact of the mathematical logic and philosophy of mathematics that Russell developed with A. N. Whitehead in their Principia mathematica (1910-1913).?This definitive history of a critical period
... Leer más
Einstieg in die beweisorientierte Mathematik

Mit Versuch und Irrtum zum Beweis

de Felix Göbler, Alex Küronya ...

Series series Life Science and Basic Disciplines (German Language)
Die Schulmathematik vermittelt meist nur einen sehr eingeschränkten Einblick in die beweisorientierte und axiomatisch aufgebaute moderne Mathematik – Studienanfänger werden daher oft unvorbereitet von der Hochschulmathematik getroffen.Dieses Lehrbuch erleichtert den nötigen Übergang zum selbstständigen Erarbeiten und Lernen mathematischer Beweise und Inhalte: Es motiviert die Lesenden, selbst ... Leer más

$28.49 USD

Die Schulmathematik vermittelt meist nur einen sehr eingeschränkten Einblick in die beweisorientierte und axiomatisch aufgebaute moderne Mathematik – Studienanfänger werden daher oft unvorbereitet von der Hochschulmathematik getroffen.Dieses Lehrbuch erleichtert den nötigen Übergang zum selbstständigen Erarbeiten und Lernen mathematischer Beweise und Inhalte: Es motiviert die Lesenden, selbst
... Leer más
Natural Deduction, Hybrid Systems and Modal Logics

de Andrzej Indrzejczak ...

Series series Mathematics and Statistics (R0)
A good title should be informative enough to illuminate a potential reader on the content of a book. We hope that the present title gives at least some hints of what this book is about. The notion of natural deduction or modal logic are rather well known, but the notion of “hybrid system” certainly needs some explanation. In short, this study may be seen as a kind of search for good deductive ... Leer más

$234.19 USD

A good title should be informative enough to illuminate a potential reader on the content of a book. We hope that the present title gives at least some hints of what this book is about. The notion of natural deduction or modal logic are rather well known, but the notion of “hybrid system” certainly needs some explanation. In short, this study may be seen as a kind of search for good deductive
... 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

$53.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
Advances in Natural Deduction

A Celebration of Dag Prawitz's Work

Edición de Luiz Carlos Pereira, Valeria de Paiva, Edward Haeusler ...

Series series Mathematics and Statistics (R0)
This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof ... Leer más

$128.39 USD

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof
... Leer más
Numbers

10 Things You Should Know

de Colin Stuart ...

Series series 10 Things You Should Know
Uncover the language of our universe - numbers - in this wide-ranging whistle-stop tour of the history and majesty of mathematics.Our world simply wouldn't function if we didn't have numbers. But where do they come from? Why do we cut cake the wrong way? How can there be different sizes of infinity?All these questions and more are answered in this engaging romp through the history of numbers by ... Leer más

$11.89 USD

Uncover the language of our universe - numbers - in this wide-ranging whistle-stop tour of the history and majesty of mathematics.Our world simply wouldn't function if we didn't have numbers. But where do they come from? Why do we cut cake the wrong way? How can there be different sizes of infinity?All these questions and more are answered in this engaging romp through the history of numbers by
... Leer más
Exploring Negation, Modality and Proof

6th Asian Workshop on Philosophical Logic

Edición de Katsuhiko Sano, Ryo Hatano, Hiroakira Ono ...

Series series Philosophy and Religion (R0)
This book brings together contributions from philosophers interested in logic and logicians with a philosophical orientation to address a variety of logical and philosophical topics of current interest, including modal logic, intuitionistic logic, relevant logic, substructural logic, many-value logic, formal semantics, proof theory, and paradox. In particular, it provides the state of the art in ... Leer más

$181.79 USD

This book brings together contributions from philosophers interested in logic and logicians with a philosophical orientation to address a variety of logical and philosophical topics of current interest, including modal logic, intuitionistic logic, relevant logic, substructural logic, many-value logic, formal semantics, proof theory, and paradox. In particular, it provides the state of the art in
... Leer más
悖论研究

de 陈波著 ...

本书将从古至今五花八门的悖论分成十二类，详细介绍每一类悖论的历史原型、各种变体、逻辑学家的解决方案、与日常生活的关系等。 ... Leer más

$19.67 USD o gratis con Kobo Plus

本书将从古至今五花八门的悖论分成十二类，详细介绍每一类悖论的历史原型、各种变体、逻辑学家的解决方案、与日常生活的关系等。
... Leer más
Selected Topics in Probabilistic Safety Assessment

Methodology and Practice in Nuclear Power Plants

de Dan Serbanescu, Anatoli Paul Ulmeanu ...

Series series Engineering (R0)
Probabilistic Safety Assessment (PSA) is a structured, comprehensive, and logical analysis method aimed at identifying and assessing risks in complex technological systems, such as the nuclear power plants. It is also known as probabilisticrisk assessment– PRA. This book presents the theoretical basis to understand the numerous and complex aspects that are covered by PSA and it willhelp the reader ... Leer más

$149.79 USD

Probabilistic Safety Assessment (PSA) is a structured, comprehensive, and logical analysis method aimed at identifying and assessing risks in complex technological systems, such as the nuclear power plants. It is also known as probabilisticrisk assessment– PRA. This book presents the theoretical basis to understand the numerous and complex aspects that are covered by PSA and it willhelp the reader
... Leer más
Model Theory

Selected Lectures from the 2021 Thematic Program

Edición de Deirdre Haskell ...

Series series Mathematics and Statistics (R0)
This book provides an entry into some the key areas of research in contemporary model theory. Model theory, a branch of mathematical logic, is an exciting and vibrant discipline. Advances in pure model theory drive applications in algebra, algebraic geometry, analysis, combinatorics and number theory. The contributing authors are leaders in the field, both senior and junior, including Anand Pillay ... Leer más

$139.09 USD

This book provides an entry into some the key areas of research in contemporary model theory. Model theory, a branch of mathematical logic, is an exciting and vibrant discipline. Advances in pure model theory drive applications in algebra, algebraic geometry, analysis, combinatorics and number theory. The contributing authors are leaders in the field, both senior and junior, including Anand Pillay
... Leer más
Multimedia Content Encryption

Techniques and Applications

de Shiguo Lian ...

The widespread use of image, audio, and video data makes media content protection increasingly necessary and urgent. For maximum safety, it is no longer sufficient to merely control access rights. In order to fully protect multimedia data from piracy or unauthorized use, it must be secured through encryption prior to its transmission or distribution. Multimedia Content Encryption: Techniques and ... Leer más

$170.00 USD

The widespread use of image, audio, and video data makes media content protection increasingly necessary and urgent. For maximum safety, it is no longer sufficient to merely control access rights. In order to fully protect multimedia data from piracy or unauthorized use, it must be secured through encryption prior to its transmission or distribution. Multimedia Content Encryption: Techniques and
... Leer más
Model Validation and Uncertainty Quantification, Volume 3

Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023

Edición de Roland Platz, Garrison Flynn, Kyle Neal, Scott Ouellette ...

Series series Springer Nature Proceedings excluding Computer Science
Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics, 2023, the third volume of ten from the Conference brings together contributions to this important area of research and engineering. The collection presents early findings and case studies on fundamental and applied aspects of Model Validation and Uncertainty ... Leer más

$255.59 USD

Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics, 2023, the third volume of ten from the Conference brings together contributions to this important area of research and engineering. The collection presents early findings and case studies on fundamental and applied aspects of Model Validation and Uncertainty
... Leer más
Introduction to Discrete Mathematics via Logic and Proof

de Calvin Jongsma ...

Series series Mathematics and Statistics (R0)
This textbook introduces discrete mathematics by emphasizing the importance of reading and writing proofs. Because it begins by carefully establishing a familiarity with mathematical logic and proof, this approach suits not only a discrete mathematics course, but can also function as a transition to proof. Its unique, deductive perspective on mathematical logic provides students with the tools to ... Leer más

$58.89 USD

This textbook introduces discrete mathematics by emphasizing the importance of reading and writing proofs. Because it begins by carefully establishing a familiarity with mathematical logic and proof, this approach suits not only a discrete mathematics course, but can also function as a transition to proof. Its unique, deductive perspective on mathematical logic provides students with the tools to
... Leer más
R-Calculus, V: Description Logics

de Wei Li, Yuefei Sui ...

Series series Computer Science (R0)
This book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. ... Leer más

$181.79 USD

This book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
... Leer más
The Real Numbers

An Introduction to Set Theory and Analysis

de John Stillwell ...

Series series Mathematics and Statistics (R0)
While most texts on real analysis are content to assume the real numbers, or to treat them only briefly, this text makes a serious study of the real number system and the issues it brings to light. Analysis needs the real numbers to model the line, and to support the concepts of continuity and measure. But these seemingly simple requirements lead to deep issues of set theory—uncountability, the ... Leer más

$28.89 USD

While most texts on real analysis are content to assume the real numbers, or to treat them only briefly, this text makes a serious study of the real number system and the issues it brings to light. Analysis needs the real numbers to model the line, and to support the concepts of continuity and measure. But these seemingly simple requirements lead to deep issues of set theory—uncountability, the
... Leer más
Algebraic Probabilistic Consistency

Boole, Łukasiewicz, de Finetti, Kolmogorov

de Daniele Mundici ...

Series series Philosophy and Religion (R0)
This book investigates the foundations of probability theory and logic, intertwining historical insights with modern interpretations. It explores the evolution of probability theory from Boole’s seminal question on the very object of probability, through de Finetti’s finitely additive probability and his consistency notion, also known as “non-Dutchbookability,” to the intricate relationship ... Leer más

$117.69 USD

This book investigates the foundations of probability theory and logic, intertwining historical insights with modern interpretations. It explores the evolution of probability theory from Boole’s seminal question on the very object of probability, through de Finetti’s finitely additive probability and his consistency notion, also known as “non-Dutchbookability,” to the intricate relationship
... Leer más
Russell's Philosophy of Logical Analysis, 1897-1905

de J. Galaugher ...

Series series Philosophy and Religion (R0)
This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory of descriptions in 1905, draws important connections between his philosophically motivated conception of analysis and the technical apparatus he devised to facilitate analyses in mathematics ... Leer más

$53.49 USD

This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory of descriptions in 1905, draws important connections between his philosophically motivated conception of analysis and the technical apparatus he devised to facilitate analyses in mathematics
... 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)

Forcing For Mathematicians

Cryptography and Network Security

Pell and Pell–Lucas Numbers with Applications

Sets, Logic and Maths for Computing

Probability : Deep view

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

The Search for Mathematical Roots, 1870-1940

Einstieg in die beweisorientierte Mathematik

Natural Deduction, Hybrid Systems and Modal Logics

Logic: a Brief Course

Advances in Natural Deduction

Numbers

Exploring Negation, Modality and Proof

悖论研究

Selected Topics in Probabilistic Safety Assessment

Model Theory

Multimedia Content Encryption

Model Validation and Uncertainty Quantification, Volume 3

Introduction to Discrete Mathematics via Logic and Proof

R-Calculus, V: Description Logics

The Real Numbers

Algebraic Probabilistic Consistency

Russell's Philosophy of Logical Analysis, 1897-1905