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

Kobo Rakuten

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


Meilleures séries dans ce pays : Canada

1-12 sur 12 résultats pour « barteld kooi »
Skip side bar filters

  • One Hundred Prisoners and a Light Bulb

    par Hans van Ditmarsch, Barteld Kooi ...
    Collections series Mathematics and Statistics (R0)
    A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no ... En savoir plus

    $25.69 CAD

Les lecteurs de ce roman ont aussi aimé

  • Introducing Plato

    A Graphic Guide

    par Dave Robinson ...
    Collections Livre 0 - Graphic Guides
    "Introducing Plato" begins by explaining how philosophers like Socrates and Pythagoras influenced Plato's thought. It provides a clear account of Plato's puzzling theory of knowledge, and explains how this theory then directed his provocative views on politics, ethics and individual liberty. It offers detailed critical commentaries on all of the key doctrines of Platonism, especially the very odd ... En savoir plus

    $6.99 CAD ou Gratuit avec Kobo Plus

  • Set Theory

    With an Introduction to Real Point Sets

    par Abhijit Dasgupta ...
    What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birth to set theory. This textbook presents classical set theory in an intuitive but concrete manner.To allow flexibility of topic selection in courses, the book is organized into four relatively ... En savoir plus

    $102.99 CAD

  • Visual Reasoning with Diagrams

    Modifié par Amirouche Moktefi, Sun-Joo Shin ...
    Collections series Mathematics and Statistics (R0)
    Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early ... En savoir plus

    $115.99 CAD

  • Probability Logics

    Probability-Based Formalization of Uncertain Reasoning

    par Zoran Ognjanović, Miodrag Rašković, Zoran Marković ...
    Collections series Computer Science (R0)
    The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the ... En savoir plus

    $153.99 CAD

  • Hybrid Logic and its Proof-Theory

    par Torben Braüner ...
    Collections 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

    $115.29 CAD

  • Structural Analysis of Non-Classical Logics

    The Proceedings of the Second Taiwan Philosophical Logic Colloquium

    Modifié par Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin ...
    Collections series Springer Nature Proceedings excluding Computer Science
    This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate ... En savoir plus

    $115.29 CAD

  • Logic and Philosophy of Mathematics in the Early Husserl

    par Stefania Centrone ...
    Collections series Philosophy and Religion (R0)
    Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics. Unlike most phenomenologists, the author refrains from ... En savoir plus

    $115.99 CAD

  • Proof, Computation and Agency

    Logic at the Crossroads

    Modifié par Johan van Benthem, Amitabha Gupta, Rohit Parikh ...
    Collections Livre 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 ... En savoir plus

    $179.99 CAD

  • Truth and Falsehood

    An Inquiry into Generalized Logical Values

    par Yaroslav Shramko, Heinrich Wansing ...
    Collections 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 ... En savoir plus

    $115.29 CAD

  • The Argument of Mathematics

    Modifié par Andrew Aberdein, Ian J Dove ...
    Collections series Philosophy and Religion (R0)
    Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. Argumentation theory studies reasoning and argument, and especially those aspects not addressed, or not addressed well, by formal deduction. The philosophy of mathematical practice diverges from mainstream philosophy of ... En savoir plus

    $115.29 CAD

  • Dependence Logic

    Theory and Applications

    Modifié par Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer ...
    Collections series Mathematics and Statistics (R0)
    In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write ... En savoir plus

    $64.09 CAD