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