Author(s): David Barker-Plummer, Jon Barwise, John Etchemendy
Categories: Language Arts & Disciplines > Linguistics, Computers > Computer Science, Mathematics > General, Philosophy > Logic
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…
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…