Bilişim: Bilgisayar biliminin temelini oluşturan birçok kavram doğrudan matematiksel prensiplere dayanır. Problem çözme süreçleri ve modellemeler bunun en açık örneğidir. (Bilişim hakkında daha düzgün bir tanım için bkz. bilişim, bilgi teknolojisi ve bilgi sistemleri, Bilişim)
Bilişim Matematiği: Bilgisayarın yazılım temelinde ikili sayma sistemi esas alınır (binary system, binary digit). Buna boole cebri denir. Doğru (T-True) ya da yanlış (F-False) mantıksal temelli işlemleri esas alır (dijital şebekeler, bellekler, işlemciler vb.).
İlk bilgisayarlar matematikçiler tarafından geliştirilmiştir (Blaise Pascal, G.W. Leibniz)
İlk programlanabilir bilgisayar 1945 yılında ENIAC tarafından geliştirilmiştir. Matematiksel hesaplamaları otomatikleştiren bir yapıya sahip bilgisayar geliştirmiştir (karmaşık diferansiyel denklemleri çözen bir bilgisayar).
İlk yazılımcı: Ada Lovelace (19.yy). Matematiksel algoritmalar kullanarak ilk yazılım örnekleri ortaya koymuştur.