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

Trick or Truth?

The Mysterious Connection Between Physics and Mathematics

Edición de Anthony Aguirre, Brendan Foster, Zeeya Merali ...

Series series Physics and Astronomy (R0)
The prize-winning essays in this book address the fascinating but sometimes uncomfortable relationship between physics and mathematics. Is mathematics merely another natural science? Or is it the result of human creativity? Does physics simply wear mathematics like a costume, or is math the lifeblood of physical reality?The nineteen wide-ranging, highly imaginative and often entertaining essays ... Leer más

$89,895 CLP

The prize-winning essays in this book address the fascinating but sometimes uncomfortable relationship between physics and mathematics. Is mathematics merely another natural science? Or is it the result of human creativity? Does physics simply wear mathematics like a costume, or is math the lifeblood of physical reality?The nineteen wide-ranging, highly imaginative and often entertaining essays
... 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

$123,609 CLP

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

$246,118 CLP

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
Advances in Mathematical Logic

Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

Edición de Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka ...

Series series Springer Nature Proceedings excluding Computer Science
Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91.Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program ... Leer más

$168,562 CLP

Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91.Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program
... Leer más
Completely Regular Semigroup Varieties

Applications and Advanced Techniques

de Mario Petrich, Norman R. Reilly ...

Series series Synthesis Collection of Technology (R0)
This book presents further developments and applications in the area of completely regular semigroup theory, beginning with applications of Polák’s theorem to obtain detailed descriptions of various kernel classes including the K-class covers of the kernel class of all bands. The important property of modularity of the lattice of varieties of completely regular semigroups is then employed to ... Leer más

$44,943 CLP

This book presents further developments and applications in the area of completely regular semigroup theory, beginning with applications of Polák’s theorem to obtain detailed descriptions of various kernel classes including the K-class covers of the kernel class of all bands. The important property of modularity of the lattice of varieties of completely regular semigroups is then employed to
... 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

$191,039 CLP

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
Human and Artificial Rationalities

Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings

Edición de Jean Baratgin, Baptiste Jacquet, Hiroshi Yama ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Second International Conference on Human and Artificial Rationalities, HAR 2023, which took place in Paris, France, in September 2023.The 18 full and 5 short papers included in this book were carefully reviewed and selected from 39 submissions. They were organized in topical sections as follows: Human and artificial thinking; human thinking and ... Leer más

$89,895 CLP

This book constitutes the proceedings of the Second International Conference on Human and Artificial Rationalities, HAR 2023, which took place in Paris, France, in September 2023.The 18 full and 5 short papers included in this book were carefully reviewed and selected from 39 submissions. They were organized in topical sections as follows: Human and artificial thinking; human thinking and
... 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

$157,324 CLP

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

$56,180 CLP

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

$61,799 CLP

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
Machine Learning, Blockchain, and Cyber Security in Smart Environments

Application and Challenges

Edición de Sarvesh Tanwar, Sumit Badotra, Ajay Rana ...

Series series Chapman & Hall/CRC Cyber-Physical Systems
Machine Learning, Cyber Security, and Blockchain in Smart Environment: Application and Challenges provides far-reaching insights into the recent techniques forming the backbone of smart environments, and addresses the vulnerabilities that give rise to the challenges in real-word implementation. The book focuses on the benefits related to the emerging applications such as machine learning, ... Leer más

$78,229 CLP

Machine Learning, Cyber Security, and Blockchain in Smart Environment: Application and Challenges provides far-reaching insights into the recent techniques forming the backbone of smart environments, and addresses the vulnerabilities that give rise to the challenges in real-word implementation. The book focuses on the benefits related to the emerging applications such as machine learning,
... Leer más
AI-Based Metaheuristics for Information Security and Digital Media

Edición de Apoorva S Shastri, Mangal Singh, Anand J. Kulkarni, Patrick Siarry ...

Series series Advances in Metaheuristics
This book examines the latest developments in Artificial Intelligence (AI)-based metaheuristics algorithms with applications in information security for digital media. It highlights the importance of several security parameters, their analysis, and validations for different practical applications. Drawing on multidisciplinary research including computer vision, machine learning, artificial ... Leer más

$71,799 CLP

This book examines the latest developments in Artificial Intelligence (AI)-based metaheuristics algorithms with applications in information security for digital media. It highlights the importance of several security parameters, their analysis, and validations for different practical applications. Drawing on multidisciplinary research including computer vision, machine learning, artificial
... Leer más
Formal Methods in Computer Science

de Jiacun Wang, William Tepfenhart ...

Series series Textbooks in Mathematics
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi ... Leer más

$135,034 CLP

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi
... Leer más
New Articulations of the Theory of Oppositions

Seventh World Congress on the Square of Opposition

Edición de Jean-Yves Beziau, Julio Michael Stern ...

Series series Springer Nature Proceedings excluding Computer Science
This proceedings volume stems from the 7th World Congress on the Square of Opposition, which took place in Leuven, Belgium, in September 2022, after the previous editions in Montreux, Switzerland in 2007, Corté, Corsica, in 2010, Beirut, Lebanon in 2012, Vatican City in 2014, Easter Island in 2016, and Crete in 2018. This interdisciplinary event gathered logicians, philosophers, mathematicians, ... Leer más

$279,833 CLP

This proceedings volume stems from the 7th World Congress on the Square of Opposition, which took place in Leuven, Belgium, in September 2022, after the previous editions in Montreux, Switzerland in 2007, Corté, Corsica, in 2010, Beirut, Lebanon in 2012, Vatican City in 2014, Easter Island in 2016, and Crete in 2018. This interdisciplinary event gathered logicians, philosophers, mathematicians,
... Leer más
Reasoning with Attitude

Foundations and Applications of Inferential Expressivism

de Luca Incurvati, Julian J. Schlöder ...

This is an open access title available under the terms of a CC BY-NC-ND 4.0 license. It is free to read at Oxford Academic and offered as a free PDF download from OUP and selected open access locations. Certain combinations of sounds or signs on paper are meaningful. What makes it the case that, unlike most combinations of sounds or signs, they have meaning? What is this meaning that they have? ... Leer más

$109,955 CLP

This is an open access title available under the terms of a CC BY-NC-ND 4.0 license. It is free to read at Oxford Academic and offered as a free PDF download from OUP and selected open access locations. Certain combinations of sounds or signs on paper are meaningful. What makes it the case that, unlike most combinations of sounds or signs, they have meaning? What is this meaning that they have?
... Leer más
Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)

de Donald Gillies ...

Series series Routledge Revivals
First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the ... Leer más

$88,948 CLP

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the
... Leer más
Cybersecurity for Internet of Health Things

Edición de Mohiuddin Ahmed, Nazim Choudhury ...

Healthcare is one of the industries that has embraced and benefitted the most from improved internet connectivity and usage. Since the number of healthcare service seekers across the world is growing at a rapid pace, service providers rely on the internet-connected ecosystem, which is also known as the critical health infrastructure, Internet of Health Things (IoHT) or Internet of Medical Things ... Leer más

$83,588 CLP

Healthcare is one of the industries that has embraced and benefitted the most from improved internet connectivity and usage. Since the number of healthcare service seekers across the world is growing at a rapid pace, service providers rely on the internet-connected ecosystem, which is also known as the critical health infrastructure, Internet of Health Things (IoHT) or Internet of Medical Things
... Leer más
Elements of Quasigroup Theory and Applications

de Victor Shcherbacov ...

Series series Chapman & Hall/CRC Monographs and Research Notes in Mathematics
Understanding Interaction is a book that explores the interaction between people and technology, in the broader context of the relations between the human made and the natural environments.It is not just about digital technologies – our computers, smart phones, the Internet – but all our technologies such as mechanical, electrical and electronic. Our ancestors started creating mechanical tools and ... Leer más

$251,859 CLP

Understanding Interaction is a book that explores the interaction between people and technology, in the broader context of the relations between the human made and the natural environments.It is not just about digital technologies – our computers, smart phones, the Internet – but all our technologies such as mechanical, electrical and electronic. Our ancestors started creating mechanical tools and
... Leer más
Multiple-Base Number System

Theory and Applications

de Vassil Dimitrov, Graham Jullien, Roberto Muscedere ...

Series series Circuits and Electrical Engineering
Computer arithmetic has become so fundamentally embedded into digital design that many engineers are unaware of the many research advances in the area. As a result, they are losing out on emerging opportunities to optimize its use in targeted applications and technologies. In many cases, easily available standard arithmetic hardware might not necessarily be the most efficient implementation ... Leer más

$120,029 CLP

Computer arithmetic has become so fundamentally embedded into digital design that many engineers are unaware of the many research advances in the area. As a result, they are losing out on emerging opportunities to optimize its use in targeted applications and technologies. In many cases, easily available standard arithmetic hardware might not necessarily be the most efficient implementation
... Leer más
Agent_Zero

Toward Neurocognitive Foundations for Generative Social Science

de Joshua M. Epstein ...

Series series Princeton Studies in Complexity
The Final Volume of the Groundbreaking Trilogy on Agent-Based ModelingIn this pioneering synthesis, Joshua Epstein introduces a new theoretical entity: Agent_Zero. This software individual, or "agent," is endowed with distinct emotional/affective, cognitive/deliberative, and social modules. Grounded in contemporary neuroscience, these internal components interact to generate observed, often far ... Leer más

$54,018 CLP

The Final Volume of the Groundbreaking Trilogy on Agent-Based ModelingIn this pioneering synthesis, Joshua Epstein introduces a new theoretical entity: Agent_Zero. This software individual, or "agent," is endowed with distinct emotional/affective, cognitive/deliberative, and social modules. Grounded in contemporary neuroscience, these internal components interact to generate observed, often far
... Leer más
Meaning, Quantification, Necessity

Themes in Philosophical Logic

de Martin Davies ...

Series series Routledge Library Editions: Logic
Originally published in 1981. This is a book for the final year undergraduate or first year graduate who intends to proceed with serious research in philosophical logic. It will be welcomed by both lecturers and students for its careful consideration of main themes ranging from Gricean accounts of meaning to two dimensional modal logic.The first part of the book is concerned with the nature of the ... Leer más

$55,722 CLP

Originally published in 1981. This is a book for the final year undergraduate or first year graduate who intends to proceed with serious research in philosophical logic. It will be welcomed by both lecturers and students for its careful consideration of main themes ranging from Gricean accounts of meaning to two dimensional modal logic.The first part of the book is concerned with the nature of the
... Leer más
Application of Fuzzy Logic to Social Choice Theory

de John N. Mordeson, Davender S. Malik, Terry D. Clark ...

Fuzzy social choice theory is useful for modeling the uncertainty and imprecision prevalent in social life yet it has been scarcely applied and studied in the social sciences. Filling this gap, Application of Fuzzy Logic to Social Choice Theory provides a comprehensive study of fuzzy social choice theory.The book explains the concept of a fuzzy max ... Leer más

$101,808 CLP

Fuzzy social choice theory is useful for modeling the uncertainty and imprecision prevalent in social life yet it has been scarcely applied and studied in the social sciences. Filling this gap, Application of Fuzzy Logic to Social Choice Theory provides a comprehensive study of fuzzy social choice theory.The book explains the concept of a fuzzy max
... Leer más
Truth and Falsehood

An Inquiry into Generalized Logical Values

de Yaroslav Shramko, Heinrich Wansing ...

Series series Mathematics and Statistics (R0)
The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a ... Leer más

$101,133 CLP

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a
... Leer más
Logic And Declarative Language

de M. Downward ...

Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater ... Leer más

$65,368 CLP

Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater
... 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

Trick or Truth?

Temporal Type Theory

Natural Deduction, Hybrid Systems and Modal Logics

Advances in Mathematical Logic

Completely Regular Semigroup Varieties

Exploring Negation, Modality and Proof

Human and Artificial Rationalities

Selected Topics in Probabilistic Safety Assessment

Sets, Logic and Maths for Computing

Introduction to Discrete Mathematics via Logic and Proof

Machine Learning, Blockchain, and Cyber Security in Smart Environments

AI-Based Metaheuristics for Information Security and Digital Media

Formal Methods in Computer Science

New Articulations of the Theory of Oppositions

Reasoning with Attitude

Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)

Cybersecurity for Internet of Health Things

Elements of Quasigroup Theory and Applications

Multiple-Base Number System

Agent_Zero

Meaning, Quantification, Necessity

Application of Fuzzy Logic to Social Choice Theory

Truth and Falsehood

Logic And Declarative Language