الجانب المنطقي لحساب لامدا (دراسة تحليلية)

يناقش هذا البحث حساب لامدا الذي قدمه المنطقي "ألونزو تشيرش Alonzo Church*"(1903-1995)[1]"، واعتبر من أساسيات لغات برمجة الحاسوب، إلا أنني أتناول فيه الجانب النسقي الصوري له کجزءٍ من المنطق الرياضي، فتناولت بالتعريف حساب لامدا، الذي يشار إليه بالمصطلح الرمزي λ، مبيناً أنه يتعلق بالأسس الشائعة لبرمجة...

תיאור מלא

מידע ביבליוגרפי

מחבר ראשי:	محمد سيد محمد أبوالعلا
פורמט:	Artigo
שפה:	Árabe
יצא לאור:	Faculty of Arts, Port Said University 2018-07-01
סדרה:	Maǧallaẗ Kulliyyaẗ Al-ādāb Ǧāmiʿaẗ Būrsaʿīd
נושאים:	الجانب المنطقي لحساب لامدا دراسة تحليلية
גישה מקוונת:	https://jfpsu.journals.ekb.eg/article_57773_8b999a2147d355439a2fbe28b1fef2ec.pdf
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!