Tarski's World / Edition 1

Tarski's World / Edition 1

ISBN-10:
1575864843
ISBN-13:
9781575864846
Pub. Date:
06/28/2004
Publisher:
Center for the Study of Language and Inf
Select a Purchase Option (1)
  • purchase options
    $35.95 $39.95 Save 10% Current price is $35.95, Original price is $39.95. You Save 10%.
  • purchase options
    $21.71 $39.95 Save 46% Current price is $21.71, Original price is $39.95. You Save 46%.
    icon-error
    Note: Access code and/or supplemental material are not guaranteed to be included with textbook rental or used textbook.
  • purchase options

Overview

Tarski's World / Edition 1

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 program allows students to build three-dimensional worlds and then describe them in first-order logic. The program, compatible with Macintosh and PC formats, also contains a unique and effective corrective tool in the form of a game, which methodically leads students back through their errors if they wrongly evaluate the sentences in the constructed worlds.

A brand new feature in this revised and expanded edition is student access to Grade Grinder, an innovative Internet-based grading service that provides accurate and timely feedback to students whenever they need it. Students can submit solutions for the program’s more than 100 exercises to the Grade Grinder for assessment, and the results are returned quickly to the students and optionally to the teacher as well. A web-based interface also allows instructors to manage assignments and grades for their classes.

Intended as a supplement to a standard logic text, Tarski’s World is an essential tool for helping students learn the language of logic.
 

Product Details

ISBN-13: 9781575864846
Publisher: Center for the Study of Language and Inf
Publication date: 06/28/2004
Series: Center for the Study of Language and Information - Lecture Notes Series , #169
Edition description: 1
Pages: 144
Product dimensions: 6.00(w) x 9.00(h) x 0.50(d)

Table of Contents

I. Exercises

1. Instructions About the Exercises

2. Exercises on Propositional Logic

3. Exercises on First-order Logic

4. More Theoretical Logic

II. Using the Software

5. Using Tarski’s World

6. Using Submit

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews