Tarski's World: Revised and Expanded (Center for the Study of Language and Information – Lecture Notes) (by David Barker-Plummer, Jon Barwise, John Etchemendy)


Author(s): David Barker-Plummer, Jon Barwise, John Etchemendy

Publisher: Center for the Study of Language and Inf
Publish date: 2007-07-15
ISBN-10: 1575864843
ISBN-13: 9781575864846
Language: English
Description:
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… more…

Read Source: Tarski’s World: Revised and Expanded (Center for the Study of Language and Information – Lecture Notes) (by David Barker-Plummer, Jon Barwise, John Etchemendy)»

Leave a Reply

Your email address will not be published.