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

  • 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

  • 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

    $97.55 CAD

  • Proofs and Algorithms

    An Introduction to Logic and Computability

    par Gilles Dowek ...
    Collections series Computer Science (R0)
    Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results ... En savoir plus

    $44.29 CAD

  • On the Logic and Learning of Language

    par Sean A. Fulop ...
    This book presents the author's research on automatic learning procedures for categorial grammars of natural languages. The research program spans a number of intertwined disciplines, including syntax, semantics, learnability theory, logic, and computer science. The theoretical framework employed is an extension of categorial grammar that has come to be called multimodal or type-logical grammar. ... En savoir plus

    $11.99 CAD