Manual programación lógica y funcional

Aplicaciones de la Lógica al Desarrollo del Software.
Volumen I: Lógica ecuacional y lenguajes funcionales.

.op cont-frac : int -> float . .op cont-frac-rec : int int -> float . vars K N : int . eq cont-frac(N) = cont-fracrec(1, N) . ceq cont-frac-rec(K, N) = K / ((K * K) + cont-frac-rec((K + 1), N)) if(KN) . .....

Fernando Arango Isaza
Julio de 2008

Datos de catalogaciónbibliográfica

ARANGO I. F. Aplicaciones de la Lógica al Desarrollo de Software. ISBN: MATERIA: Informática 681.3 Formato: Digital

FERNANDO ARANGO I. Aplicaciones de la Lógica al Desarrollo de Software.
No está permitida la reproducción total o parcial de esta obra Ni su tratamiento o transmisión por cualquier medio o método Sin autorización escrita de la Editorial. DERECHOS RESERVADOS2008 respecto a la primera edición, por: FERNANDO ARANGO ISAZA Profesor Asociado, Facultad de Minas, Universidad nacional de Colombia, Sede Medellín. ISBN:

TABLA DE CONTENIDO

TABLA DE CONTENIDO ......................................................................................................................... I PREFACIO A LA ENTREGA COMO TRABAJO DE AÑO SÁBATICO.......................................... VII AGRADECIMIENTOS ............................................................................................................................ IX CAPÍTULO 1.............................................................................................................................................. 1 EVOLUCIÓN DE LOS LENGUAJES DE PROGRAMACIÓN............................................................... 1 1.1 1.2 1.2.1 1.2.2 1.2.3 1.3 1.4 1.5 1.5.1 1.5.2 1.5.3 1.5.4 1.5.5 INTRODUCCIÓN. .......................................................................................................................... 2 LA MÁQUINA DE ESTADOS. ......................................................................................................... 3 Vista Internadel Computador ................................................................................................ 3 El Proceso Computacional..................................................................................................... 5 La Máquina de Estados.......................................................................................................... 5 LOS PROGRAMAS DELCOMPUTADOR. .......................................................................................... 6 LENGUAJES DE PROGRAMACIÓN .................................................................................................. 8 EVOLUCIÓN DE LOS LENGUAJES DE PROGRAMACIÓN. ................................................................... 9 Primera Generación: Lenguaje de Máquina.......................................................................... 9 Segunda Generación: Lenguaje Ensamblador. .................................................................... 10 Tercera Generación: Lenguajes Procedurales. .................................................................... 11 Cuarta Generación: SQL y LenguajesDeclarativos............................................................. 14 Quinta Generación: Uso de la Lógica. ................................................................................ 15

CAPÍTULO 2............................................................................................................................................ 17 EVOLUCIÓN DE LOS PARADIGMAARQUITECTÓNICOS............................................................. 17 2.1 2.2 2.3 2.3.1 2.3.2 2.3.3 2.4 2.4.1 2.4.2 2.4.3 2.4.4 2.5 2.5.1 2.5.2 2.5.3 2.5.4 2.6 INTRODUCCIÓN ......................................................................................................................... 18 PARADIGMA DE INSTRUCCIONES. ............................................................................................... 19 PARADIGMA DE FUNCIONES (O...