Мир Тарскиса - Tarskis World - Wikipedia

Мир Тарского это компьютерное введение в логика первого порядка написано Джон Барвайз и Джон Этчменди. Он назван в честь математика-логика. Альфред Тарский. Пакет включает книгу, которая служит учебником и руководством, и компьютерную программу, которые вместе служат введением в семантику логики через игры, в которых простые трехмерные миры заполнены различными геометрическими фигурами, и они используются для проверить истинность или ложность предложений логики первого порядка. Программа также включена в Язык, доказательство и логика упаковка.^{[1][2][3][4][5]}

Программа

• Барвайз, Дж., И Этчменди, Дж. (1993). Мир Тарского. Стэнфорд, Калифорния: CSLI Publ.
• Баркер-Пламмер, Д., Барвайз, Дж., И Этчменди, Дж. (2008). Мир Тарского. Стэнфорд, Калифорния: CSLI Publications.
• Проект Openproof в CSLI: домашняя страница пакета учебных материалов Tarski's World, Дэйв Баркер-Пламмер, Джон Барвайз и Джон Этчеменди в сотрудничестве с Альбертом Лю

Рекомендации

1. Голдсон, Д. (1994) Обзор языка логики первого порядка, включая программу Macintosh «Мир Тарского». Философский квартал, 44, 175, 272–275.
2. Фаллис, Д., (1999). Обзор языка логики первого порядка, включая IBM-совместимую версию Tarski's World 4.0 для Windows. Журнал символической логики, 64, 2, 916–918.
3. Комптон, К. Дж. (1993). Обзор языка логики первого порядка, включая программу «Мир Тарского». Журнал символической логики, 58, 1, 362–363.
4. Bailhache, P. (1992). Обзор языка логики первого порядка, включая Macintosh ™ Мир Тарского. Studia Logica, 51, 1, 145–147.
5. Голдсон, Д., Ривз, С. и Р. Борнат (1993) Обзор нескольких программ для обучения логике, Компьютерный журнал, Volume 36, Issue 4, pp. 373-386

внешняя ссылка

• Короткий видеоклип, показывающий, как использовать программу «Мир Тарского» для Language Proof and Logic.