Nem minden szoftver alapul matematikai konstrukciókon.
Pl. egy fordítóprogram, egy rajzolóprogram, egy számlázó, stb.stb.
A fordítóprogramok elméletét formális nyelveknek hívjuk, termátíró rendszerek, automaták, nyelvtanok, stb. Eléggé elméleti.
A rajzolóprogramoknál (gondolom Te sem az mspaint32.exe -re gondoltál) igen mély matematika van, gondold csak meg az AutoCAD-ben lévő tárgyrasztereket, raszterkövetés, poligonok, metszések, stb. A vektorgrafikáról ne is beszéljünk, az sem a gyakorlópályán jött létre.
A számlázóprogramok magjában is modellek állnak, bár nem annyira matematikailag, inkább szabályrendszerek által definiáltak.
Szerintem minden szoftverrendszerben van elmélet és gyakorlat. Az, hogy helyesen működjön, jó legyen a modell, a kitűzött feladatot oldjuk meg - (ezt esetleg be is bizonyítod) - az elmélet feladata. Az, hogy karbantartható legyen, hatékony, gyors, szép, és a titkárnő is elolvassa, azt amit az arcába nyomunk, az gyakorlat.