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

== সংজ্ঞা ==
ল্যাম্‌ডা ক্যালকুলাস হলো ল্যাম্‌ডা রাশিমালার বিজ্ঞান, যেখানে ল্যাম্‌ডা রাশিগুলো মূলত এক প্যারামিটারবিশিষ্ট ফাংশন, যারা প্যারামিটার হিসেবে অপর কোন ল্যাম্‌ডা রাশি নেয়, এবং এর ফলাফল আরেকটি ল্যাম্‌ডা রাশি। গঠনগতভাবে ল্যাম্‌ডা রাশিগুলো হল
* '''চলক''' - যাকে একটি অক্ষর দিয়ে প্রকাশ করা হয়, যেমন <math>x</math> (আসলে এই চলকটিও একটি ফাংশন, (সকল ল্যাম্‌ডা রাশিই যেহেতু ফাংশন), কিন্তু একে কারো উপর প্রয়োগ করা হয় নি)।
* '''প্রয়োগ''' - একটি ল্যাম্‌ডা রাশিকে আরেকটি ল্যাম্‌ডা রাশির উপর প্রয়োগ করা যায়। প্রয়োগ বুঝাতে যাকে প্রয়োগ করা হচ্ছে এবং যার উপর প্রয়োগ করা হচ্ছে সেই রাশি দুইটিকে পরপর লেখা হয়, যেমন <math>(M N)</math>, যেখানে <math>M</math>কে <math>N</math>এর উপর প্রয়োগ করা হচ্ছে। সম্পূর্ণ রাশিটির মান হল এই প্রয়োগের ফলাফল রাশিটি।
* '''অ্যাবস্ট্রাকশন''' - একটি ল্যাম্‌ডা রাশি থেকে যখন কোন একটি চলককে সরিয়ে নেয়া হয় তখন এরকম একটি ফাংশন হয় যাকে অন্য কোন রাশির উপর প্রয়োগ করলে রাশিটির মান হবে ঐ চলককে ঐ রাশিটি দিয়ে প্রতিস্থাপন করলে যেই রাশিটি পাওয়া যায়। কোন রাশি <math>M</math> থেকে কোন চলক <math>x</math> কে সরিয়ে নিলে যে ফাংশনটি পাওয়া যায় তাকে লেখা হয় <math>(\lambda x.\, M</math>), একে অন্য কোন রাশি <math>N</math> এর উপর প্রয়োগ করলে পাওয়া যায় <math>M [x:=N]</math>, অর্থাৎ <math>M</math>এ সকল <math>x</math>কে <math>N</math> দিয়ে প্রতিস্থাপন করলে যে রাশিটি পাওয়া যায়।
 
== উদাহরণ ==
২৩৮টি

সম্পাদনা