La máquina que cambió el mundo. Génesis, desarrollo y evolución del ordenador

Siria en Perspectiva. De una crisis internacionalmente mediatizada al histórico dilema internoAutor: Salvador Lucas Alba
Año: 2019
Páginas:
205 pp.
Formato: 
13,5 x 21 cm
ISBN: 
978-84-669-3636-1
Precio:
 12 euros
Materia:
Informática básica

[Pedidos]  

 

 

Previsualización de las primera páginas

Resumen. Los ordenadores son tan omnipresentes en nuestra vida diaria que los utilizamos sin saber muy bien qué hacemos. Sabemos que ejecutan aplicaciones, pero no sabemos muy bien en qué consisten o cómo se relacionan con el aparato que, poblado de circuitos y otros dispositivos hardware, permiten el pequeño milagro de su uso. Pero es todavía más curioso saber que su origen se encuentra, no en el intento de resolver un problema de la vida práctica, sino en el ámbito de las matemáticas y la lógica. Siguiendo a David Hilbert y Alan Turing, este libro descubre cómo algunas de las mentes más reputadas de nuestra época han contribuido al desarrollo de la Informática. Con su perspectiva personal han conseguido, en un proceso que pertenece a todos ellos sin ser exclusivo de nadie, hacer del ordenador una realidad que ha cambiado nuestro mundo.

 


Índice

Prefacio

1. De la lógica a los computadores

1.1. El sueño de Hilbert

1.2. La fundamentación de las matemáticas

1.3. El problema de la decisión

2. La tesis de Church-Turing

2.1. El concepto de método efectivo

2.2. La máquina que cambió el mundo

2.3. La máquina universal de Turing

3. Von Neumann y los computadores

3.1. De la máquina universal al computador

3.2. La arquitectura de von Neumann

3.3. La máquina de von Neumann y la máquina universal de Turing

3.4. El ordenador de Turing

4. Componentes lógicos del ordenador

4.1. Aritmética binaria: 1 + 1 = 10

4.2. Las puertas de la lógica siguen abiertas

4.3. Representación de la información simbólica

5. La realización física del ordenador

5.1. La electrónica al servicio de la computación

5.2. Los transistores configuran nuestro hardware

5.3. Microcircuitos y microprocesadores

6. ¿Un ordenador sin programa?

6.1. Codificación

6.2. Programación

7. Lenguajes de programación

7.1. Control de la ejecución y diagramas de flujo

7.2. Programas y diagramas de flujo

7.3. ¿Cómo utilizar un lenguaje de programación?

7.4. Ordenadores, programas y usuarios

7.5. ¿Cuál de los miles de lenguajes?

8. La corrección de los programas

8.1. ¿Cuándo es correcto un programa?

8.2. La lógica vuelve al rescate

8.3. ¿Arte o ciencia?

8.4. De los requisitos al programa

8.5. ¿Existe el software perfectamente depurado?

9. La crisis del software

9.1. No es oro todo lo que reluce

9.2. Algoritmos y estructuras de datos

9.3. Lenguajes de programación de von Neumann

9.4. Algoritmo = Lógica + Control

9.5. Tipos abstractos de datos

9.6. Programación orientada a objetos

9.7. Crisis, ¿qué crisis?

10. Buscando a von Neumann

10.1. Vayamos por capas...

10.2. Uno para todos, y todos para uno

10.3. El rostro amable de la máquina

10.4. Informática personal

11. Nunca más solo

11.1. Internet

11.2. La web

11.3. Aplicaciones web

11.4. El oráculo

Epílogo

Agradecimientos

Bibliografía

Índice alfabético


Salvador Lucas es doctor en Informática y catedrático del área de Lenguajes y Sistemas Informáticos de la Universitat Politècnica de València. Su actividad investigadora se centra en el desarrollo de técnicas y herramientas automáticas para mejorar la fiabilidad y eficiencia del software. Ha publicado más de 100 trabajos en revistas y conferencias internacionales. Ha participado en más de cincuenta comités científicos de revistas, conferencias y talleres de ámbito nacional e internacional. También ha publicado algunos artículos de divulgación.