"ল্যাম্‌ডা ক্যালকুলাস" পাতাটির দুইটি সংশোধিত সংস্করণের মধ্যে পার্থক্য

(1টি উৎস উদ্ধার করা হল ও 0টি অকার্যকর হিসেবে চিহ্নিত করা হল। #IABot (v2.0beta10ehf1))
ট্যাগ: মোবাইল সম্পাদনা মোবাইল ওয়েব সম্পাদনা
 
* সাধারণভাবে, কোন ফাংশন <math>f</math>কে কোন মান <math>x</math>এর উপর প্রয়োগ করলে ফলাফল হয় <math>(f\,x)</math>, ধরা যাক <math>f</math> হলো [[ফ্যাকটোরিয়াল]] ফাংশন, আর <math>x</math>এর মান <math>3</math>, তাহলে <math>(f\,x)\rightarrow_\beta(\mbox{factorial}\, 3)\rightarrow_\beta 6</math>.
==প্রয়োগ==
[[গণিত]], [[দর্শন]],<ref>[[Thierry Coquand|Coquand, Thierry]], [http://plato.stanford.edu/archives/sum2013/entries/type-theory/ "Type Theory"], ''The Stanford Encyclopedia of Philosophy'' (Summer 2013 Edition), Edward N. Zalta (ed.).</ref> [[ভাষাবিজ্ঞান]],<ref>{{বই উদ্ধৃতি |ইউআরএল=https://books.google.com/books?id=9CdFE9X_FCoC |শিরোনাম=Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus |প্রথমাংশ=Michael |শেষাংশ=Moortgat |প্রকাশক=Foris Publications |বছর=1988 |আইএসবিএন=9789067653879}}</ref><ref>{{Citation|url=https://books.google.com/books?id=nyFa5ngYThMC |title=Computing Meaning |editor1-first=Harry |editor1-last=Bunt |editor2-first=Reinhard |editor2-last=Muskens |publisher=Springer |year=2008 |isbn=9781402059575}}</ref> andএবং [[কম্পিউটার বিজ্ঞান]].<ref>{{citation|title=Concepts in Programming Languages|first=John C.|last=Mitchell|authorlink=John C. Mitchell|publisher=Cambridge University Press|year=2003|isbn=9780521780988|page=57|url=https://books.google.com/books?id=7Uh8XGfJbEIC&pg=PA57}}.</ref> ল্যাম্‌ডা ক্যালকুলাসের ব্যবহার বিদ্যমান।
 
== বিটা-সংক্ষেপণ ==