Artboard 33atençãoArtboard 18atualizarconectividadeArtboard 42boletocarrinhocartãoArtboard 45cartão SaraivacelularArtboard 42Artboard 23checkArtboard 28Artboard 17?compararcompartilharcompartilhar ativoArtboard 28Artboard 43Artboard 49Artboard 47Artboard 15Artboard 32ebookArtboard 22Artboard 5Artboard 25Artboard 1Artboard 42Artboard 11fecharfilmesArtboard 23gamesArtboard 4Artboard 9Artboard 6hqimportadosinformáticaArtboard 7Artboard 3Artboard 12Artboard 25Artboard 34Artboard 43Artboard 44curtirArtboard 24Artboard 13livrosArtboard 24Artboard 31menumúsicaArtboard 27Artboard 30Artboard 36Artboard 44outrospapelariaArtboard 17Artboard 6Artboard 27Artboard 30Artboard 29Artboard 26Artboard 2Artboard 20Artboard 35estrelaestrela ativorelógiobuscaArtboard 50Artboard 26toda saraivaArtboard 40Artboard 21Artboard 10Artboard 37usuárioArtboard 46Artboard 33Artboard 8seta

Resultados para: logic matematica

Refinar por
116 produtos
  • Logic In Elementary Mathematics

    Exner, Robert M
    (9730476)

    This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible to those trained in standard elementary mathematics...

    sob encomenda
  • Logic Made Easy

    Bennett,Deborah J.
    (541806)

    A collection of anecdotal histories defines the relationship between language and logic, sharing visual examples and puzzles that can be used by readers to raise test scores and recognize the illogical in everyday things. By the author of Randomness....

    sob encomenda
  • Introduction To Mathematical Logic, Fifth...

    Mendelson,Elliott
    (7306493)

    Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set...

    sob encomenda
  • Modal Logic

    Blackburn,Patrick; De Rijke,Maarten; Venema,Yde
    (631758)

    Modal Logic

    sob encomenda
  • Dover Books On Mathematics - A Beginner's...

    Smullyan, Raymond M
    (9349625)

    Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of...

    sob encomenda
  • Logic Made Easy

    Bennett,Deborah J.
    (1054845)

    A collection of anecdotal histories defines the relationship between language and logic, sharing visual examples and puzzles that can be used by readers to raise test scores and recognize the illogical in everyday things. By the author of Randomness.

    sob encomenda
  • e-book

    Logic and Discrete Mathematics - A Concise...

    Conradie,Willem; Goranko,Valentin
    (9446371)

    A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that...

  • e-book

    Logic and Discrete Mathematics - A Concise...

    Conradie,Willem; Goranko,Valentin; Claudette Robinson
    (9867752)

    Solutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting...

  • e-book

    Logic and Discrete Mathematics - A Concise...

    Goranko,Valentin
    (9867726)

    Solutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting...

  • e-book

    Logic Colloquium '88

    Valentini,S.; Ferro,R.; Bonotto,C.
    (3032262)

    The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today.As well as selected papers, the two panel...

  • e-book

    Logic of Mathematics

    Adamowicz,Zofia; Zbierski,Pawel
    (9299177)

    A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in...

  • Dover Books On Mathematics - Boolean...

    MATHEMATICS; Brown, Frank Markham
    (9349663)

    A systematic treatment of Boolean reasoning, this concise, newly revised edition combines the works of early logicians with recent investigations, including previously unpublished research results.For the benefit of readers without formal training in...

    sob encomenda
  • e-book

    Logic Colloquium'apos;87

    Fernandez-Prida,J.; Ebbinghaus,H.-D.
    (3032173)

    Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume.The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer...

  • e-book

    Logic, Automata, and Algorithms

    (3081175)

    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy;...

  • e-book

    Logic from Russell to Church

    Gabbay,Dov M.; Woods,John
    (3032212)

    This volume is number five in the 11-volumeHandbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th century, and concentrates on the achievements of the great names of the period--Russell,...

  • e-book

    Logic-Based Methods for Optimization

    Hooker,John
    (9299208)

    A pioneering look at the fundamental role of logic in optimization and constraint satisfaction While recent efforts to combine optimization and constraint satisfaction have received considerable attention, little has been said about using logic in...

  • Logic For Mathematicians

    Rosser,John Barkley
    (2616116)

    Hailed by the Bulletin of the American Mathematical Society as 'undoubtedly a major addition to the literature of mathematical logic,' this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed...

    sob encomenda
  • Dover Books On Mathematics - Logic And...

    Arnold, B H
    (9351047)

    Dover Books On Mathematics - Logic And Boolean Algebra

    sob encomenda
  • e-book

    Logic, Methodology and Philosophy of Science...

    Skyrms,B.; Prawitz,D.; Westerståhl,D.
    (3028204)

    This volume is the product of the Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science and contains the text of most of the invited lectures. Divided into 15 sections, the book covers a wide range of different...

  • e-book

    Logic, Methodology and Philosophy of Science...

    Hilpinen,R.; Frolov,I.T.
    (3032156)

    Logic, Methodology and Philosophy of Science VIII presents the results of recent research into the foundations of science. The volume contains 37 invited papers presented at the Congress, covering the areas of Logic, Mathematics, Physical Sciences,...

  • e-book

    Logic - A History of its Central Concepts

    Pelletier,Francis Jeffry
    (4902623)

    The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship. It is the first work in English in which the history of...

  • e-book

    Logic and the Modalities in the Twentieth...

    Gabbay,Dov M.; Woods,John
    (3058156)

    Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history...

  • e-book

    Logic-Based Decision Support - Mixed Integer...

    R. G. Jeroslow
    (3031602)

    This monograph is based on a series of lectures given by the author at the first Advanced Research Institute on Discrete Applied Mathematics, held at Rutgers University. It emphasizes connections between the representational aspects of mixed integer...

  • e-book

    Logic for Computer Science - Foundations of...

    Gallier,Jean H.
    (9458337)

    This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer...

  • e-book

    The Theory of Gambling and Statistical Logic,...

    Epstein,Richard A.
    (9763001)

    [Man] invented a concept that has since been variously viewed as a vice, a crime, a business, a pleasure, a type of magic, a disease, a folly, a weakness, a form of sexual substitution, an expression of the human instinct. He invented...

  • e-book

    Inductive Logic

    Gabbay,Dov M.
    (8070061)

    Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are,...

  • An Introduction to Probability and Inductive...

    Hacking,Ian
    (654655)

    An Introduction to Probability and Inductive Logic

    sob encomenda
  • e-book

    Managerial Logic

    Arrow,Kenneth J.; Raynaud,Harvé
    (9299585)

    The publication of the first book by Kenneth Arrow and Hervé Raynaud, in 1986, led to an important wave of research in the field of axiomatic approach applied to managerial logic. Managerial Logic summarizes the prospective results of this research...

  • e-book

    Managerial Logic

    Arrow,Kenneth J.; Raynaud,Harvé
    (9299572)

    The publication of the first book by Kenneth Arrow and Hervé Raynaud, in 1986, led to an important wave of research in the field of axiomatic approach applied to managerial logic. Managerial Logic summarizes the prospective results of this research...

  • e-book

    Mathematical Logic

    Tourlakis,George
    (9300105)

    A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable tool for deductive reasoning. With its user-friendly...

  • e-book

    Fuzzy Logic in Chemistry

    Rouvray,Dennis H.
    (3027199)

    Fuzzy Logic has gained increasing acceptance as a way to deal with complexity and uncertainty in many areas of science and engineering. This book is the first to address its practical applications to chemical systems. Ten distinguished authors...

  • e-book

    Categorical Logic and Type Theory

    Jacobs,B.
    (2891475)

    This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and...

  • Mathematical Logic

    Shoenfield,Joseph R.
    (674936)

    Mathematical Logic

    sob encomenda
  • Algebraic Logic

    Halmos,Paul R
    (9730328)

    Beginning with an introduction to the concepts of algebraic logic, this concise volume features ten articles by a prominent mathematician that originally appeared in journals from 1954 to 1959. Covering monadic and polyadic algebras, these articles...

    sob encomenda
  • e-book

    Matrix Logic - Theory and Applications

    Stern,A.
    (9597108)

    In this pioneering work, the author develops a fundamental formulation of logic in terms of theory of matrices and vector spaces. The discovery of matrix logic represents a landmark in the further formalization of logic. For the first time the power...

  • e-book

    British Logic in the Nineteenth Century

    (3028917)

    The present volume of theHandbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century'apos;s...

  • Linear Logic In Computer Science

    Scott,Philip; Ehrhard,Thomas; Girard,Jean-Yves; RUET,Paul
    (283471)

    Linear Logic In Computer Science

    sob encomenda
  • e-book

    Mathematical Logic and Formalized Theories -...

    Rogers,Robert L.
    (9766140)

    Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results focuses on basic concepts and results of mathematical logic and the study of formalized theories.The manuscript first elaborates on sentential logic and first-order...

  • e-book

    The Logic Of Names - An Introduction To...

    Hughlings,I. P.
    (9516489)

    The Logic Of Names : An Introduction To Boole's Laws Of Thought.. - By I. P. Hughlings

  • e-book

    A Computational Logic

    J Strother Moore; Robert S. Boyer
    (9766519)

    ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalities, and generalization.The publication first elaborates on a sketch of the theory and two...

  • e-book

    Learning to Reason - An Introduction to Logic...

    Rodgers,Nancy
    (9298822)

    Learn how to develop your reasoning skills and how to write well-reasoned proofs Learning to Reason shows you how to use the basic elements of mathematical language to develop highly sophisticated, logical reasoning skills. You'll get clear, concise...

  • Dover Books On Mathematics - Introduction To...

    Suppes,Patrick; MATHEMATICS
    (9349751)

    This well-organized book was designed to introduce students to a way of thinking that encourages precision and accuracy. As the text for a course in modern logic, it familiarizes readers with a complete theory of logical inference and its specific...

    sob encomenda
  • Introduction To Mathematical Logic

    Mendelson,Elliott
    (555587)

    Introduction To Mathematical Logic

    sob encomenda
  • Introduction To Symbolic Logic

    Langer, Susanne K.
    (2590510)

    Famous classic has introduced hundreds of thousands to symbolic logic, via clear, thorough, precise exposition. Start with simple symbols, finish with Boole-Schroeder, Russell-Whitehead.

    sob encomenda
Busca por