Мир Тарскиса - Википедия - Tarskis World

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

Программа

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

  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

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