Teoría matemática de la computación



MATEMÁTICA DISCRETA PARA LA COMPUTACIÓN. NOCIONES TEÓRICAS Y PROBLEMAS RESUELTOS (GARCÍA MUÑOZ, MIGUEL ÁNGEL)
La Matemática Discreta es la parte de la matemática encargada del estudio de los conjuntos discretos: colecciones numerables de elementos finitos o infinitos. Constituye una herramienta matemática orientada a la modelización de fenómenos discretos y proporciona fundamentos teóricos y prácticos para distintas áreas de la informática. Esta obra recopila una completa colección de problemas de examen resueltos, junto a ellos se desarrollan los conocimientos teóricos y los problemas tipo necesarios para su correcta comprensión.

ADA LOVELACE . LA FORMACIÓN DE UNA CIENTÍFICA INFORMÁTICA (HOLLINGS, CHRISTOPHER / MARTIN, URSULA / RICE, ADRIAN)
Ada, condesa de Lovelace (1815-1852), fue hija del poeta romántico Lord Byron y su esposa, Anna Isabella. A pesar de ser una actividad inusual para las jóvenes de la época, estudió ciencias y matemáticas desde muy pronto y habitualmente se la considera la primera programadora informática del mundo, por lo que se ha convertido en un icono para las mujeres en el ámbito de la tecnología. Este libro utiliza material de archivo inédito para explorar su infancia precoz, desde sus ideas sobre un caballo volador a vapor hasta preguntas penetrantes sobre la naturaleza de los arcoíris. Persona muy activa en la élite social y científica del Londres victoriano junto con Mary Somerville, Michael Faraday y Charles Dickens, Ada Lovelace quedó fascinada con las máquinas informáticas ideadas por Charles Babbage y desarrolló una tabla de fórmulas matemáticas que se ha llegado a considerar el «primer programa informático». Este libro muestra cómo nuestra protagonista, con una asombrosa clarividencia, exploró cuestiones matemáticas claves para entender los principios de la informática moderna.