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.

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.
Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

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

  • 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

  1. ↑ 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.
  2. ↑ 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.
  3. ↑ 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.
  4. ↑ Bailhache, P.(1992). Review of The Language of First-Order Logic, Including the Macintosh™ Tarski's World. Studia Logica, 51, 1, 145–147.
  5. ↑ 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
  • icône décorative Portail de l’informatique