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 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. Aún más curioso es 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 hasta hacer del ordenador una realidad que ha cambiado nuestro mundo.
- Cover
- Title page
- Copyright page
- Índice general
- 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
Text
Audio
Adobe DRM
Login to your account