1 Concepte de programare. - 1. 1 O prezentare informală a SETL. - 1. 2 Sfaturi pentru potențialul programator. - 1. 3 pași de programare: cum să rulați programul și să citiți rezultatele acestuia. - 1. 4 Cum se introduce un program: seturi de caractere. - 1. 5 Anexă: Mai multe despre cum să citiți lista de ieșiri. - 2 tipuri de date simple, expresii și operații. - 2. 1 Principalele clase de obiecte de date. - 2. 2 tipuri simple și constantele lor. - 2. 3 identificatori variabili. - 2. 4 Expresii și afirmații. - 2. 5 operațiuni cu tipuri de date simple. - 3 tipuri de date compuse și operatori. - 3. 1 Seturi și denotații de set. - 3. 2 Tuple. - 3. 3 Hărți. - 3. 4 Dimensiunea obiectelor compozite: operatorul . - 3. 5 Operațiuni de setare și formatoare de set. - 3. 6 Operațiuni de tuple și formatoare de tuple. - 3. 7 formatori de tuple; Iteratoare simple de tuple și șir. - 3. 8 Operațiuni de hartă. - 3. 9 operatori compuși. - 3. 10 tipuri și operatori de testare de tip. - 3. 11 Tul? Operator. - 3. 12 Forma generală a atribuirii SETL: Operatorii de la frome și fromb. - 3. 13 Reguli de prioritate a operatorului. - 3. 14 Om și erori. - 4 Structuri de control. - 4. 1 Declarația if. - 4. 2 Declarația de caz. - 4. 3 bucle. - 4. 4 Declarația goto. - 4. 5 Instrucțiunea stop. - 4. 6 Declarația afirmației. - 4. 7 Exemple de programare. - 4. 8 Citirea și scrierea datelor. - 5 Proceduri. - 5. 1 Scrierea și utilizarea procedurilor. - 5. 2 domenii de aplicare ale numelui; Nume de variabile locale și globale: Declarația var. - 5. 3 Exemple de programare 177 5. 3. 1 Problema găleților și a puțurilor: un exemplu simplu de inteligență artificială. - 5. 4 Proceduri recursive. - 5. 5 proceduri care își modifică parametrii. - 5. 6 Alte facilități legate de procedură. - 5. 7 Reguli de stil în utilizarea procedurilor. - 5. 8 Primitive de scanare a șirurilor. - 5. 9 Utilizarea atomilor. - 6 Testarea și depanarea dezvoltării programelor. - 6. 1 Bug-uri: cum să le minimizați. - 6. 2 Găsirea bug-urilor. - 6. 3 O listă de verificare a erorilor comune. - 6. 4 Testarea programului. - 6. 5 Analiza eficienței programului. - 6. 6 Verificarea formală a programelor. - 6. 7 influențe formative asupra dezvoltării programelor. - 6. 8 Referințe la materiale despre structuri alternative de date: referințe pentru materiale suplimentare despre algoritmi. - 7 Retrospectivă. - 7. 1 Retrospectivă. - 8 Structurarea programelor SETL mari. - 8. 1 Declarația const. - 8. 2 Macrocomenzi. - 8. 3 Exemple de programare. - 8. 4 programe module biblioteci și directoare: structurarea construcțiilor pentru programe SETL mari. - 9 Intrare/ieșire și comunicare cu mediul. - 9. 1 Facilități de intrare-ieșire. - 9. 2 Utilizarea bibliotecilor de incluziune. - 9. 3 Comenzi de control al listării. - 9. 4 Operatori de mediu și parametri de comandă SETL. - 10 Sublimbajul de reprezentare a datelor. - 10. 0 Implementarea primitivelor SETL. - 10. 1 Reprezentarea standard pentru tuple. - 10. 2 Reprezentarea standard pentru mulțimi. - 10. 3 Declarații de tip. - 10. 4 Declarații de bază. - 10. 5 seturi de bază formate numai din atomi. - 10. 6 baze constante. - 10. 7 Reprezentările pline. - 10. 8 Linii directoare pentru utilizarea eficientă a sublimbajului de reprezentare a datelor. - 11 Limbajul în acțiune: o galerie de exemple de programare. - 11. 1 Căi euleriene într-un grafic. - 11. 2 Sortare topologică. - 11. 3 Problema atribuirii stabile. - 11. 4 Un program de pregătire a textului. - 11. 5 Un sistem simplificat de păstrare a evidențelor financiare. - 11. 6 Un simulator de mașină Turing. - 11. 7 Codificarea Huffman a fișierelor text. - 11. 8 Un program de joc. - 11. 9 Implementarea unui macroprocesor. - Anexa A Cuvinte rezervate SETL. - Anexa B Diagrame de sintaxă. - B. 1 Structura lexicală. - B. 2 Structura programului. - B. 3 Formulare declarative. - B. 4 Formulare de declarație. - B. 5 Expresii. Limba: Engleză