الجانب المنطقي لحساب لامدا (دراسة تحليلية)
يناقش هذا البحث حساب لامدا الذي قدمه المنطقي "ألونزو تشيرش Alonzo Church*"(1903-1995)[1]"، واعتبر من أساسيات لغات برمجة الحاسوب، إلا أنني أتناول فيه الجانب النسقي الصوري له کجزءٍ من المنطق الرياضي، فتناولت بالتعريف حساب لامدا، الذي يشار إليه بالمصطلح الرمزي λ، مبيناً أنه يتعلق بالأسس الشائعة لبرمجة...
Na minha lista:
| Hovedforfatter: | |
|---|---|
| Format: | Artigo |
| Sprog: | Árabe |
| Udgivet: |
Faculty of Arts, Port Said University
2018-07-01
|
| Serier: | Maǧallaẗ Kulliyyaẗ Al-ādāb Ǧāmiʿaẗ Būrsaʿīd |
| Fag: | |
| Online adgang: | https://jfpsu.journals.ekb.eg/article_57773_8b999a2147d355439a2fbe28b1fef2ec.pdf |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|