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