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

    sob encomenda
  • Introduction To Mathematical Logic

    Mendelson,Elliott
    (555587)

    Introduction To Mathematical Logic

    sob encomenda
  • 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
  • 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
  • Mathematics And Logic In History And In...

    Quigly,Isabel; Carruccio,Ettore
    (10387344)

    This book is not a conventional history of mathematics as such, a museum of documents and scientific curiosities. Instead, it identifies this vital science with the thought of those who constructed it and in its relation to the changing cultural...

    sob encomenda
  • Introduction To Logic - And To The...

    Tarski,Alfred
    (10400961)

    Alfred Tarski, one of the greatest logicians of all time, is widely thought of as 'the man who defined truth'. His work on the concepts of truth and logical consequence as defined by mathematical theory are cornerstones of modern logic, influencing...

    sob encomenda
  • 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: A Very Short Introduction

    Priest,Graham
    (9950109)

    Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the...

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

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

  • Mathematical Logic

    Shoenfield,Joseph R.
    (674936)

    Mathematical Logic

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

  • 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
  • Foundations Of Computing - Logic And...

    Eijck,Jan Van; Visser,Albert; Van Eijck,Jan
    (9232447)

    The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of...

    sob encomenda
  • Linear Logic In Computer Science

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

    Linear Logic In Computer Science

    sob encomenda
  • Introduction To Logic And To the Methodology...

    Tarski,Alfred; Tarski,Jan
    (3047505)

    This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.

    sob encomenda
  • 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
  • The Elements Of Mathematical Logic

    Rosenbloom, Paul C
    (9730259)

    An excellent introduction to mathematical logic, this book provides readers with a sound knowledge of the most important approaches to the subject, stressing the use of logical methods in attacking nontrivial problems.Its chapters cover the logic of...

    sob encomenda
  • Lectures in Logic and Set Theory

    Tourlakis,George J.
    (865131)

    Lectures in Logic and Set Theory

    sob encomenda
  • An Introduction to Non-Classical Logic

    Priest,Graham
    (2879353)

    An Introduction to Non-Classical Logic

    sob encomenda
  • An Introduction to Probability and Inductive...

    Hacking,Ian
    (654655)

    An Introduction to Probability and Inductive Logic

    sob encomenda
  • Concepts And Fuzzy Logic

    Belohlavek,Radim
    (9922342)

    Leading researchers examine the usefulness and limitations of fuzzy logic for the psychology of concepts.The classical view of concepts in psychology was challenged in the 1970s when experimental evidence showed that concept categories are graded and...

    sob encomenda
  • First Order Mathematical Logic

    Margaris, Angelo
    (9350381)

    Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. First-order theories are discussed in some detail, with special emphasis on number theory....

    sob encomenda
  • Dover Books On Computer Science - Logic For...

    Gallier, Jean H
    (9350972)

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

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

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

  • Dover Books On Mathematics - An Introduction...

    Hodel, Richard E
    (9349647)

    Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the...

    sob encomenda
  • A Profile of Mathematical Logic

    Delong,Howard
    (1048434)

    A Profile of Mathematical Logic

    sob encomenda
  • A First Course In Fuzzy Logic

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

    A First Course In Fuzzy Logic

    sob encomenda
  • Dover Books On Mathematics - Mathematical...

    Robbin, Joel W
    (9351088)

    This self-contained text will appeal to readers from diverse fields and varying backgrounds. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition.

    sob encomenda
  • e-book

    Topoi - The Categorial Analysis of Logic

    Goldblatt,Robert
    (9617531)

    A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers.

  • 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

Busca por