Beweise? Oh Gott. Es kommt einfach auf die Richtung an. Beweise sind in Informatik selbst aber keine "wirklichen" Beweise. In Informatik beweist man oft, in dem man ein Beispiel findet, was die Aussage unterstützt. Mathe Theorie... naja, sicher weniger als im richtigen Mathe Studium.
Wenn man Ingeneur-Informatiker wird, dann sind Beweise eher unwichtig. Dafür hat man einiges mehr an Mathe, was auch mehr an "Schulmathe" erinnert... nur mehr. Komplexe Zahlen, DGL und wie se alle heißen.

Irgendwie isses schwer was drüber zu sagen. Such dir ne Uni aus und frag speziell wie der Studiengang dort ist. (Also Studenten dort)
Die könnens dir sagen, NUR die.
Rückblickend habe ich auch einige Fehler bei meiner Wahl gemacht. Später ist man immer schlauer. Aber das lässt sich eben etwas minimieren, wenn man Studenten fragt, die das Fach/Nebenfach haben.