|CTI Textual Studies||
Guide to Digital Resources 1996-98
|Table of Contents|
Description: This program introduces students to the language of first-order logic, helping the student learn the meanings of the connectives and quantifiers and ultimately the symbolic language at the core of the modern logic. Tarski's World is a game that allows the student to build three-dimensional worlds and to describe them in first-order logic. In these constructed worlds, the student evaluates sentences; if the student is incorrect, the program provides a game that illuminates the source of the student's error. The disk and manual contain over a hundred exercises ranging from very basic to highly sophisticated. It can also be used in conjunction with the text Language of First-order Logic.
Requirements: PC running Windows 3.1 or above, or Apple Macintosh running System 7.0 or above.
Further information: from the Centre for the Study of Language and Information web page at http://www-csli.stanford.edu/hp/index.html
Distributor: Customer Services Department (Direct), Cambridge University Press, The Edinburgh Building, Cambridge CB2 2RU, UK. Tel.: +44 (1223) 325588 Fax: +44 (1223) 325152 Email: email@example.com
Price: £16.95 (single user copy).
Version available at CTI Centre: None.
[Resources Guide: A-Z Contents] [Resources Guide: Front Page] [CTI Textual Studies Home Page]
Guide to Digital Resources 1996-98. Not to be republished in any form
without the permission of CTI Textual Studies.
HTML Author: Sarah Porter
Document Created: 20 March 1997
The URL of this document is http://info.ox.ac.uk/ctitext/resguide/resources/t110.html