الجانب المنطقي لحساب لامدا (دراسة تحليلية)
يناقش هذا البحث حساب لامدا الذي قدمه المنطقي "ألونزو تشيرش Alonzo Church*"(1903-1995)[1]"، واعتبر من أساسيات لغات برمجة الحاسوب، إلا أنني أتناول فيه الجانب النسقي الصوري له کجزءٍ من المنطق الرياضي، فتناولت بالتعريف حساب لامدا، الذي يشار إليه بالمصطلح الرمزي λ، مبيناً أنه يتعلق بالأسس...
Main Author: | |
---|---|
Format: | Article |
Language: | Arabic |
Published: |
Faculty of Arts, Port Said University
2018-07-01
|
Series: | Maǧallaẗ Kulliyyaẗ Al-ādāb Ǧāmiʿaẗ Būrsaʿīd |
Subjects: | |
Online Access: | https://jfpsu.journals.ekb.eg/article_57773_8b999a2147d355439a2fbe28b1fef2ec.pdf |