Tarski's World: Revised and Expanded
Distributed for Center for the Study of Language and Information
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.
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