Le monde de Tarski - Tarski's World
Tarski's World est une introduction informatique à la logique du premier ordre écrite par Jon Barwise et John Etchemendy . Il porte le nom du logicien mathématique Alfred Tarski . Le package comprend un livre, qui sert de manuel et de manuel, et un programme informatique qui, ensemble, servent d'introduction à la sémantique de la logique à travers des jeux dans lesquels des mondes simples et tridimensionnels sont peuplés de diverses figures géométriques et celles-ci sont utilisées pour tester la vérité ou la fausseté des phrases logiques du premier ordre. Le programme est également inclus dans le package Language, Proof and Logic .
Le programme
- Barwise, J. et Etchemendy, J. (1993). Le monde de Tarski . Stanford, Californie: CSLI Publ.
- Barker-Plummer, D., Barwise, J., et Etchemendy, J. (2008). Le monde de Tarski . Stanford, Californie: Publications CSLI.
- The Openproof Project au CSLI: page d'accueil du package de didacticiels Tarski's World, Dave Barker-Plummer, Jon Barwise et John Etchemendy en collaboration avec Albert Liu