Corrección de erratas PIA

1 files changed, 13 insertions, 15 deletions

diff --git a/pia/n1.lyx b/pia/n1.lyx
index af9b962..45180f6 100644
--- a/pia/n1.lyx
+++ b/pia/n1.lyx
@@ -99,12 +99,11 @@ Entscheidungsproblem
 \lang spanish
 , que pide un algoritmo para determinar si una proposición lógica se deriva
  o no de los axiomas en un sistema lógico que incluya la aritmética de Peano.
- En 1931, Gödel demuestra su 
+ En 1931, Gödel demuestra en su 
 \series bold
 teorema de incompletitud
 \series default
-, que afirma que tal sistema lógico no puede ser a la vez consistente y
- completo.
+ que tal sistema lógico no puede ser a la vez consistente y completo.
  En 1936, Alan Turing y Alonzo Church, de forma independiente, crean respectivam
 ente las 
 \series bold
@@ -453,7 +452,7 @@ programa funcional
  No hay estado ni asignaciones, ni secuenciación o repetición ya que la
  evaluación de una expresión no afecta a otras, pero los usos de estas se
  pueden simular mediante recursividad.
- Se usan funciones sentido matemático, cuyo valor devuelto depende sólo
+ Se usan funciones en sentido matemático, cuyo valor devuelto depende sólo
  de los parámetros de entrada, y se tiene 
 \series bold
 transparencia referencial
@@ -493,16 +492,15 @@ lenguajes funcionales
 \series bold
 Inferencia de tipos
 \series default
-, en el que el programador no tiene que declarar el tipo de los valores
+, con la que el programador no tiene que declarar el tipo de los valores
  en la mayoría de los casos sino que el compilador lo deduce, aunque el
  programador puede declarar el tipo para que el compilador lo compare con
  el tipo inferido.
  Esto aumenta la concisión respecto a los lenguajes en los que hay que declarar
  los tipos explícitamente, y da mayor seguridad y eficiencia respecto a
  los lenguajes con tipos dinámicos ya que evita tener que comprobar los
- tipos en tiempo de ejecución y evita errores en tiempo de ejecución cuando
- estas comprobaciones fallan, pues las comprobaciones ya se han hecho al
- compilar.
+ tipos en tiempo de ejecución y los errores que aparecen cuando estas comprobaci
+ones fallan, ya que las comprobaciones se han hecho al compilar.
 \end_layout
 
 \begin_layout Itemize
@@ -510,9 +508,9 @@ Inferencia de tipos
 \series bold
 Polimorfismo
 \series default
-, en que el tipo de los parámetros o la salida de una función dependen de
- uno o más parámetros, permitiendo una mayor reutilización del código al
- no tener que repetir algoritmos para estructuras similares.
+, con el que el tipo de los parámetros o la salida de una función dependen
+ de uno o más parámetros, permitiendo una mayor reutilización del código
+ al no tener que repetir algoritmos para estructuras similares.
 \end_layout
 
 \begin_layout Itemize
@@ -520,9 +518,9 @@ Polimorfismo
 \series bold
 Evaluación perezosa
 \series default
-, en que no se evalúa un argumento hasta que se necesita, evaluando después
- de sustituirlo en la definición de la función, aunque guardando el valor
- evaluado por eficiencia.
+, no evaluando un argumento hasta que se necesita, evaluando después de
+ sustituirlo en la definición de la función, aunque guardando el valor evaluado
+ por eficiencia.
  Esto es en contraposición a la tradicional 
 \series bold
 evaluación ansiosa
@@ -600,7 +598,7 @@ notación lambda
 \end_inset
 
 .
- Esto se conoce como 
+ A esto se le llama 
 \series bold
 currificación
 \series default