ক্যালকুলাস
ক্যালকুলাস বা কলনবিদ্যা (English: Calculus) গণিতের একটি শাখা যেখানে সীমা, অন্তরকলন, সমাকলন ও অসীম শ্রেণী নিয়ে আলোচনা করা হয়।[1] ক্যালকুলাস শব্দটি লাতিন ভাষা থেকে এসেছে এবং এর অর্থ "নুড়িপাথর"। বর্তমানে বিশ্ববিদ্যালয় পর্যায়ে অনেক ক্ষেত্রেই ক্যালকুলাস একটি বাধ্যতামূলক বিষয়। মূলত নিউটন ও গটফ্রেড লিবনিজকে এই বিদ্যার জনক বলা হয়।
ল্যাম্‌ডা ক্যালকুলাস
প্রতিস্থাপনের এই পদ্ধতির নাম বিটা-সংক্ষেপণ (formula_22 reduction), সবসময় যদিও রাশিটি সংক্ষিপ্ত হয় না (আকারে),
এমনকি আকারে বাড়ে এরকম উদাহরণও খুবই সহজ,
তবে গণনা বা কম্পিউটেশনের মূলমন্ত্র যে এই সংক্ষেপণেই নিহিত তাতে কোন সন্দেহ নেই। কোন সংক্ষেপণটি থামবে কোনটি থামবে না তা নির্ণয় করার কোন সাধারণ অ্যালগোরিদম নেই, যার প্রমাণ টুরিং মেশিনের থামা-না-থামা সমস্যা।