Yukarıdaki cevapları gerçekten destekliyorum. CS'de matematiğin büyük resmi için yararlı olabilecek aşağıdakileri ekleyebilirim:
Matematik hedefin kendisinin bir parçası olabilir; algoritma analizi, karmaşıklık sınırları, deterministik veya olasılıklı kanıtlar, paralel algoritmalar ve hesaplama zamanı ve mekanı ile ilgili daha birçok araştırma alanı.
Öte yandan, matematik daha üst düzey bir hedef için gerçek yol olabilir; PDE'ler, bilgisayar grafikleri için ışık denklemleri, hesaplama fiziğinin tüm araştırma alanı (dinamik sistemler, istatistiksel mekanik, galaksi oluşumu) bunlardan bazıları.
Doğru koşullar altında, her iki matematik biçimi birlikte yaşayabilir.