أﻟﻴﺲ

**برنامج أليس** & ﻳﺴﺘﻄﻴﻊ ﺑﺮﻧﺎﻣﺞ أﻟﻴﺲ-اﻟﺬي أﻋﺪ ﺑﻮاﺳﻄﺔ حين ﻟﻮي ﻟﻮرﻳـﻴـﺮ ﻣﻦ ﺟﺎﻣﻌﺔ ﺑﺎرﻳﺲ-أن ﻳﺤﻞ المسائل اﻟﺮﻳﺎﺿﻴﺔ و المنطقية المكتوبة ﺑﻠﻐﺔ ﺗﺴﺘﺨﺪم ﻣﻔﺮدات ﻧﻈﺮﻳﺔ اﻟﻤﺠﻤﻮﻋﺎت و المنطق اﻟﺘﻘﻠﻴﺪي. و تحدد المسالة ﻓﻲ أرﺑﻌﺔ أﺟﺰاء: اﻟﺘﻌﺮﻳﻒ ﻣﺴﺒﻮﻗﺎ ﺑﻜﻠﻤﺔ " دع " , وﻳﻌﺮف ﻫﺬه اﻟﻌﻨﺎﺻﺮ اﻟﺘﻲ ﺗﺘﻜﻮن ﻣﻨﻬﺎ المشكلة وﻳﺤﺪد أﻧﻮاﻋﻬﺎ. اﻟﻬﺪف ﻣﺴﺒﻮﻗﺎ ﺑﻜﻠﻤـﺔ " أوﺟـﺪ" و ﻳﺤﺪد اﻟﻘﻴﻢ اﻟﺘﻲ ﻳﺠـﺐ ان توجد . اﻟﻘﻴﻮد ﻣﺴ...