Cita:La forma en la que te enseñan matemática y lógica en el FaMAF no se compara con lo que yo ví en Ing, en esta carrera trabajamos con los programas como si fuesen teoremas, usamos un estilo de lógica ecuacional, algunas técnicas y métodos desarrolladas por científicos de la computación como Hoare, Dijkstra, Gries, etc en conjunto con el conocimiento de otras materias para derivar software al mismo tiempo que desarrollamos la prueba de su corrección, (ojo esto no quiere decir que sea un proceso mecánico, la creatividad es la otra mitad); la gran ventaja de hacer pruebas de corrección es que casi no nos ocupamos del proceso frustrante de Debugging, si hay errores en tus programas no van a ser errores de fondo, se ahorra mucho tiempo y generas software más confiable.
No voy a nivel académico. Por supuesto, que en sistemas no vemos demostración formal de algoritmos (incluso, en algunas ni siquiera llegamos a ver algo tan pavo y basico como complejidad algoritmica), y que ellos si lo ven, y están capacitados para hacerlo.
Mi critica va a que habla de que "debuggeamos" y que programamos a "prueba y error", siendo que no es así
, y que si tiene un laburo "normal", no va a ponerse a demostrar matemáticamente que lo que está programando es correcto o no. Incluso, para hacer eso, tenés que tener bien definidas las pre y post condiciones, tenés que tener tiempo, y varias veces no las tenés definidas de manera formal.... uno, como programador, sabe hacer codigo correcto porque lo piensa un toque antes de comenzar los tests. No hace falta demostrarlo.
Volviendo a tu caso:
Te diría que si tu intención no es solo ser el más pitudo programando, si no que te interesa en algun momento pasar a algun trabajo más de gestión (Lider de proyecto, analista funcional, etc), elegí la carrera que más te guste.
Si querés ser un "hipermegaprogramador", metete a ciencias, y laburá. El laburo te da un conocimiento que ninguna facultad te lo puede dar.
Si querés ser algo más cientifico... metete a ciencias.
Si querés hacer algoritmos grossos (onda, crear el nuevo estandar en compresión de musica, por ejemplo), metete a ciencias.
Si querés tener un factos más "humano", más orientado al cliente.... bueno, te diría que te metas a Sistemas, la cual te orienta a eso (más aún en FRC que tienen profesores excelentes en ese sentido, pero medio-malos en la parte de programación). Despues, laburar.
Pero nadie va a decir "ah no, a vos no te pongo de Project Leader porque sos de Ciencias", al igual que no va a pasar que te digan "no, a vos no te contrato para hacer el sistema de misiles X porque estudiaste Sistemas", si tenes experiencia comprobable en una u otra cosa. La carrera no te va a limitar nada, el que se va a limitar sos vos.
Ahora, pensá que el laburo "por excelencia" de alguien de ciencias, es algo similar al laburo de un matemático.
Mas allá de todo esto... ¿Vos te preguntaste QUE querés hacer? ¿A QUÉ tipo de laburo aspiras?