Introducción a la Informática. Modelos de Cómputo.

Título: INTRODUCCIÓN A LA INFORMÁTICA. MODELOS DE CÓMPUTO
Autor: CESAR LLAMAS BELLO
Páginas: 336
Formato: 17 x 24 cms
ISBN: 8497322797
Año: 2004

• Enlace a Thomson-Paraninfo.
• Presentación. (Extracto del libro en HTML)
• Tabla de contenidos. (En formato PDF)
• Erratas detectadas:
  En esta lista trataré de indicar las erratas de las que tengo noticia, y agradezco de antemano a cualquier lector que tenga a bien enviarme su opinión particular y las erratas que pueda detectar en el contenido a la dirección cllamas@infor.uva.es.
  
  
• Capítulo 2:
1. Página 23, párrafo 3, línea 2:
   donde dice: … coma decimal a izquierda o a derecha.
   debe decir: … coma decimal a izquierda y a derecha rellenando con ceros si es preciso.
• Capítulo 3:
1. Página 61, párrafo 5, línea 1:
   donde dice: … la realización dew operaciones …
   debe decir: … la realización de operaciones …
2. Página 66, párrafo 7, línea 1:
   donde dice: buchos textos se …
   debe decir: Muchos textos se …
• Capítulo 4:
1. Página 79, párrafo 5, línea 4:
   donde dice: … y E₂{(v,a), (z,d)}. …
   debe decir: … y E₂={(v,a), (z,d)}. …
2. Página 84, Ejemplo 4.2.5, (fórmula aislada):
   donde dice: t+5[t:=m+1] = t+5[t:=k-7]
   debe decir: t+5[t:=2 ´ m+1] = t+5[t:=k-7]
   donde dice: (m+1)+5 = (k-7)+5
   debe decir: (2 ´ m+1)+5 = (k-7)+5
3. Página 84, Ejercicio 4.2.15:
   donde dice: … a la expresión <<x+y>> con la expresión << …
   debe decir: … con la expresión <<x+y>> y con la expresión << …
• Capítulo 5:
1. Página 101, párrafo 4, línea 1:
   donde dice: En una lógica sólida …
   debe decir: Dada una estructura, en una lógica sólida …
2. Página 103, párrafo 9, línea 4:
   donde dice: … con la definición clásica de “programa correcto”.
   debe decir: … con los procesos engendrados por lo que se define habitualmente como “programa correcto”.
3. Página 104, Figura 5.5 línea 4:
   donde dice: … son distintos. T de otro modo.
   debe decir: … son distintos. ^ de otro modo.
• Capítulo 6:
1. Página 122, párrafo 4, línea 4:
   donde dice: Cada una de las nueve proposiciones …
   debe decir: Cada una de las seis proposiciones …
2. Página 126, párrafo 2 (desde el final), línea 3:
   donde dice: … no pasaba en la lógica de predicados …
   debe decir: … no pasaba en la lógica de proposiciones …
3. Página 139, Figura 6.3, línea 3:
   donde dice: El algún momento …
   debe decir: En algún momento …
4. Página 140, párrafo 1, línea 4:
   donde dice: … dos predicados temporales …
   debe decir: … dos tipos de predicados temporales …
• Capítulo 7:
1. Página 153, (lista de ejemplos de conversiones beta):
   quitar la segunda línea: (x y) –alfaà (z y)
2. Página 161, línea 9 desde el final:
   donde dice: + 3 2 …
   debe decir: x 3 2 …
3. Página 163, tercera línea (expresión matemática):
   donde dice: x = lambda m n. ( …
   debe decir: x : lambda m n. ( …
4. Página 165, párrafo 4, línea 3:
   donde dice: << (lambda f. x (lambda y. y z) f) v >>
   debe decir: << (lambda f. x ((lambda y. y z) f)) v >>
• Capítulo 9:
1. Página 226, párrafo 6, línea 4:
   donde dice: … debe provenir de una transición.
   debe decir: … debe provenir de un lugar.