Teorii eficiente în practica programării

Titlul original:

Effective Theories in Programming Practice

Conținutul cărții:

Teoria seturilor, logica, matematica discretă și algoritmii fundamentali (împreună cu corectitudinea și analiza complexității lor) vor rămâne întotdeauna utile pentru profesioniștii din domeniul informaticii și trebuie să fie înțelese de studenții care doresc să aibă succes.

Acest manual explică un număr din acești algoritmi fundamentali studenților programatori într-o manieră concisă, dar precisă. Cartea include materialul de bază necesar pentru a înțelege explicațiile și pentru a dezvolta astfel de explicații pentru alți algoritmi.

Autorul demonstrează că claritatea și simplitatea se obțin nu prin evitarea formalismului, ci prin utilizarea lui adecvată. Cartea este de sine stătătoare, presupunând doar o pregătire în matematică de liceu și abilități elementare de scriere de programe. Ea nu presupune familiarizarea cu niciun limbaj de programare specific.

Pornind de la concepte de bază despre seturi, funcții, relații, logică și tehnici de demonstrație, inclusiv inducția, este introdus cadrul matematic necesar pentru raționamentul despre corectitudinea, terminarea și eficiența programelor, cu exemple la fiecare etapă. Cartea conține dezvoltarea sistematică, pornind de la teorii adecvate, a unei varietăți de algoritmi fundamentali legați de căutare, sortare, potrivire, probleme legate de grafice, metodologia programării recursive și tehnici de programare dinamică, culminând cu structuri recursive paralele.