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
  • 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
  • Discrete Mathematics And Its Applications...

    Mendelson,Elliott
    (9265149)

    The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and...

    sob encomenda
  • Modal Logic

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

    Modal Logic

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

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

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

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

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

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

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

  • Dover Books On Mathematics - Logic And...

    Arnold, B H
    (9351047)

    Dover Books On Mathematics - Logic And Boolean Algebra

    sob encomenda
  • 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,...

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

  • The Art Of Logic In An Illogical World

    Cheng,Eugenia
    (10086115)

    How both logical and emotional reasoning can help us live better in our post-truth world In a world where fake news stories change election outcomes, has rationality become futile? In The Art of Logic in an Illogical World, Eugenia Cheng throws a...

    pré-venda
  • 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

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

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

  • A First Course In Fuzzy Logic

    Walker,Elbert A.; Nguyen,Hung T.
    (1157067)

    A First Course In Fuzzy Logic

    sob encomenda
  • 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...

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

  • 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

    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
  • 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
  • Dover Books On Mathematics - First Course In...

    Suppes,Patrick; MATHEMATICS; Hill, Shirley; Hill, Shirley A
    (9349710)

    In modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are frequently underdeveloped. This book counters that neglect with a...

    sob encomenda
  • e-book

    Quantification in Nonclassical Logic

    Gabbay,Dov M.; Dimitrij Skvortsov; Valentin Shehtman
    (3032668)

    Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy andlanguage in ancient times; they were studied by traditional informalmethods until the 20th century. In the last century...

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

Busca por