Skip to main content
Search Button
Librairie Kobo Luxembourg Cartes cadeau Aide

Kobo Rakuten

Liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...

eBooks Logique

Si vous aimez les titres Logique, vous allez adorer cette sélection.
Affichage des résultats 1 - 24 sur 1144
Skip side bar filters

  • Mathematical Thinking - For People Who Hate Math

    Level Up Your Analytical and Creative Thinking Skills. Excel at Problem-Solving and Decision-Making.

    par Albert Rutherford ...
    Struggling with math? Are numbers your #1 enemy?Learn the EXACT thinking tools the top mathematicians use to utilize their math skills in real life and radically change how you shop, save, and think!Achieve your full potential with unlocking your mathematical mind – even if you think you don’t have one.Math is taught in a dull, authoritarian, and limited way. You either know how to do the ... En savoir plus

    4,33 € ou Gratuit avec Kobo Plus

  • Ludwig Wittgenstein: Dictating Philosophy

    To Francis Skinner – The Wittgenstein-Skinner Manuscripts

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

    41,70 €

  • Algorithms for Constructing Computably Enumerable Sets

    par Kenneth J. Supowit ...
    Collection series Computer Science (R0)
    Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scientists.Specifically, the book explains, organizes, and compares various algorithmic techniques used in computability theory (which was formerly called "classical recursion theory"). This area of ... En savoir plus

    55,61 €

  • Scientific Philosophy

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

    74,15 €

  • Hybrid Logic and its Proof-Theory

    par Torben Braüner ...
    Collection series Mathematics and Statistics (R0)
    This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a ... En savoir plus

    83,42 €

  • God and Abstract Objects

    The Coherence of Theism: Aseity

    par William Lane Craig ...
    This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic ... En savoir plus

    139,04 €

  • Application of Fuzzy Logic to Social Choice Theory

    par 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 ... En savoir plus

    80,45 €

  • Philosophy's Loss of Logic to Mathematics

    An Inadequately Understood Take-Over

    par Woosuk Park ...
    Collection series Philosophy and Religion (R0)
    This book offers a historical explanation of important philosophical problems in logic and mathematics, which have been neglected by the official history of modern logic. It offers extensive information on Gottlob Frege’s logic, discussing which aspects of his logic can be considered truly innovative in its revolution against the Aristotelian logic. It presents the work of Hilbert and his ... En savoir plus

    55,61 €

  • Hiroakira Ono on Substructural Logics

    Modifié par Nikolaos Galatos, Kazushige Terui ...
    Collection series Philosophy and Religion (R0)
    This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with detailed surveys on universal algebra, abstract algebraic logic, topological dualities, and connections ... En savoir plus

    129,77 €

  • Mathematical Intelligence

    What We Have that Machines Don't

    par Junaid Mubeen ...
    There's so much talk about the threat posed by intelligent machines that it sometimes seems as though we should surrender to our robot overlords. But Junaid Mubeen isn't ready to throw in the towel just yet.As far as he is concerned, we have the creative edge over machines, because of a remarkable system of thought that humans have developed over the millennia. It's familiar to us all, but often ... En savoir plus

    10,08 €

  • What Makes Us Smart

    The Computational Logic of Human Cognition

    par Samuel J. Gershman ...
    How a computational framework can account for the successes and failures of human cognitionAt the heart of human intelligence rests a fundamental puzzle: How are we incredibly smart and stupid at the same time? No existing machine can match the power and flexibility of human perception, language, and reasoning. Yet, we routinely commit errors that reveal the failures of our thought processes. What ... En savoir plus

    29,65 €

  • Godel's Proof

    par Ernest Nagel, James R. Newman ...
    Collection series Routledge Classics
    'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' – The GuardianIn 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics was partly based on ... En savoir plus

    18,92 €

  • Logic And Declarative Language

    par 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 ... En savoir plus

    49,68 €

  • Das Primzahlensystem

    Ursache und Wirkung

    par P. J. Kaluza ...
    Collection Livre 1 - contrived.de
    Es wird eine Systemtabelle erstellt mit der die Ursache der Primzahlen erkennbar, nachvollziehbar wird. Empfohlen für eki (emotionale künstliche Intelligenz) und alle anderen Zahleninteressierten. ... En savoir plus

    2,99 €

  • The Rise of Modern Logic: from Leibniz to Frege

    Modifié par Dov M. Gabbay, John Woods ...
    Collection Livre 3 - Handbook of the History of Logic
    With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'. Virtually every working logician is aware ... En savoir plus

    198,06 €

  • Reasoning Web. Declarative Artificial Intelligence

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

    Modifié par Mantas Šimkus, Ivan Varzinczak ...
    Collection series Computer Science (R0)
    The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school ... En savoir plus

    74,15 €

  • Canonical Ramsey Theory on Polish Spaces

    par Vladimir Kanovei, Marcin Sabok, Jindřich Zapletal ...
    Collection Livre 202 - Cambridge Tracts in Mathematics
    This book lays the foundations for an exciting new area of research in descriptive set theory. It develops a robust connection between two active topics: forcing and analytic equivalence relations. This in turn allows the authors to develop a generalization of classical Ramsey theory. Given an analytic equivalence relation on a Polish space, can one find a large subset of the space on which it has ... En savoir plus

    119,37 €

  • Nonclassical Logics and Their Applications

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

    Modifié par Shier Ju, Alessandra Palmigiano, Minghui Ma ...
    Collection series Springer Nature Proceedings excluding Computer Science
    This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area. Non-classical logics are logical formalisms that violate or go beyond classical logic laws, and their specific features make them particularly suited to describing and reason about aspects of social interaction. The richness and diversity ... En savoir plus

    83,42 €

  • Greek, Indian and Arabic Logic

    Modifié par Dov M. Gabbay, John Woods ...
    Collection Livre 1 - Handbook of the History of Logic
    Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gödel, Logic and the Modalities in the Twentieth Century, and The Many-Valued ... En savoir plus

    162,01 €

  • Iris Biometric Model for Secured Network Access

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

    61,52 €

  • Der Satz des Pythagoras in 365 Beweisen

    Mathematische, kulturgeschichtliche und didaktische Überlegungen zum vielleicht berühmtesten Theorem der Mathematik

    par Mario Gerwig ...
    Collection series Life Science and Basic Disciplines (German Language)
    Dieses Buch präsentiert etwa 365 verschiedene Beweise in einer sehr anschaulichen und verständlichen Form und ordnet außerdem den Satz sowie seine Beweisvielfalt fachwissenschaftlich, kulturgeschichtlich, didaktisch und bildungstheoretisch ein. Darüber hinaus enthält es eine ausführliche Darstellung einer mehrfach praxiserprobten Unterrichtseinheit für allgemeinbildende Schulen, in deren Zentrum ... En savoir plus

    30,37 €

  • Combinatorial Set Theory of C*-algebras

    par Ilijas Farah ...
    Collection series Mathematics and Statistics (R0)
    This book explores and highlights the fertile interaction between logic and operator algebras, which in recent years has led to the resolution of several long-standing open problems on C*-algebras. The interplay between logic and operator algebras (C*-algebras, in particular) is relatively young and the author is at the forefront of this interaction. The deep level of scholarship contained in ... En savoir plus

    101,96 €

  • Kurt Gödel o sobre las paradojas

    par Andrés Felipe López López ...
    Collection series Ciencias humanas
    En los contrarios y la tensión entre ellos, constituyentes del ser humano, William Blake descubrió fuerzas poéticas o creativas; el hombre es la unidad en la que se integran el paraíso y el infierno, los dioses y todos los mundos. Gilbert Keith Ches terton hizo de las paradojas un método de investigación. Franz Kafka convirtió la paradoja en estética y el enigma en poder configurativo. Kurt Gödel ... En savoir plus

    6,99 € ou Gratuit avec Kobo Plus

  • An Introduction to Cryptography

    par Richard A. Mollin ...
    Collection series Discrete Mathematics and Its Applications
    Continuing a bestselling tradition, An Introduction to Cryptography, Second Edition provides a solid foundation in cryptographic concepts that features all of the requisite background material on number theory and algorithmic complexity as well as a historical look at the field. With numerous additions and restructured material, this edition ... En savoir plus

    124,24 €