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