عالم تارسكي

📅 آخر تحديث: ٣٠ يوليو ٢٠٢٦
✍️ نُشر في: ٣٠ يوليو ٢٠٢٦
الموسوعة الحرة

عالم تارسكي هو برنامج حاسوبي تمهيدي لمنطق الرتبة الأولى، من تأليف جون باروايز وجون إتشيمندي . سُمّي البرنامج تيمنًا بعالم المنطق الرياضي ألفريد تارسكي . تتضمن الحزمة كتابًا يُستخدم كمرجع ودليل، وبرنامجًا حاسوبيًا يُقدّمان معًا مدخلًا إلى دلالات المنطق من خلال ألعاب تُملأ فيها عوالم ثلاثية الأبعاد بسيطة بأشكال هندسية متنوعة، تُستخدم لاختبار صحة أو خطأ جمل منطق الرتبة الأولى. يُضمّن البرنامج أيضًا في حزمة اللغة والبرهان والمنطق . [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ]

تم توسيع البرنامج لاحقًا ليشمل برنامج Hyperproof. [ 6 ]

البرنامج

  • باروايز، ج.، وإتشميندي، ج. (1993). عالم تارسكي . ستانفورد، كاليفورنيا: CSLI Publ.
  • باركر بلامر، د.، باروايز، ج.، وإتشميندي، ج. (2008). عالم تارسكي . ستانفورد، كاليفورنيا: منشورات CSLI.
  • مشروع Openproof على موقع CSLI: الصفحة الرئيسية لحزمة مواد دورة Tarski's World، من إعداد ديف باركر-بلامر، وجون باروايز، وجون إتشيمندي بالتعاون مع ألبرت ليو

مراجع

  1. ↑ غولدسون، د.، (1994) مراجعة لكتاب لغة منطق الرتبة الأولى، بما في ذلك برنامج ماكنتوش عالم تارسكي. المجلة الفلسفية الفصلية ، 44، 175، 272-275.
  2. ↑ فاليس، د.، (1999). مراجعة لكتاب لغة منطق الرتبة الأولى، بما في ذلك إصدار ويندوز المتوافق مع IBM من برنامج Tarski's World 4.0. مجلة المنطق الرمزي ، 64، 2، 916-918.
  3. ↑ كومبتون، كيه جيه، (1993). مراجعة لكتاب لغة منطق الرتبة الأولى، بما في ذلك برنامج عالم تارسكي. مجلة المنطق الرمزي ، 58، 1، 362-363.
  4. ↑ بايلهاش، ب. (1992). مراجعة لكتاب لغة منطق الرتبة الأولى، بما في ذلك عالم ماكنتوش™ تارسكي. ستوديا لوجيكا ، 51، 1، 145-147.
  5. ↑ غولدسون، د.، ريفز، س.، وبورنات، ر. (1993) مراجعة لعدة برامج لتدريس المنطق، مجلة الكمبيوتر ، المجلد 36، العدد 4، الصفحات 373-386
  6. ↑ باروايز، جون؛ إتشيمندي، جون (1992). "هايبربروف: الاستدلال المنطقي باستخدام الرسوم البيانية". تقرير فني من AAAI رقم SS-92-02 .