TY - BOOK AU - AU - TI - Construccion lógica de programas : teoría y problemas resueltos / Luis García Sánchez SN - 9789701507940 U1 - 005.01 PY - 2002/// CY - México, D.F., México: PB - RA-MA, KW - LÓGICA SIMBÓLICA Y MATEMÁTICA KW - PROGRAMACIÓN LÓGICA KW - PROGRAMACIÓN PARA COMPUTADORAS N1 - Bibliografía : p. [291]; 1. La especificación de un problema.-- 2. La estructura de los datos a la entrada .-- 3. Organización del programa lógico.-- 4. El conjunto de las instrucciones.-- 5. EL caso 0 a n.-- 6. Los ensayos.-- 7. Modificación de los programas.-- 8. Las fases del tratamiento.-- 9. Las estructuras complejas ER -