1 Koncepcje programowania. - 1. 1 Nieformalny przegląd SETL. - 1. 2 rady dla niedoszłego programisty. - 1. 3 kroki programowania: jak uruchomić program i odczytać jego wyniki. - 1. 4 Jak wpisać program: Zestawy znaków. - 1. 5 Dodatek: Więcej informacji o tym, jak czytać listę wyników. - 2 proste typy danych, wyrażenia i operacje. - 2. 1 Główne klasy obiektów danych. - 2. 2 Proste typy i ich stałe. - 2. 3 Identyfikatory zmiennych. - 2. 4 Wyrażenia i stwierdzenia. - 2. 5 operacji z prostymi typami danych. - 3 złożone typy danych i operatory. - 3. 1 Zestawy i oznaczenia zestawów. - 3. 2 krotki. - 3. 3 Mapy. - 3. 4 Rozmiar obiektów złożonych: operator . - 3. 5 Operacje na zestawach i formach zestawów. - 3. 6 Operacje krotek i formery krotek. - 3. 7 Krotki; Proste iteratory krotek i ciągów. - 3. 8 Operacje na mapie. - 3. 9 Operatory złożone. - 3. 10 typów i operatorów badań typu. - 3. 11 Ten? Operator. - 3. 12 Ogólna forma przypisania SETL: Operatorzy z frome i fromb. - 3. 13 Zasady pierwszeństwa operatorów. - 3. 14 om i błędy. - 4 Struktury kontrolne. - 4. 1 Instrukcja if. - 4. 2 Oświadczenie o sprawie. - 4. 3 pętle. - 4. 4 Instrukcja goto. - 4. 5 Instrukcja stop. - 4. 6 Oświadczenie assert. - 4. 7 przykładów programowania. - 4. 8 Odczyt i zapis danych. - 5 Procedury. - 5. 1 Pisanie i używanie procedur. - 5. 2 zakresy nazw; Nazwy zmiennych lokalnych i globalnych: Deklaracja var. - 5. 3 Przykłady programowania 177 5. 3. 1 Problem z wiadrami i studnią: prosty przykład sztucznej inteligencji. - 5. 4 Procedury rekurencyjne. - 5. 5 procedur, które modyfikują ich parametry. - 5. 6 Inne udogodnienia związane z zabiegami. - 5. 7 Zasady stylu w stosowaniu procedur. - 5. 8 Prymitywy skanowania ciągów. - 5. 9 Użycie atomów. - 6 Programowanie, testowanie i debugowanie. - 6. 1 Błędy: jak je zminimalizować. - 6. 2 Znajdowanie błędów. - 6. 3 Lista kontrolna typowych błędów. - 6. 4 Testowanie programu. - 6. 5 Analiza efektywności programu. - 6. 6 Weryfikacja formalna programów. - 6. 7 Czynniki kształtujące rozwój programu. - 6. 8 Odniesienia do materiałów dotyczących alternatywnych struktur danych: Odniesienia do dodatkowych materiałów na temat algorytmów. - 7 Wycofywanie się. - 7. 1 Cofanie się. - 8 Strukturyzacja dużych programów SETL. - 8. 1 Deklaracja konst. - 8. 2 Makra. - 8. 3 Przykłady programowania. - 8. 4 Moduły programów, biblioteki i katalogi: strukturyzacja konstrukcji dla dużych programów SETL. - 9 Wejście/wyjście i komunikacja z otoczeniem. - 9. 1 Urządzenia wejścia-wyjścia. - 9. 2 Korzystanie z bibliotek inkluzyjnych. - 9. 3 Polecenia sterowania listą. - 9. 4 Operatory środowiska i parametry komendy SETL. - 10 Podjęzyk reprezentacji danych. - 10. 0 Implementacja prymitywów SETL. - 10. 1 Standardowa reprezentacja krotek. - 10. 2 Standardowa reprezentacja dla zestawów. - 10. 3 Deklaracje typu. - 10. 4 Deklaracje bazowe. - 10. 5 zestawów podstawowych składających się tylko z atomów. - 10. 6 stałych podstaw. - 10. 7 Wypełnione reprezentacje. - 10. 8 Wytyczne dotyczące efektywnego korzystania z podjęzyka reprezentacji danych. - 11 Język w działaniu: galeria przykładów programowania. - 11. 1 Ścieżki Eulera na wykresie. - 11. 2 Sortowanie topologiczne. - 11. 3 Problem ze stabilnym przypisaniem. - 11. 4 Program do przygotowania tekstu. - 11. 5 Uproszczony system prowadzenia dokumentacji finansowej. - 11. 6 Symulator maszyny Turinga. - 11. 7 Kodowanie plików tekstowych Huffmana. - 11. 8 Program do gier. - 11. 9 Implementacja makroprocesora. - Dodatek A SETL Słowa zastrzeżone. - Dodatek B Diagramy składniowe. - B. 1 Struktura leksykalna. - B. 2 Struktura programu. - B. 3 Formy oznajmujące. - B. 4 Formularze oświadczeń. - B. 5 Wyrażenia. Język: angielski