Faraón Llorens Largo

El presente volumen nace como respuesta a las necesidades de los estudiantes de matemáticas. No obstante, la utilidad del texto va mucho más allá: se ofrece una visión global de las herramientas formales para la construccion de programas, con especial enfasis en los algoritmos matematicos, recogiendo el conocimiento que sobre programacion formal debe tener no solo todo matematico, sino tambien cualquier lector interesado en la formalizacion del desarrollo de sistemas informaticos. El texto presenta, ademas, los principales paradigmas de programacion y sus lenguajes mas representativos, con un tratamiento mas profundo del lenguaje C. Tambien muestra varios ejemplos del proceso completo de construccion de algoritmos, utilizando para ello los algoritmos numericos que ofrece una libreria matematica. Cada capitulo esta complementado con un buen numero de ejemplos, de manera que se cubren los aspectos tanto teoricos como practicos.

El presente volumen se integra dentro de la serie Microinformática, formada, a su vez, por Introducción al word 2000, Hoja de cálculo Excell 2003 e Introducción a la base de datos Access 2003. Su objetivo es proporcionar al estudiante una preparacion basica en la "herramienta informatica", que le sera util tanto en su periodo de formacion universitaria como en su posterior actividad profesional que, ineludiblemente, pasa por el uso de estas tecnologias. Las prestaciones con sistemas multimedia ayudan y complementan al orador. No es necesario ser un experto informatico para editar diapositivas y transparencias que incluyan textos con diferentes tipos y colores de letras, fondos y tramas, graficos estadisticos, imagenes, logotipos, sonidos, video y movimiento. De eta forma, presentar ideas se convierte en una tarea facil y rapida.

Los cambios importantes en el entorno social, económico, laboral y tecnológico están en la base de los retos fundamentales que las universidades han tenido y tienen que afrontar en los próximos años. No se trata simplemente de una drastica alteracion del entorno competitivo de las instituciones de educacion superior, sino tambien de cuestionarse su propia justificacion y legitimacion como organizaciones responsables ante la sociedad de la generacion y transmision de conocimientos utiles y relevantes. Asi, por un lado, las universidades se ven abocadas a intentar transformarse para poder participar en un mercado cada vez mas competitivo en la atraccion de estudiantes, personal y los recursos que se necesitan para desarrollar las funciones de educacion, investigacion e innovacion y transferencia. Por otro lado, estas mismas funciones tienen que afrontar importantes cambios para responder a retos como el cambio climatico, los objetivos de sostenibilidad a nivel mundial o las crisis sanitarias. La universidad capaz de afrontar estos problemas a partir de una transformacion apoyada en las tecnologias digitales emergentes es lo que hemos llamado Universidad Digital.