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


« peter a fejer »

1-12 sur 12 résultats pour « peter a fejer »
Skip side bar filters

  • Logical Foundations of Computer Science

    (In 2 volumes)Vol 1: Propositional LogicVol 2: Predicate Logic

    par Peter A Fejer, Dan A Simovici ...
    Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes — propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms — Hilbert/Frege systems, tableaux, sequents, and natural deduction in ... En savoir plus

    $395.99 CAD

Les lecteurs de ce roman ont aussi aimé

  • Computability and Logic

    par George S. Boolos, John P. Burgess, Richard C. Jeffrey ...
    Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised ... En savoir plus

    $40.99 CAD

  • The Nuts and Bolts of Proofs

    An Introduction to Mathematical Proofs

    par Antonella Cupillari ...
    The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs. The second chapter of the book discusses the techniques in proving if/then statements by contrapositive and proofing by contradiction. It also includes the negation statement, and/or. It ... En savoir plus

    $35.99 CAD

  • Computability Theory

    An Introduction to Recursion Theory

    par Herbert B. Enderton ...
    Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion ... En savoir plus

    $55.99 CAD

  • Beginner's Further Guide To Mathematical Logic, A

    par Raymond M Smullyan ...
    'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on ... En savoir plus

    $20.89 CAD

  • The Language of Mathematics

    Utilizing Math in Practice

    par Robert L. Baber ...
    A new and unique way of understanding the translation of concepts and natural language into mathematical expressionsTransforming a body of text into corresponding mathematical expressions and models is traditionally viewed and taught as a mathematical problem; it is also a task that most find difficult. The Language of Mathematics: Utilizing Math in Practice reveals a new way to view this process ... En savoir plus

    $139.99 CAD

  • Transition to Proofs

    par Simon Rubinstein-Salzedo ...
    This textbook is aimed at transitioning high-school students who have already developed proficiency in mathematical problem solving from numerical-answer problems to proof-based mathematics. It serves to guide students on how to write and understand mathematical proofs. It covers proof techniques that are commonly used in several areas of mathematics, especially number theory, combinatorics, and ... En savoir plus

    $41.99 CAD

  • Theories, Sites, Toposes

    Relating and studying mathematical theories through topos-theoretic 'bridges'

    par Olivia Caramello ...
    According to Grothendieck, the notion of topos is "the bed or deep river where come to be married geometry and algebra, topology and arithmetic, mathematical logic and category theory, the world of the continuous and that of discontinuous or discrete structures". It is what he had "conceived of most broad to perceive with finesse, by the same language rich of geometric resonances, an "essence" ... En savoir plus

    $119.99 CAD

  • Introduction to Mathematical Logic

    par Jayant Ramaswamy ...
    "Introduction to Mathematical Logic" is tailored for undergraduate students seeking a comprehensive introduction to this essential field of mathematics. We provide an accessible yet rigorous exploration of the principles, methods, and applications of mathematical logic.From the foundations of propositional and predicate logic to advanced topics like Gödel's incompleteness theorems and ... En savoir plus

    $42.02 CAD ou Gratuit avec Kobo Plus

  • Problems And Proofs In Real Analysis: Theory Of Measure And Integration

    par James J Yeh ...
    This volume consists of the proofs of 391 problems in Real Analysis: Theory of Measure and Integration (3rd Edition).Most of the problems in Real Analysis are not mere applications of theorems proved in the book but rather extensions of the proven theorems or related theorems. Proving these problems tests the depth of understanding of the theorems in the main text.This volume will be especially ... En savoir plus

    $59.99 CAD

  • Computational Logic and Set Theory

    Applying Formalized Logic to Analysis

    par Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo ...
    Collections series Computer Science (R0)
    This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a ... En savoir plus

    $64.09 CAD

  • Mathematical Logic

    par Joseph R. Shoenfield ...
    This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and ... En savoir plus

    $86.56 CAD