1 Conceptos de programación. - 1. 1 Una descripción general informal de SETL. - 1. 2 Consejos para el aspirante a programador. - 1. 3 pasos de programación: cómo ejecutar su programa y leer sus resultados. - 1. 4 Cómo escribir un programa: conjuntos de caracteres. - 1. 5 Apéndice: Más información sobre cómo leer su listado de salida. - 2 Tipos de datos, expresiones y operaciones simples. - 2. 1 Las clases principales de objetos de datos. - 2. 2 tipos simples y sus constantes. - 2. 3 identificadores de variables. - 2. 4 Expresiones y declaraciones. - 2. 5 Operaciones con tipos de datos simples. - 3 Tipos de datos compuestos y operadores. - 3. 1 Conjuntos y denotaciones de conjuntos. - 3. 2 Tuplas. - 3. 3 mapas. - 3. 4 El tamaño de los objetos compuestos: el operador . - 3. 5 Operaciones de conjuntos y formadores de conjuntos. - 3. 6 Operaciones de tupla y formadores de tuplas. - 3. 7 formadores de tupla; Tupla simple e iteradores de cadena. - 3. 8 Operaciones de mapa. - 3. 9 operadores compuestos. - 3. 10 tipos y operadores de prueba de tipo. - 3. 11 ¿El? Operador. - 3. 12 Forma general de la asignación SETL: Los operadores de frome y fromb. - 3. 13 Reglas de precedencia del operador. - 3. 14 Om y Errores. - 4 Estructuras de control. - 4. 1 La declaración if. - 4. 2 La declaración del caso. - 4. 3 bucles. - 4. 4 La declaración goto. - 4. 5 La declaración stop. - 4. 6 La declaración assert. - 4. 7 ejemplos de programación. - 4. 8 Lectura y escritura de datos. - 5 Procedimientos. - 5. 1 Escribir y usar procedimientos. - 5. 2 ámbitos de nombre; Nombres de variables locales y globales: la declaración var. - 5. 3 Ejemplos de programación 177 5. 3. 1 El problema de los cubos y el pozo: un ejemplo simple de inteligencia artificial. - 5. 4 Procedimientos recursivos. - 5. 5 procedimientos que modifican sus parámetros. - 5. 6 Otras instalaciones relacionadas con el procedimiento. - 5. 7 Reglas de estilo en el uso de procedimientos. - 5. 8 primitivas de escaneo de cadenas. - 5. 9 Uso de átomos. - 6 Pruebas y depuración de desarrollo de programas. - 6. 1 Errores: cómo minimizarlos. - 6. 2 Encontrar errores. - 6. 3 Una lista de verificación de errores comunes. - 6. 4 Pruebas del programa. - 6. 5 Análisis de la eficiencia del programa. - 6. 6 Verificación formal de programas. - 6. 7 influencias formativas en el desarrollo del programa. - 6. 8 Referencias a material sobre estructuras de datos alternativas: Referencias para material adicional sobre algoritmos. - 7 Retroceso. - 7. 1 Retroceder. - 8 Estructuración de grandes programas SETL. - 8. 1 La Declaración const. - 8. 2 macros. - 8. 3 ejemplos de programación. - 8. 4 Programas, Módulos, Bibliotecas y Directorios: Estructuración de Construcciones para Programas SETL Grandes. - 9 Entrada/Salida y Comunicación con el Medio Ambiente. - 9. 1 Instalaciones de entrada-salida. - 9. 2 Uso de bibliotecas de inclusión. - 9. 3 comandos de control de listado. - 9. 4 operadores de entorno y parámetros de comando SETL. - 10 El sublenguaje de representación de datos. - 10. 0 Implementación de las primitivas SETL. - 10. 1 La representación estándar de las tuplas. - 10. 2 La representación estándar para conjuntos. - 10. 3 declaraciones de tipo. - 10. 4 Declaraciones de base. - 10. 5 conjuntos de bases que consisten solo en átomos. - 10. 6 Bases constantes. - 10. 7 Las representaciones abarrotadas. - 10. 8 Directrices para el uso eficaz del sublenguaje de representación de datos. - 11 El lenguaje en acción: una galería de ejemplos de programación. - 11. 1 Caminos eulerianos en un grafo. - 11. 2 Ordenación topológica. - 11. 3 El problema de la asignación estable. - 11. 4 Un programa de preparación de textos. - 11. 5 Un sistema simplificado de mantenimiento de registros financieros. - 11. 6 Un simulador de máquina de Turing. - 11. 7 Codificación Huffman de archivos de texto. - 11. 8 Un programa de juego. - 11. 9 Implementación de un macroprocesador. - Apéndice A SETL Palabras reservadas. - Apéndice B Diagramas de sintaxis. - B. 1 Estructura léxica. - B. 2 Estructura del programa. - B. 3 Formas declarativas. - B. 4 Formularios de declaración. - B. 5 expresiones. Idioma: Inglés