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 tietotekniikan tieteenhaara, joka tutkii ohjelmistojen kehittämistä ja siihen liittyviä kysymyksiä. Se voidaan jakaa kahteen osa-alueeseen seuraavasti:Omana tieteenhaaranaan ohjelmistotekniikka on vielä verrattain nuori. Esimerkiksi Tampereen teknillisessä korkeakoulussa 1980-luvulla ohjelmistotekniikkaa opiskellut diplomi-insinööri valmistui matematiikan tai elektroniikan laitokselta.