Ha, ha, ha.
Pa, evo, zatreba ti parsiranje nekog jezika. Tu ti je teorija formalnih jezika i automata.
Zatreba ti kriptografija. Tu ti je teorija brojeva.
Zatreba ti pravljenje tranzitivnog zatvorenja (koja funkcija koje sve izuzetke može da baci, obzirom da funkcije mogu da pozivaju i druge funkcije).
Zatreba ti pravljenje kalendara. Da li bi znao samostalno da napišeš funkciju koja prebacuje julijanski broj dana u gregorijanski datum i obrnuto?
Zatreba ti multimedija, imaš Furijeovu analizu (i svašta drugo).
Zatreba ti optimizacija SQL upita. Ako dobro znaš predikatski račun, nikakav problem.
Zatreba ti razrešavač zavisnosti paketa. Tu su algoritmi za iskazni problem zadovoljivosti.
Zatreba ti nalaženje najkraćeg puta...
Zatreba ti maksimizacija nečega...
E, sad, ne treba za pravljenje pekarskih programa, što neko reče.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.