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 construcción de programas, con especial énfasis en los algoritmos matemáticos, recogiendo el conocimiento que sobre programación formal debe tener no sólo todo matemático, sino también cualquier lector interesado en la formalización del desarrollo de sistemas informáticos. El texto presenta, además, los principales paradigmas de programación y sus lenguajes más representativos, con un tratamiento más profundo del lenguaje C. También muestra varios ejemplos del proceso completo de construcción de algoritmos, utilizando para ello los algoritmos numéricos que ofrece una librería matemática. Cada capítulo está complementado con un buen número de ejemplos, de manera que se cubren los aspectos tanto teóricos como prácticos.

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 preparación básica en la "herramienta informática", que le será útil tanto en su periodo de formación universitaria como en su posterior actividad profesional que, ineludiblemente, pasa por el uso de estas tecnologías. Las prestaciones con sistemas multimedia ayudan y complementan al orador. No es necesario ser un experto informático para editar diapositivas y transparencias que incluyan textos con diferentes tipos y colores de letras, fondos y tramas, gráficos estadísticos, imágenes, logotipos, sonidos, video y movimiento. De eta forma, presentar ideas se convierte en una tarea fácil y rápida.