Tarski's World
Cet article est une ébauche concernant un logiciel.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Cet article est orphelin. Moins de trois articles lui sont liés ().
Vous pouvez aider en ajoutant des liens vers [[Tarski's World]] dans les articles relatifs au sujet.
Tarski's world est un livre accompagné d'un logiciel pédagogique pour enseigner la logique du premier ordre[1],[2],[3],[4],[5]. Il a été écrit par Jon Barwise and John Etchemendy. Il est nommé en hommage au mathématicien logicien Alfred Tarski.
Bibliographie
[modifier | modifier le code]- Barwise, J., & Etchemendy, J. (1993). Tarski's world. Stanford, Calif: CSLI Publ.
- Barker-Plummer, D., Barwise, J., & Etchemendy, J. (2008). Tarski's world. Stanford, Calif: CSLI Publications.
- The Openproof Project at CSLI : page web de Tarski's World, Dave Barker-Plummer, Jon Barwise et John Etchemendy en collaboration avec Albert Liu
Références
[modifier | modifier le code]- Goldson, D., (1994) Review of The Language of First-Order Logic, including the Macintosh Program Tarski's World. The Philosophical Quarterly, 44, 175, 272–275.
- Fallis, D.,(1999). Review of The Language of First-Order Logic, Including the IBM-Compatible Windows Version of Tarski's World 4.0. Journal of Symbolic Logic, 64, 2, 916–918.
- Compton, K. J., (1993). Review of The Language of First-Order Logic, including the Program Tarski's World. Journal of Symbolic Logic, 58, 1, 362–363.
- Bailhache, P.(1992). Review of The Language of First-Order Logic, Including the Macintosh™ Tarski's World. Studia Logica, 51, 1, 145–147.
- Goldson, D., Reeves, S. and R. Bornat (1993) A Review of Several Programs for the Teaching of Logic, The Computer Journal, Volume 36, Issue 4, pp. 373-386
