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