Hatékony elméletek a programozási gyakorlatban

Eredeti címe:

Effective Theories in Programming Practice

Könyv tartalma:

A halmazelmélet, a logika, a diszkrét matematika és az alapvető algoritmusok (valamint azok helyessége és komplexitáselemzése) mindig hasznosak maradnak a számítástechnikai szakemberek számára, és a sikerre vágyó hallgatóknak is meg kell érteniük őket.

Ez a tankönyv számos ilyen alapvető algoritmust tömören, mégis pontosan elmagyaráz a programozó hallgatóknak. A könyv tartalmazza a magyarázatok megértéséhez és más algoritmusok ilyen magyarázatainak kidolgozásához szükséges háttéranyagot.

A szerző bemutatja, hogy a világosság és az egyszerűség nem a formalizmus elkerülésével, hanem annak megfelelő használatával érhető el. A könyv önálló, csupán középiskolai matematikai hátteret és elemi programírói ismereteket feltételez. Nem feltételezi semmilyen konkrét programozási nyelv ismeretét.

A halmazok, függvények, relációk, logika és bizonyítási technikák, köztük az indukció alapfogalmaitól kezdve a programok helyességére, befejezésére és hatékonyságára vonatkozó következtetésekhez szükséges matematikai keretet mutatja be, minden egyes szakaszban példákkal illusztrálva. A könyv tartalmazza a megfelelő elméletekből kiindulva a kereséssel, rendezéssel, illesztéssel, gráfokkal kapcsolatos problémákkal, a rekurzív programozás módszertanával és a dinamikus programozási technikákkal kapcsolatos számos alapvető algoritmus szisztematikus kidolgozását, amely a párhuzamos rekurzív struktúrákban csúcsosodik ki.