Skuteczne teorie w praktyce programistycznej

Oryginalny tytuł:

Effective Theories in Programming Practice

Zawartość książki:

Teoria zbiorów, logika, matematyka dyskretna i podstawowe algorytmy (wraz z ich poprawnością i analizą złożoności) zawsze pozostaną przydatne dla profesjonalistów komputerowych i muszą być rozumiane przez studentów, którzy chcą odnieść sukces.

Niniejszy podręcznik w zwięzły, ale precyzyjny sposób wyjaśnia studentom programowania wiele z tych podstawowych algorytmów. Książka zawiera podstawowe materiały potrzebne do zrozumienia wyjaśnień i opracowania takich wyjaśnień dla innych algorytmów.

Autor pokazuje, że przejrzystość i prostotę osiąga się nie poprzez unikanie formalizmu, ale poprzez jego właściwe wykorzystanie. Książka jest samodzielna, zakładając jedynie znajomość matematyki na poziomie szkoły średniej i elementarne umiejętności pisania programów. Nie zakłada znajomości żadnego konkretnego języka programowania.

Począwszy od podstawowych pojęć zbiorów, funkcji, relacji, logiki i technik dowodowych, w tym indukcji, niezbędne ramy matematyczne do rozumowania o poprawności, zakończeniu i wydajności programów są wprowadzane z przykładami na każdym etapie. Książka zawiera systematyczny rozwój, w oparciu o odpowiednie teorie, różnych podstawowych algorytmów związanych z wyszukiwaniem, sortowaniem, dopasowywaniem, problemami związanymi z grafami, metodologią programowania rekurencyjnego i technikami programowania dynamicznego, kończąc na równoległych strukturach rekurencyjnych.