PROJEKTOWANIE PROGRAMÓW POPRAWNYCH I DOBRZE ZBUDOWANYCH

S. Alagić

M.A. Arbib

Wydawnictwo: WNT, 1982
Oprawa: miękka
Stron: 294
Stan: bardzo dobry (-), nieaktualne pieczątki

W książce przedstawiono techniki zstępującego projektowania programów i sprawdzania ich poprawności. Podano reguły dowodzenia poprawności algorytmu dla rozmaitych struktur programowych, omówiono różne metody strukturalizacji danych. Książka może też służyć jako podręcznik programowania w języku Pascal. Książka jest przeznaczona dla programistów, projektantów systemów przetwarzania informacji, pracowników nauki zajmujących się informatyką oraz dla studentów kierunków informatycznych.

SPIS TREŚCI:

Przedmowa

1. Wprowadzenie do projektowania zstępującego
11 Idea projektowania zstępującego   
12 Przykład: największy wspólny dzielnik   
13 Język programowania i język maszynowy    

2 Podstawowe złożenia czynności i reguły dowodu dla nich
21 Relacje związane z poprawnością programu    
22 Formuły logiczne i wyrażenia języka Pascal   
23 Reguły dowodzenia dla instrukcji prostych   
24 Instrukcje złożone i warunkowe   
25 Instrukcje iteracyjne   
26 Wykaz podstawowych reguł dowodzenia    
27 Stosowanie podstawowych reguł dowodzenia   
28 Skończoność algorytmów   
Uwagi bibliograficzne   
Ćwiczenia   

3 Typy danych
31 Wstęp   
32 Elementarz teorii zbiorów ....
33 Typy skalarne. .        
34 Tablice, rekordy i pliki   
35 Przetwarzanie tablic   
36 Przetwarzanie plików i rekordów .
37 Manipulacje na zbiorach w Pascalu
Uwagi bibliograficzne   
Ćwiczenia   

4 Projektowanie programów z dowodami poprawności
41 Wstęp   
42 Kwadraty i palindromy   
Sortowanie tablic i plików
43 Manipulacje na zbiorach . Uwagi bibliograficzne . . Ćwiczenia   

5 Procedury i funkcje
51 Procedury i struktura blokowa . . . .
52 Funkcje i dowodzenie ich poprawności
53 Dowodzenie poprawności procedur . .
Uwagi bibliograficzne   
Ćwiczenia   

6 Rekurencja
61 Wstęp . . . . •   
62 Projektowanie i poprawność procedur rekurencyjnych . .
63 Rekurencyjne typy danych   
64 Algorytmy rekurencyjne i rekurencyjne struktury danych
Uwagi bibliograficzne   
Ćwiczenia   

7 Programowanie ze skokami i bez skoków
71 Instrukcje skoku   
72 Reguły dowodzenia dla instrukcji skoku    
73 Wyjścia powrotne i algorytm Znalezienie   
74 Wyjścia awaryjne i algorytm Szukanie   
75 Wyjścia ze środka pętli   
Uwagi bibliograficzne   
Ćwiczenia   

Dodatek. Reguły dowodzenia
Literatura
Słownik pojęć
Skorowidz