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 « rohit parikh »
Skip side bar filters

  • 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

Les lecteurs de ce roman ont aussi aimé

  • 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

  • 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

  • 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

  • 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

  • Conditionals and Modularity in General Logics

    par Dov M. Gabbay, Karl Schlechta ...
    Collections series Computer Science (R0)
    This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity ... En savoir plus

    $115.99 CAD

  • Rohit Parikh on Logic, Language and Society

    Modifié par Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam ...
    Collections series Philosophy and Religion (R0)
    This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research.This volume is part of Springer’s book series ... En savoir plus

    $128.99 CAD

  • David Makinson on Classical Methods for Non-Classical Problems

    Modifié par Sven Ove Hansson ...
    Collections series Philosophy and Religion (R0)
    The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its ... En savoir plus

    $179.99 CAD

  • Mathematical Logic for Computer Science

    par Mordechai Ben-Ari ...
    Collections series Computer Science (R0)
    Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems ... En savoir plus

    $76.99 CAD