Matematiikka
Matematiikka on deduktiiviseen päättelyyn perustuva formaali eli käsitteellinen tiede. Matematiikassa tutkitaan muun muassa lukuja, määriä, rakenteita, muutoksia ja avaruuksia. Matemaattisen formalismin mukaan matematiikka on aksiomaattisesti määriteltyjen abstraktien rakenteiden tutkimista symbolisen logiikan ja matemaattisen merkintäjärjestelmän keinoin. Matematiikkaa käytetään fysikaalisten ja käsitteellisten suhteiden ilmaisemisen "kielenä", jonka kielioppi ja käsitteistö on määritelty äärimmäisen tarkkaan. Tämä mahdollistaa asioiden ilmaisemisen yksikäsitteisesti, kun oletetaan loogisten rakenteiden pysyvän muuttumattomina.
Ohjelmistotekniikka
Ohjelmistotekniikka on kuitenkin eriytynyt omaksi tieteenhaarakseen erityisesti ehkä kahdesta syystä; ensinnäkin ohjelmistot ovat nykyään monta kertaluokkaa laajempia kuin ohjelmistot 30 vuotta sitten. Ohjelmistojen koot ovat kasvaneet tuhansista lähdekoodiriveistä jopa kymmeniä miljoonia rivejä käsittäviksi mammuteiksi, ja niiden mutkikkuus on kasvanut arviolta samassa suhteessa. Toiseksi ennen ohjelmistot olivat lähes poikkeuksetta numeerista laskentaa suorittavia sovelluksia; matematiikka oli sikäli hyvin keskeistä. Nykyään ohjelmistot tekevät lähestulkoon mitä hyvänsä, eikä niiden sovellusalueeseen liity välttämättä mitään numeerista laskentaa.