Tarskis svět - Tarskis World - Wikipedia
Tarskiho svět je počítačový úvod do logika prvního řádu napsáno Jon Barwise a John Etchemendy. Je pojmenována po matematickém logikovi Alfred Tarski. Balíček obsahuje knihu, která slouží jako učebnice a manuál, a počítačový program, který společně slouží jako úvod do sémantiky logiky prostřednictvím her, ve kterých jsou jednoduché trojrozměrné světy naplněny různými geometrickými obrazci a jsou zvyklí na otestujte pravdivost nebo nepravdu logických vět prvního řádu. Tento program je také součástí Jazyk, důkaz a logika balík.[1][2][3][4][5]
Program
- Barwise, J., a Etchemendy, J. (1993). Tarskiho svět. Stanford, Kalifornie: CSLI Publ.
- Barker-Plummer, D., Barwise, J., & Etchemendy, J. (2008). Tarskiho svět. Stanford, Kalifornie: Publikace CSLI.
- Projekt Openproof na CSLI: domovská stránka balíčku výukových programů Tarski World, Dave Barker-Plummer, Jon Barwise a John Etchemendy ve spolupráci s Albertem Liu
Reference
- ^ Goldson, D., (1994) Review of The Language of First-Order Logic, including the Macintosh Program Tarski's World. Filozofický čtvrtletník, 44, 175, 272–275.
- ^ Fallis, D., (1999). Recenze jazyka logiky prvního řádu, včetně verze systému Tarski's World 4.0 kompatibilní s Windows pro Windows. Journal of Symbolic Logic, 64, 2, 916–918.
- ^ Compton, K. J., (1993). Recenze The Language of First-Order Logic, including the Program Tarski's World. Journal of Symbolic Logic, 58, 1, 362–363.
- ^ Bailhache, P. (1992). Recenze jazyka logiky prvního řádu, včetně světa Macintosh ™ Tarski. Studia Logica, 51, 1, 145–147.
- ^ Goldson, D., Reeves, S. a R. Bornat (1993) Recenze několika programů pro výuku logiky, Počítačový deník, Svazek 36, číslo 4, str. 373-386