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

Mathematical Foundations of Information Sciences

de Esfandiar Haghverdi, Liugen Zhu ...

This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problems and quite a few ... Leer más

$26.99 USD

This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problems and quite a few
... Leer más
The Philosophy Of Mathematics

de Auguste Comte ...

The philosophy of mathematics by the French philosopher,Auguste Comte.He is sometimes regarded as the first philosopher of science in the modern sense of the term.The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and ... Leer más

$2.99 USD

The philosophy of mathematics by the French philosopher,Auguste Comte.He is sometimes regarded as the first philosopher of science in the modern sense of the term.The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and
... Leer más
Proof, Computation and Agency

Logic at the Crossroads

Edición de Johan van Benthem, Amitabha Gupta, Rohit Parikh ...

Series Libro 352 - Synthese Library
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social ... Leer más

$130.39 USD

Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social
... Leer más
The Logic of Time

A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

de Johan van Benthem ...

Series series Philosophy and Religion (R0)
That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. Until then, the only outlet for a philosophical interest known to me was the production of poetry or essays. These means of expression remain inconclusive, however, with a tendency towards profuseness. The logical discipline provides so me intellectual backbone, without excluding the ... Leer más

$104.49 USD

That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. Until then, the only outlet for a philosophical interest known to me was the production of poetry or essays. These means of expression remain inconclusive, however, with a tendency towards profuseness. The logical discipline provides so me intellectual backbone, without excluding the
... Leer más
Recent Progress in General Topology III

Edición de K.P. Hart, J. van Mill, P. Simon ...

The book presents surveys describing recent developments in most of the primary subfields of General Topology, and its applications to Algebra and Analysis during the last decade, following the previous editions (North Holland, 1992 and 2002). The book was prepared in connection with the Prague Topological Symposium, held in 2011. During the last 10 years the focus in General Topology changed and ... Leer más

$121.09 USD

The book presents surveys describing recent developments in most of the primary subfields of General Topology, and its applications to Algebra and Analysis during the last decade, following the previous editions (North Holland, 1992 and 2002). The book was prepared in connection with the Prague Topological Symposium, held in 2011. During the last 10 years the focus in General Topology changed and
... Leer más
Recent Trends in Algebraic Development Techniques

23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Edición de Phillip James, Markus Roggenbach ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations ... Leer más

$53.09 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations
... Leer más
The Unknown as an Engine for Science

An Essay on the Definite and the Indefinite

de Hans J. Pirner ...

Traducido por William D. Brewer ...

Series series Physics and Astronomy (R0)
This book explores the limits of our knowledge. The author shows how uncertainty and indefiniteness not only define the borders confining our understanding, but how they feed into the process of discovery and help to push back these borders. Starting with physics the author collects examples from economics, neurophysiology, history, ecology and philosophy.The first part shows how information helps ... Leer más

$53.09 USD

This book explores the limits of our knowledge. The author shows how uncertainty and indefiniteness not only define the borders confining our understanding, but how they feed into the process of discovery and help to push back these borders. Starting with physics the author collects examples from economics, neurophysiology, history, ecology and philosophy.The first part shows how information helps
... Leer más
Mathematische Geschichten III – Eulerscher Polyedersatz, Schubfachprinzip und Beweise

Für begabte Schülerinnen und Schüler in der Unterstufe

de Susanne Schindler-Tschirner, Werner Schindler ...

Series series Life Science and Basic Disciplines (German Language)
Einsatzfertige Lerneinheiten vermitteln fundamentale mathematische Techniken, die weit über die Unterstufe hinaus von Bedeutung sind. Die Lerninhalte eignen sich auch zur gezielten Vorbereitung auf Mathematikwettbewerbe. Die Schüler*innen lernen das Schubfachprinzip und den Eulerschen Polyedersatz kennen und führen Beweise in verschiedenen Kontexten. Es werden abwechslungsreiche Bewegungsaufgaben ... Leer más

$5.50 USD

Einsatzfertige Lerneinheiten vermitteln fundamentale mathematische Techniken, die weit über die Unterstufe hinaus von Bedeutung sind. Die Lerninhalte eignen sich auch zur gezielten Vorbereitung auf Mathematikwettbewerbe. Die Schüler*innen lernen das Schubfachprinzip und den Eulerschen Polyedersatz kennen und führen Beweise in verschiedenen Kontexten. Es werden abwechslungsreiche Bewegungsaufgaben
... Leer más
Fathoming Gödel

de Jim Spinosa ...

The conclusion reached in "Fathoming Gödel" is that Gödel's 1931 paper is a shell game. It is based on several errors that are well camouflaged. Some shortcomings in the paper are openly admitted although they are downplayed, and errors are also produced in an effort to force a particular conclusion. This critique is limited to Gödel's first incompleteness theorem as translated by Martin Hirzel. ... Leer más

Gratis

The conclusion reached in "Fathoming Gödel" is that Gödel's 1931 paper is a shell game. It is based on several errors that are well camouflaged. Some shortcomings in the paper are openly admitted although they are downplayed, and errors are also produced in an effort to force a particular conclusion. This critique is limited to Gödel's first incompleteness theorem as translated by Martin Hirzel.
... Leer más
The Game of Logic

de Lewis Carroll ...

Transforming the complexities of formal logic into an engaging pastime, this book introduces a board game designed to teach the rules of clear thinking. Through the use of counters and diagrams, the reader learns to navigate the pitfalls of fallacious reasoning and embrace the clarity of valid arguments. It is a masterful example of how education can be seamlessly integrated with entertainment and ... Leer más

$1.99 USD

Transforming the complexities of formal logic into an engaging pastime, this book introduces a board game designed to teach the rules of clear thinking. Through the use of counters and diagrams, the reader learns to navigate the pitfalls of fallacious reasoning and embrace the clarity of valid arguments. It is a masterful example of how education can be seamlessly integrated with entertainment and
... Leer más
Gnomes in the Fog

The Reception of Brouwer’s Intuitionism in the 1920s

de Dennis E. Hesseling ...

Series series Mathematics and Statistics (R0)
The significance of foundational debate in mathematics that took place in the 1920s seems to have been recognized only in circles of mathematicians and philosophers. A period in the history of mathematics when mathematics and philosophy, usually so far away from each other, seemed to meet. The foundational debate is presented with all its brilliant contributions and its shortcomings, its new ideas ... Leer más

$95.49 USD

The significance of foundational debate in mathematics that took place in the 1920s seems to have been recognized only in circles of mathematicians and philosophers. A period in the history of mathematics when mathematics and philosophy, usually so far away from each other, seemed to meet. The foundational debate is presented with all its brilliant contributions and its shortcomings, its new ideas
... Leer más
Logical Foundations of Computer Science

International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Edición de Sergei Artemov, Anil Nerode ...

Series series Springer Nature Proceedings excluding Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Leer más

$53.09 USD

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata,
... 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

$68.99 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
The Life and Work of Leon Henkin

Essays on His Contributions

Edición de María Manzano, Ildikó Sain, Enrique Alonso ...

Series series Mathematics and Statistics (R0)
This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on “The completeness of formal systems” under the direction of Alonzo Church. Upon the invitation of Alfred Tarski, Henkin joined the Group in Logic and the Methodology of ... Leer más

$53.09 USD

This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on “The completeness of formal systems” under the direction of Alonzo Church. Upon the invitation of Alfred Tarski, Henkin joined the Group in Logic and the Methodology of
... Leer más
Critical Thinking for Teens: Navigate Through High School With Logic, Problem-Solving & the Art of Questioning to Spot the Truth, Misinformation and Wisdom in Everything

de Nicholas Bright ...

Are you a teen or a parent looking for a way to sharpen your critical thinking skills? Look no further than Critical Thinking for Teens – your guide to unlocking the potential of your mind!In the rapidly changing world, the ability to think critically is more valuable than ever. This book provides teens and young adults with the tools they need to analyze information, solve problems, and make ... Leer más

$4.99 USD

Are you a teen or a parent looking for a way to sharpen your critical thinking skills? Look no further than Critical Thinking for Teens – your guide to unlocking the potential of your mind!In the rapidly changing world, the ability to think critically is more valuable than ever. This book provides teens and young adults with the tools they need to analyze information, solve problems, and make
... Leer más
The Connectives in Logic and Language

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

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

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

$58.39 USD

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

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

$253.39 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
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Communications of NII Shonan Meetings

Edición de Yamine Ait-Ameur, Shin Nakajima, Dominique Méry ...

This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and ... Leer más

$95.49 USD

This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and
... Leer más
Immanent Reasoning or Equality in Action

A Plaidoyer for the Play Level

de Shahid Rahman, Zoe McConaughey, Ansten Klev, Nicolas Clerbout ...

Series series Philosophy and Religion (R0)
This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion.One of the chief ideas animating this study is that the ... Leer más

$53.09 USD

This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion.One of the chief ideas animating this study is that the
... Leer más
Arithmetic and Algebraic Geometry

A Mathematical Tribute to Yuri Manin

Edición de Yuri Tschinkel ...

Series series Mathematics and Statistics (R0)
This book is a tribute to the memory of Yuri Ivanovich Manin, who passed away on January 7, 2023. Manin was one of the giants of modern mathematics. His work covered a wide range of fields, including logic, number theory, geometry, mathematical physics, theoretical computer science, and linguistics. The contributions collected here are on topics close to his life-long passion: arithmetic and ... Leer más

$169.69 USD

This book is a tribute to the memory of Yuri Ivanovich Manin, who passed away on January 7, 2023. Manin was one of the giants of modern mathematics. His work covered a wide range of fields, including logic, number theory, geometry, mathematical physics, theoretical computer science, and linguistics. The contributions collected here are on topics close to his life-long passion: arithmetic and
... Leer más
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory

Edición de Radko Mesiar, Susanne Saminger-Platz ...

Series series Engineering (R0)
The book is a collection of contributions by leading experts, developed around traditional themes discussed at the annual Linz Seminars on Fuzzy Set Theory. The different chapters have been written by former PhD students, colleagues, co-authors and friends of Peter Klement, a leading researcher and the organizer of the Linz Seminars on Fuzzy Set Theory. The book also includes advanced findings on ... Leer más

$95.49 USD

The book is a collection of contributions by leading experts, developed around traditional themes discussed at the annual Linz Seminars on Fuzzy Set Theory. The different chapters have been written by former PhD students, colleagues, co-authors and friends of Peter Klement, a leading researcher and the organizer of the Linz Seminars on Fuzzy Set Theory. The book also includes advanced findings on
... Leer más
Gödel's Incompleteness Theorems

de Turing Editorial Team ...

This book is a Weekend Pocketbook on One of Mathematics' Biggest Awakenings, The Gödel's Incompleteness Theorem. This discovery that changed how we understand truth, proof, mathematics, and the limits of certainty. Written in everyday language, we explore how one quiet mathematician revealed that even mathematics has truths it cannot fully capture.What happens when the most certain subject humans ... Leer más

$1.99 USD o gratis con Kobo Plus

This book is a Weekend Pocketbook on One of Mathematics' Biggest Awakenings, The Gödel's Incompleteness Theorem. This discovery that changed how we understand truth, proof, mathematics, and the limits of certainty. Written in everyday language, we explore how one quiet mathematician revealed that even mathematics has truths it cannot fully capture.What happens when the most certain subject humans
... Leer más
Methods of Argumentation

de Douglas Walton ...

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

$31.99 USD

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

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

Mathematical Foundations of Information Sciences

The Philosophy Of Mathematics

Proof, Computation and Agency

The Logic of Time

Recent Progress in General Topology III

Recent Trends in Algebraic Development Techniques

The Unknown as an Engine for Science

Mathematische Geschichten III – Eulerscher Polyedersatz, Schubfachprinzip und Beweise

Fathoming Gödel

The Game of Logic

Gnomes in the Fog

Logical Foundations of Computer Science

A Course on Mathematical Logic

The Life and Work of Leon Henkin

Critical Thinking for Teens: Navigate Through High School With Logic, Problem-Solving & the Art of Questioning to Spot the Truth, Misinformation and Wisdom in Everything

The Connectives in Logic and Language

A Protocol-theoretic Framework for the Logic of Epistemic Norms

Model Validation and Uncertainty Quantification, Volume 3

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Immanent Reasoning or Equality in Action

Arithmetic and Algebraic Geometry

On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory

Gödel's Incompleteness Theorems

Methods of Argumentation