Efektívne teórie v programátorskej praxi

Pôvodný názov:

Effective Theories in Programming Practice

Obsah knihy:

Teória množín, logika, diskrétna matematika a základné algoritmy (spolu s analýzou ich správnosti a zložitosti) budú vždy užitočné pre profesionálov v oblasti výpočtovej techniky a musia im rozumieť študenti, ktorí chcú uspieť.

Táto učebnica vysvetľuje študentom programovania viaceré z týchto základných algoritmov stručným, ale presným spôsobom. Kniha obsahuje základný materiál potrebný na pochopenie vysvetlení a na vypracovanie takýchto vysvetlení pre ďalšie algoritmy.

Autor dokazuje, že zrozumiteľnosť a jednoduchosť sa nedosahuje vyhýbaním sa formalizmu, ale jeho správnym používaním. Kniha je samostatná, predpokladá len základy stredoškolskej matematiky a základné zručnosti v písaní programov. Nepredpokladá znalosť žiadneho konkrétneho programovacieho jazyka.

Počnúc základnými pojmami množín, funkcií, relácií, logiky a techník dokazovania vrátane indukcie sa v každej fáze na príkladoch predstavuje potrebný matematický rámec na uvažovanie o správnosti, ukončení a efektívnosti programov. Kniha obsahuje systematický vývoj rôznych základných algoritmov súvisiacich s vyhľadávaním, triedením, porovnávaním, problémami súvisiacimi s grafmi, metodikou rekurzívneho programovania a technikami dynamického programovania, pričom vrcholom sú paralelné rekurzívne štruktúry.