Skip to main content
Search Button
Chile Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

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
artículosartículo

Recomendado para ti

Loading...

eBooks de Lógica

Si te gustan los eBooks de Lógica, seguro que te encanta esta selección.
Mostrando 1 - 24 de 1152 resultados
Skip side bar filters

  • 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

    $189,950 CLP

  • 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

    $115,580 CLP

  • 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,924 CLP

  • 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

    $237,939 CLP

  • 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

    $54,314 CLP

  • 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

    $130,367 CLP

  • 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

    $12,081 CLP

  • 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

    $184,690 CLP

  • 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

    $152,097 CLP

  • 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

    $141,232 CLP

  • 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

    $172,719 CLP

  • 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

    $259,669 CLP

  • The Error of Truth

    How History and Mathematics Came Together to Form Our Character and Shape Our Worldview

    de Steven J. Osterlind ...
    Quantitative thinking is our inclination to view natural and everyday phenomena through a lens of measurable events, with forecasts, odds, predictions, and likelihood playing a dominant part. The Error of Truth recounts the astonishing and unexpected tale of how quantitative thinking came to be, and its rise to primacy in the nineteenth and early twentieth centuries. Additionally, it considers how ... Leer más

    $27,980 CLP

  • Logic

    de Wilfrid Hodges ...
    If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material ... Leer más

    $11,270 CLP

  • Introductory Concepts for Abstract Mathematics

    de Kenneth E. Hummel ...
    Beyond calculus, the world of mathematics grows increasingly abstract and places new and challenging demands on those venturing into that realm. As the focus of calculus instruction has become increasingly computational, it leaves many students ill prepared for more advanced work that requires the ability to understand and construct proofs. Introductory Concepts for Abstract Mathematics helps ... Leer más

    $96,509 CLP

  • Symbolic Logic - The Original Classic Edition

    de Lewis Carroll ...
    Yes, this is the Lewis Carroll who wrote Alice in Wonderland, and this work shows the same quirky humor. Here you see Carroll the mathematician at his playful best. Don't let the title of the first work mislead you--this isn't about modern symbolic logic but about ways of expressing classical logic with symbols. It's loaded with amusing problems to delight any mathematical puzzler. He turns logic ... Leer más

    $7,270 CLP

  • How to Solve It

    A New Aspect of Mathematical Method

    de G. Polya ...
    Series series Princeton Science Library
    A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight.In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be "reasoned" out--from building a bridge to winning a game of anagrams. Generations of readers have ... Leer más

    $16,057 CLP

  • 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,699 CLP o gratis con Kobo Plus

  • Intelligere

    Introduzione alla logica pura

    de Fabrizio Ranzani ...
    La logica è uno strumento potente, ma spesso percepito come astratto, difficile, distante dalla vita di tutti i giorni. In questo libro, Ranzani ne offre una decifrazione chiara e accessibile a chiunque, rivelandone l’essenza e mostrando come possa essere compresa e dominata.Pagina dopo pagina, l’autore ci accompagna a scoprire come le strutture logiche siano già presenti nel linguaggio che usiamo ... Leer más

    $8,118 CLP o gratis con Kobo Plus

  • The New Mathematical Coloring Book

    Mathematics of Coloring and the Colorful Life of Its Creators

    de Alexander Soifer ...
    Series series Mathematics and Statistics (R0)
    The New Mathematical Coloring Book (TNMCB) includes striking results of the past 15-year renaissance that produced new approaches, advances, and solutions to problems from the first edition. A large part of the new edition “Ask what your computer can do for you,” presents the recent breakthrough by Aubrey de Grey and works by Marijn Heule, Jaan Parts, Geoffrey Exoo, and Dan Ismailescu. TNMCB ... Leer más

    $206,420 CLP

  • Logical Studies of Paraconsistent Reasoning in Science and Mathematics

    Edición de Holger Andreas, Peter Verdée ...
    Series series Mathematics and Statistics (R0)
    This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the ... Leer más

    $54,314 CLP

  • Generalized Measure Theory

    de Zhenyuan Wang, George J. Klir ...
    Series series Mathematics and Statistics (R0)
    In 1992 we published a book entitled Fuzzy Measure Theory (Plenum Press, New York), in which the term ‘‘fuzzy measure’’ was used for set functions obtained by replacing the additivity requirement of classical measures with weaker requirements of monotonicity with respect to set inclusion and con- nuity. That is, the book dealt with nonnegative set functions that were mo- tone, vanished at the ... Leer más

    $54,314 CLP

  • Unsere Zukunft wird gut (sehr wahrscheinlich)

    Analysen und Einsichten zur Reise der Menschheit

    de Thomas Unnerstall ...
    Series series Life Science and Basic Disciplines (German Language)
    Hat die Geschichte des Menschen eine Richtung, ein Ziel – oder ist sie nur ein ewiges Auf und Ab von Kulturen, Regierungen, Gesellschaftssystemen, Wirtschaftsformen, Meinungen? Ist sie also von Gesetzmäßigkeit oder von Zufall geprägt?Diese Frage bewegt Philosophen und Historiker seit Jahrtausenden.Bis vor kurzem jedoch beruhten die Antworten auf einer sehr lückenhaften, oft auf die jeweils eigene ... Leer más

    $21,422 CLP

  • Mathematical Labyrinths. Pathfinding

    de Boris Pritsker ...
    Series Libro 22 - Problem Solving In Mathematics And Beyond
    Mathematical Labyrinths. Pathfinding provides an overview of various non-standard problems and the approaches to their solutions. The essential idea is a framework laid upon the reader on how to solve nonconventional problems — particularly in the realm of mathematics and logic. It goes over the key steps in approaching a difficult problem, contemplating a plan for its solution, and discusses set ... Leer más

    $28,955 CLP