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

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

সম্পাদনা