Minecraft Adventures B2G1 Free
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Interviews | August 12, 2015

    Jill Owens: IMG Eli Gottlieb: The Powells.com Interview



    Eli GottliebEli Gottlieb has done something unusual — he's written two novels, 20 years apart, from opposing but connected perspectives. The Boy Who Went... Continue »
    1. $17.47 Sale Hardcover add to wish list

      Best Boy

      Eli Gottlieb 9781631490477

    spacer
Qualifying orders ship free.
$30.50
List price: $50.25
Used Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
1 Partner Warehouse Software Engineering- Programming and Languages

More copies of this ISBN

Tarski's World - Revised / Expanded - With CD (Rev 08 Edition)

by

Tarski's World - Revised / Expanded - With CD (Rev 08 Edition) Cover

 

Synopses & Reviews

Please note that used books may not include additional media (study guides, CDs, DVDs, solutions manuals, etc.) as described in the publisher comments.

Publisher Comments:

Tarskis 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 programs 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, Tarskis World is an essential tool for helping students learn the language of logic.

 

About the Author

Dave Barker-Plummer is a senior research scientist at Stanford Universitys 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.

 
 

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

6. Using Submit

Product Details

ISBN:
9781575864846
Author:
Barwise, Jon
Publisher:
Center for the Study of Language and Informat
Author:
Barker-Plummer, David
Author:
Barwise, Jon
Author:
Barker Plummer
Author:
Etchemendy, John
Author:
Etchemendy
Author:
Barker-Plummer, Dave
Author:
Barwise
Subject:
General
Subject:
Logic
Subject:
Linguistics
Subject:
First-order logic
Subject:
Miscellaneous Software
Subject:
General-General
Subject:
Computers-Reference - General
Edition Description:
1
Series:
Center for the Study of Language and Information - Lecture Notes
Series Volume:
169
Publication Date:
20070731
Binding:
TRADE PAPER
Grade Level:
Professional and scholarly
Language:
English
Illustrations:
30 halftones. 1 CD-ROM
Pages:
144
Dimensions:
9 x 6 in

Related Subjects

Computers and Internet » Computers Reference » General
Computers and Internet » Software Engineering » Programming and Languages
Humanities » Philosophy » Logic
Science and Mathematics » Mathematics » Logic and Philosophy

Tarski's World - Revised / Expanded - With CD (Rev 08 Edition) Used Trade Paper
0 stars - 0 reviews
$30.50 In Stock
Product details 144 pages CSLI Publications - English 9781575864846 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

       
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.