Tarski's World

Dave Barker?plummer Dave Barker-Plummer John Etchemendy Jon Barwise David Barker-Plummer

ISBN 10: 1575864843 / ISBN 13: 9781575864846

Edité par Center for the Study of Language & Information CSLI Publications, 2007

A propos de cet article

pp. xvii + 126.

N° de réf. du vendeur 263472781

Détails bibliographiques

• Titre: Tarski's World
• Éditeur: Center for the Study of Language & Information CSLI Publications
• Date de parution: 2007
• Langue: anglais
• ISBN à 10 chiffres: 1575864843
• ISBN à 13 chiffres: 9781575864846
• État de l'article: New

A propos de ce titre

Synopsis

"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 accompanying CD-ROM, compatible with both Macintosh and PC formats, includes a unique and effective corrective tool in the form of a game that methodically leads students back through any errors in sentences they have constructed, as well as a program for submitting homework to an automated grader. Intended as a supplement to a standard logic text, "Tarski's World" is an essential resource for helping students learn the language of logic.

À propos de l?auteur

Dave Barker-Plummer is a senior research scientist at Stanford University's Center for the Study of Language and Information. Jon Barwise (1942-2000) served on the faculties of Yale University, the University of Wisconsin, Stanford University, and Indiana University. John Etchemendy is currently provost and professor of philosophy at Stanford University.