Bilgisayar, belirli komutlara göre veri işleyen ve depolayan bir makinedir.

Bilgisayarlar çok farklı biçimlerde karşımıza çıkabilirler. 20. yüzyılın ortalarındaki ilk bilgisayarlar büyük bir oda büyüklüğünde olup, günümüz bilgisayarlarından yüzlerce kat daha fazla enerji tüketiyorlardı. 21. yüzyılın başına varıldığında ise bilgisayarlar bir kol saatine sığacak ve küçük bir pil ile çalışacak hâle geldiler. Toplumumuz kişisel bilgisayarı ve onun taşınabilir eşdeğeri, dizüstü bilgisayarını, bilgi çağının simgeleri olarak tanıdılar ve bilgisayar kavramı ile özdeşleştirdiler.

Ancak, günümüzde en yaygın olarak kullanılan bilgisayar türü, gömülü bilgisayarlardır. Gömülü bilgisayarlar küçük boyutlu olup genelde diğer aygıtların denetiminde kullanılırlar. Savaş uçaklarında, çamaşır makinelerinde hatta oyuncaklarda da bulunurlar.

İstenilen programı kayıt edip istenilen zamanda çalıştırabilmeleri bilgisayarları çok yönlü kılıp hesap makinelerinden ayıran ana özellikleridir. Church-Turing tezi bu çok yönlülüğün matematiksel ifadesidir, ve herhangi bir bilgisayarın bir diğer bilgisayarın görevlerini yerine getirebileceğinin altını çizer. Dolayısıyla, karmaşıklıkları ne düzeyde olursa olsun, cep bilgisayarından süper bilgisayarlara kadar, bellek ve zaman kısıtı olmadığı takdirde hepsi aynı görevleri yerine getirebilirler.