David Barker-Plummer – författare

Visar alla böcker från författaren David Barker-Plummer. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Language, Proof, and Logic

   Second Edition

   Av David Barker-Plummer, Jon Barwise m. fl.

   Häftad, 2011

   5,0 utav 5 stjärnor. Totalt antal röster: (3)

   1033 kr

   Lägg i varukorg

   This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The accompanying online grading service instantly grades …

2. 

   Tarski's World: Revised and Expanded

   Av Jon Barwise, John Etchemendy m. fl.

   Häftad, 2007

   349 kr

   Lägg i varukorg

   "Tarski's World" is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic. The …

3. 

   Logical Reasoning with Diagrams and Sentences

   Using Hyperproof

   Av David Barker-Plummer, Jon Barwise m. fl.

   Häftad, 2017

   464 kr

   Lägg i varukorg

   The Logical Reasoning with Diagrams and Sentences courseware package teaches the principles of analytical reasoning and proof construction using a carefully crafted combination of textbook, desktop, and online materials. This package is sure to be an essential resource in a range of courses …

4. 

   Words, Proofs and Diagrams

   Av David Barker-Plummer, David I. Beaver m. fl.

   Häftad, 2002

   229 kr

   Tillfälligt slut

   The past 20 years have witnessed an ever-increasing number of interdisciplinay research collaborations as computer scientists, logicians, linguists, philosophers, and psychologists all explore the same question: how can logic illuminate the nature of information? This collection covers active …