Algoritmické myšlení

Algoritmické myšlení je součást obecnějšího informatického myšlení, která se zaměřuje na navrhování algoritmů.

Co zahrnuje algoritmické myšlení?

Algoritmus je přesně daný postup, kterým řešíme určitý problém. Algoritmické myšlení se typicky využívá při programování, tj. při zápisu algoritmů, které provádí počítač. Má však svoje využití i v běžném životě: typickými příklady jednoduchých algoritmů jsou recepty na vaření nebo instrukce k sledování cesty z jednoho místa na druhé.

Algoritmické myšlení zahrnuje nejen tvorbu algoritmu, ale i další související kroky:

• Porozumění problému, jasná formulace problému.
• Abstrakce, rozklad problému na podčásti, odlišení podstatných prvků od těch, které jsou méně důležité.
• Zvážení různých přístupů k řešení problému, porovnání efektivity algoritmů, optimalizace postupů.
• Porozumění algoritmu, který vymyslel někdo jiný, a jeho provedení.
• Hledání a opravování chyb.

Algoritmické myšlení na Umíme informatiku

V rámci Umíme informatiku dělíme toto téma na několik podtémat:

• Rozpoznávání vzorů – vyhledávání společných vzorů a vlastností, vzory v posloupnostech, popis vzorů.
• Posloupnosti příkazů – algoritmy skládáme z příkazů seřazených do posloupnosti.
• Cykly a podmínky – opakované a podmíněné vykonávání příkazů.
• Proměnné – práce se stavovou informací, ukládání hodnot do proměnných.
• Funkce a zobecňování – zobecňování (abstrakce) vzorů, rozklad (dekompozice) problémů na části, použití funkcí.
• Vývoj programů – ladění, hledání chyb.

Příklady v této části staví především na „mikrosvětech“, což jsou jednoduchá, intuitivní prostředí s omezeným množstvím příkazů a současně zajímavou dynamikou. Jsou začleněny jak variace na často používané principy (želví grafika, robot na mřížce), tak originální variace jako kouzla nebo deaktivace bomby.

Pro zápis programů zde využíváme blokové programování, k jehož použití nabízíme samostatný metodický text pro učitele.

Abychom byli schopni řešit problémy, pracovat s daty a vymýšlet algoritmy, musíme být schopni hledat pravidelnosti a vzory. Nalezené vzory se následně snažíme využít pro hledání společných prvků a zobecňování, která nám umožní tvořit efektivní řešení.

Ilustrační, zjednodušený příklad ze života:

• Karlovi neustále dochází peníze, tak si začal zapisovat výdaje.
• Nejdříve si do sešitku zapisuje výdaje zcela konkrétně, např. „kniha Hobit, 243 Kč“, „chleba a sýr na večeři, 58 Kč“. Z takového zápisu je ale těžké se poučit.
• Karel prohlédne výdaje, najde pravidelně se vyskytující typy výdajů a použije zobecňování: výdaje rozdělí do vhodných kategorií („jídlo“, „oblečení“, „studium“, …).
• Následně si výdaje přepíše do tabulkového editoru. Ten mu umožní snadno vypočítat celkové výdaje v jednotlivých kategoriích.
• Karel tak zjistí, že utrácí až příliš za oblečení. Ví, na čem je, a může s tím něco dělat.

Než se vrhneme na hledání složitějších vzorů, hodí se umět rozpoznat vzory, které jsou úplně stejné. Ani to totiž nemusí být úplně jednoduché. Někdy je potřeba se dobře soustředit na detaily. Jindy mohou být vzory sice stejné, ale trochu jinak otočené a na rozpoznání těch stejných musíme zapojit prostorovou představivost.

Abychom mohli hledat vzory a vytvářet algoritmy, musíme si umět všímat společných vlastností mezi věcmi, které třeba na první pohled vypadají rozmanitě. Hledání společných vlastností je speciální případ Abstrakce, kterou při algoritmizaci často využíváme. Tuto dovednost využijeme například u Rozkladu obrázku na části.

Příklady:

• pes, ves, hrb, kos – společný počet písmen (3)
• kos, sova, vrabec, datel – společné téma (ptáci)
• brečí, výpravčí, lehčí, Meziříčí – společná písmena (slova končí na -čí)

Hledání pravidelností a vzorů v posloupnostech je užitečný trénink základního rozpoznávání vzorů. Pro základní trénink většinou používáme posloupnosti čísel či obrázků s přesně daným pravidelným chováním. Příklady tohoto typu se někdy používají i pro testování inteligence.

Ve složitějších variantách má hledání vzorů v posloupnostech v informatice mnoha aplikací: pomocí nalezených vzorů můžeme například předpovídat budoucí chování, odhalovat chyby v datech nebo provádět kompresi dat.

Pomocí programů můžeme zapisovat složité algoritmy a popisovat komplikované vzory. Ale pro zápis jednoduchých vzorů nepotřebujeme programovací jazyky, vystačíme klidně i se zápisem pomocí šipek. Ani to nemusí být úplně jednoduché. Třeba taková záměna pořadí šipek může vést k úplně jinému vzoru.

Velmi užitečný přístup k řešení problémů je rozložit problém na dílčí části, které jsou pokud možno co nejvíce nezávislé, a následně řešit tyto části jednu po druhé.

Příklad z běžného života: Potřebujeme se nachystat na putovní výlet na hory. Je potřeba zařídit spoustu věcí a můžeme se cítit přehlceni a snadno na něco důležitého zapomenout. Může pomoct, když si celkový problém příprava na hory rozdělíme na dílčí podproblémy: 1) naplánovat trasu a najít spoj, 2) vymyslet jídelníček a nakoupit jídlo, 3) nachystat tábornické vybavení a zkontrolovat jeho stav, 4) rozmyslet a nabalit oblečení. Tyto dílčí úkoly jsou do velké míry na sobě nezávislé a mohou je tudíž řešit různí lidé. I pokud je řeší ten stejný člověk, tak se při řešení dílčího podproblému může soustředit pouze na něj, což mu postup usnadní.

Příklad z programování: Programy nepíšeme jako dlouhé seznamy příkazů, ale dělíme je na funkce, z nichž každá řeší nějaký dílčí problém. Rozdělení na podproblémy je klíčovým prvkem dobrého návrhu programů.

Rozklad problémů na části je složitá dovednost, kterou se člověk učí dlouhodobou praxí. Pro základní trénink nabízíme příklady s obrázky. Složitě vypadající obrázek často lze vytvořit z jednoduchých částí, které pouze vhodným způsobem poskládáme.

Algoritmy se skládají z příkazů, které určují, co má počítač udělat (vypiš znak A, nakresli jablko, popojdi dopředu). Při programování je proto potřeba vědět, které příkazy máme k dispozici a jaký je jejich přesný význam. Významnou skupinou příkazů jsou příkazy pro vstup a výstup, které umožňují programu interagovat se světem.

Jednotlivé příkazy pak skládáme do posloupností, a tím výtváříme složitější programy. Důležité je pořadí příkazů – různé pořadí může vést k výrazně odlišnému chování (pokud se otočíme doprava a uděláme krok vpřed, dojdeme jinam, než když nejprve uděláme krok vpřed a teprve potom se otočíme). Posloupnosti příkazů můžeme navíc obalovat do bloků, které můžeme vykonávat opakovaně nebo podmíněně pomocí složených příkazů (tomu se budeme věnovat v tématu cykly a podmínky).

Programy se skládají z jednotlivých příkazů. V našich úlohách na procvičování můžete například potkat:

• příkazy pro vypsání textu nebo nakreslení jednoduchého obrázku: vypiš, nakresli,
• příkazy pro pohyb (dopředu, zatočit doprava),
• provedení kouzla (vyčaruj klobouk, změň na žábu).

Při praktickém programování používáme například příkazy pro vypsání textu na monitor, vykreslení obrázku, načtení informace ze souboru nebo uložení výsledku výpočtu do paměti počítače.

Z dílčích příkazů následně skládáme programy pomocí posloupností příkazů, opakování, podmínek a dalších metod.

Příkazy vstupu a výstupu umožňují programům interagovat se světem. Základní průběh výpočtu obsahuje posloupnost vstup → zpracování → výstup. Programy ale můžou obsahovat více příkazů vstupu i výstupu. Ve hře se po každém stisknutí šipky (vstup) vykreslí nová poloha ovládané postavy (výstup).

Příkazy vstupu

Příkazy vstupu získávají data ke zpracování. Vstup lze načítat buď od uživatele skrze různá vstupní zařízení (např. myš, klávesnice, dotykový displej), ze souboru uloženého v počítači (např. uložený stav hry), nebo ze senzorů vnímajících okolní prostředí (např. vzdálenost robota od překážky, zjištění barvy políčka, detekce hrany v Plošinovce).

Příkazy pro načítání vstupu typicky čekají na načtení dat (např. dokud uživatel nezadá odpověď), teprve potom program pokračuje dalším příkazem. Alternativou je definovat kód, který se spustí při určité vstupní události (např. kliknutí myši), toho se často využivá v hrách (i v Plošinovce) a jiných grafických aplikacích.

Příkazy výstupu

Příkazy výstupu předávají výsledek zpracování. Výstup lze předat buď uživateli skrze různá výstupní zařízení (monitor, reproduktor), uložit do souboru pro pozdější využití (např. uložení aktuálního stavu hry), nebo provedením akcí stroje vykonávajícího program (např. pohyb robota). Výstup může mít různou formu, například text (výpis na obrazovku), grafika (vykreslení herní scény), nebo zvuk (varovné pípnutí).

Programy s vstupem a výstupem

Ne všechny příkazy jsou vstupní či výstupní. Například následující program má 2 příkazy vstupu (načti), 4 příkazy výstupu (vypiš) a 1 příkaz pro zpracování načtených dat (nastav), který není ani vstupní, ani výstupní.

Některé programy nemusí mít žádný vstup – dělají pokaždé to samé. (Například programy v želví grafice kreslí vždy jeden konkrétní obrázek.) Všechny užitečné programy však mají nějaký výstup.

Základním krokem jakéhokoliv algoritmu je provádění posloupnosti akcí v předepsaném pořadí. Pořadí, v jakém akce provádíme, je důležité. Někdy je to úplně jasné. Když připravujeme palačinky, musíme nejdříve těsto zamíchat, a až potom dát na pánvičku. Kdybychom pořadí akcí prohodili, nedopadlo by to příliš palačinkově. Podobně to dopadne, když chystáme program pro robota. Pokud se robot nejdřív otočí a pak udělá krok, dopadne to jinak, než když udělá krok a pak se otočí.

Význam pořadí akcí je dobře vidět třeba ve cvičení ProgMalování, kde je velmi důležité, který obrázek nakreslíme dříve a který později:

Pořadí příkazů zapisujeme v programech stejně jako při psaní běžného textu: odshora dolů (případně zleva doprava).

Kromě jednoduchých příkazů (vypiš, jdi dopředu, zatoč) existují příkazy složené (opakuj, pokud), které umožňují kombinovat více příkazů dohromady a přehledně strukturovat kód do bloků. (V blokovém programování máme „blok“ pro každý příkaz, v textových programovacích jazycích se pojem „blok“ používá pouze pro složené příkazy.)

Využití složených příkazů

Složené příkazy se používají hlavně k řízení průběhu výpočtu (např. opakování příkazů, podmíněné příkazy. Lze je také využít na nastavení dočasného kontextu (např. soubor pro zápis dat, barva písma).

Struktura bloků

Složené příkazy mají většinou hlavičku a tělo. Tělo je libovolná posloupnost příkazů (např. vypiš A). Hlavička pak specifikuje, jak se tyto příkazy budou vykonávat (např. opakuj 3×). Bloky lze do sebe vnořovat – uvnitř bloku (složeného příkazu) může být další blok (složený příkaz) . V následujícím programu nastavuje vnější blok tučné písmo, vnořený (vnitřní) blok nastavuje žluté písmo. Písmena B a C jsou žluté i tučné.

Vymezení bloků

Důležité je správné určení, které příkazy jsou součástí těla bloku a které jsou už mimo něj. Různé programovací jazyky využívají různé přístupy k vymezení začátku a konce těla bloku, dva nejčastější způsoby jsou odsazení pomocí mezer a složené závorky. V následujícím programu jsou výpis A a B součástí bloku s tučným písmem (jsou odsazené), výpis C už je mimo něj (není odsazený).

V pokročilé informatice se rozlišuje souběžnost a paralelismus, zde však do těchto detailů nebudeme zacházet. Tyto pojmy označují souběh více dějů současně. To je pochopitelně něco, co se ve světě kolem nás děje neustále. Pokud se však snažíme vymýšlet algoritmická řešení problémů, je souběžnost většinou oříšek. Není totiž vůbec jednoduché souběh více událostí správně naplánovat.

Pro trénink přemýšlení o souběžnosti využijeme především úlohy na čtverečkované mřížce, kde se současně pohybuje několik agentů.

Průběh programu můžeme řídit pomocí cyklů a podmínek. Cykly umožňují vykonávat příkazy opakovaně: buď zadaný počet opakování (opakuj N×), nebo dokud platí nějaká podmínka (opakuj dokud). Podmíněné příkazy umožňují vykonat část programu, pouze pokud platí určitá podmínka.

Cykly a podmínky lze kombinovat – můžeme je do sebe vnořovat. Často se používají zejména podmínky uvnitř cyklů (opakované rozhodování) a cykly uvnitř cyklů (vnořené cykly).

Kdybychom všechny algoritmy vyjadřovali jako prostou posloupnost akcí, byly by často velmi dlouhé a nepřehledné. Proto se snažíme v problémech hledat pravidelnosti a vzory a ty následně vyjádřit v algoritmu pomocí opakovaného provádění stejných instrukcí.

Základní forma opakování je cyklus s pevně daným počtem opakování (v programovacích jazycích se běžně označuje jako for cyklus). Takto například dáme želvě pokyn, aby vykreslila čtverec (který se skládá ze 4 stejných stran):

Při zápisu opakování musíme dávat dobrý pozor na to, co je součástí cyklu a co je mimo něj. Příklad:

První příklad opakuje pouze vykreslování jablek, kreslení jahody je mimo cyklus. Ve druhém příkladě se opakuje vykreslování jablek i jahod. Ve třetím příkladě nejdříve nakreslíme tři jablka, potom tři jahody.

Můžeme též použít cyklus, který se opakuje tak dlouho, dokud není splněná zadaná podmínka. Tyto cykly pokrývá navazující téma opakuj dokud.

U většiny algoritmů potřebujeme, aby postup závisel na aktuálním stavu. Polévku musíme zahřívat a míchat, dokud nezačne vřít. Pokud při příjezdu na křižovatku svítí červená, auto musí zastavit.

Rozhodování podle podmínek zapisujeme pomocí slov pokud a jinak (v angličtině if a else). Názorné příklady:

Někdy větev „jinak“ nepoužíváme. Pokud podmínka není splněna, tak se v takovém případě neprovede žádná speciální akce:

Při vyjadřování podmínek často využíváme logické spojky (a zároveň, nebo, negace).

Kromě základních cyklů s pevně daným počtem opakování využíváme často v algoritmech i cyklus typu opakuj dokud. Tento cyklus se opakuje tak dlouho, dokud je splněna zadaná podmínka. V programovacích jazycích se pro zápis tohoto typu cykly využívá příkaz while.

Pozor na rozdíl oproti podobně znějícímu podmíněnému příkazu pokud. Tělo příkazu pokud se provede nejvýše jednou, zatímco tělo příkazu dokud se může provádět opakovaně.

Všimněte si, že po provedení cyklu podmínka neplatí (vláček není na žlutém políčku). Podmínka se vyhodnocuje ještě před prvním vykonáním těla cyklu. Pokud není splněna, tak se tělo cyklu neprovede ani jednou:

Jako u všech řídících bloků musíme dávat dobrý pozor na to, co je součástí cyklu a co je mimo něj:

Podmínka se kontroluje vždy před provedením celého bloku, nikoliv po každém příkazu:

Při vyjadřování podmínek často využíváme logické spojky (a zároveň, nebo, negace):

K rozhodování podle podmínky používáme podmíněný příkaz pokud. Pokud se potřebujeme rozhodovat opakovaně, můžeme podmíněný příkaz provádět opakovaně uvnitř cyklu. K opakování využíváme příkaz opakuj N× nebo opakuj dokud, případně rekurzi – vzájemně se volající funkce (ve cvičení Robotanik). Příklady:

V těle cyklu může být příkazů více. Pozornost je potřeba věnovat odsazení, které určuje, který příkaz je součástí cyklu a podmíněného příkazu. V následujícím programu je příkaz nahoru součástí vnořeného podmíněného příkazu (provede se 3×), příkaz doprava je součástí cyklu, ale nikoliv podmíněného příkazu (provede se 5×) a příkaz doleva je vně cyklu (provede se pouze jednou, po skončení cyklu).

K opakování příkazů slouží příkazy opakuj N× a opakuj dokud.

V těle cyklu mohou být nejen základní příkazy, ale třeba i další cyklus – ten nazýváme vnořený cyklus. Pro jeho použití nepotřebujeme žádný nový příkaz. Prostě jen cyklus zapíšeme (a odsadíme) uvnitř jiného cyklu:

Odsazení příkazů je důležité – určuje, co je součástí kterého cyklu. Kdyby bylo kreslení jahody odsazené více, bylo by součástí vnitřního cyklu:

Naopak, kdyby bylo kreslení jahody odsazené méně, nebylo by součástí žádného cyklu a provedlo by se až po dokončení vnějšího cyklu:

V programování je proměnná úložiště, které udržuje hodnotu. Tato hodnota se může v průběhu výpočtu měnit, od toho se také proměnná jmenuje proměnná.

Typickým příkladem použití proměnné je výpočet celkové ceny nákupu. Program v pokladně na začátku uloží do proměnné sum hodnotu 0. Při načtení každé položky nákupu, přičte její cenu do této proměnné.

Jiný příklad: V programu pro hraní piškvorek potřebujeme zjistit, jestli již jeden z hráčů vyhrál. Procházíme tedy jednotlivé směry na hracím plánu a v každém z nich počítáme, kolik křížků (či koleček) se vyskytuje v řadě za sebou. Tento počet si ukládáme v proměnné. Krom toho si do nějaké proměnné potřebujeme uložit i celý herní plán. V základních cvičeních však zůstaneme pouze u číselných proměnných, které vesměs budou fungovat jako jednoduché čítače.

Užitečná příprava na práci s proměnnými jsou úlohy, ve kterých programy mění stav zobrazený na plánku – napíklad barvu skřítka nebo přítomnost kámenů. Měněné atributy (barva skřítka, přítomnost kamenů) lze vnímat jako proměnné.

Základní práce s proměnnými zahrnuje přiřazování hodnot do proměnných, změnu hodnoty (zvýšení, snížení), využití proměnné ve výrazech a porovnávání proměnných. Užitečnost proměnných se však naplno projeví až v kombinaci s cykly a podmíněnými příkazy.

Proměnná je pojmenované úložiště, které udržuje hodnotu. Proměnná má jméno, pomocí kterého se na ni v programu odkazujeme, a hodnotu, kterou můžeme měnit (proto název „proměnná“).

Nastavení hodnoty proměnné

Hodnotu proměnné nastavíme pomocí přiřazovacího příkazu, který se často zapisuje jméno ← hodnota. V proměnné je pak uložená pouze poslední přiřazená hodnota (důležité je proto pořadí příkazů).

Použití hodnoty proměnné

Pokud chceme použít hodnotu proměnné, stačí v programu uvést její jméno. Například příkaz vypiš x vypisuje hodnotu, nikoliv jméno proměnné. Proměnná se může vyskytovat i na pravé straně přiřazovacího příkazu: x ← y. Hodnotu proměnné na levé straně (x) tím nastavujeme na hodnotu proměnné na pravé straně (y):

Po provedení přiřazovacího příkazu x ← y mají obě proměnné stejnou hodnotu, pořád jde však o dvě různé proměnné:

Metafory pro proměnné

Proměnné lze přirovnat třeba ke krabičkám, šuplíkům či obálkám, které mají uvnitř nějaký předmět (nebo třeba číslo napsané na papíře). Trochu přesněji odpovídají proměnným štítky nalepené na předmětech, nebo popsané kolíky držící předměty na prádelní šňůře. Takové metafory můžou přispet k základní intuici za proměnnými, je však potřeba vědět, že každá metafora má svoje omezení a neplatí dokonale.

Přiřazovací příkaz umožňuje nastavit novou hodnotu proměnné, nebo upravit hodnotu stávající. Příkaz x ← 3 nastaví hodnotu proměnné x na 3, příkaz x ← x + 1 zvýší hodnotu proměnné x o 1.

Nastavení nové hodnoty

Na levé straně přiřazovacího příkazu je proměnná, kterou měníme. Na pravé straně může být konkrétní hodnota, proměnná, nebo libovolný výraz – ten se nejprve vyhodnotí a výsledek se nastaví jako nová hodnota proměnné. Příkaz x ← 1 + 1 nastaví hodnotu proměnné x na 2. Výraz na pravé straně může obsahovat proměnné. Příkaz x ← y + 1 nastaví hodnotu proměnné x na hodnotu o 1 vyšší než je aktuální hodnota y.

Přiřazovací příkaz x ← y nastaví hodnotu proměnné x na hodnotu proměnné y. Hodnota proměnné y se přitom nemění. Po provedení přiřazovacího příkazu x ← y mají obě proměnné stejnou hodnotu, to však může být jen dočasný stav, který se změní po dalším přiřazení:

Zvýšení a snížení hodnoty

Pomocí přiřazovacího příkazu můžeme upravit aktuální hodnotu proměnné. Například x ← x + 1 zvýší hodnotu proměnné x o 1:

Nejprve se vyhodnocuje výraz na pravé straně (x + 1 = 3 + 1 = 4), výsledek se pak přiřadí do proměnné x. Podobně lze hodnotu proměnné snížit (x ← x − 1), zdvojnásobit ( x ← 2 * x), atp.

Posloupnost přiřazovacích příkazů

Následující příklady ilustrují posloupnosti příkazů s proměnnými, zejména důležitost pořadí příkazů.

Hodnoty a proměnné lze kombinovat do výrazů pomocí operátorů. Například podmínka x + 5 ≥ y obsahuje operátory + a ≥. Většina programovacích jazyků výrazy rovnou vyhodnocuje. Po provedení příkazu x ← 1 + 1 bude v proměnné x číslo 2, nikoliv nevyhodnocený výraz nebo dokonce text 1 + 1.

Aritmetické výrazy

S číselnými hodnotami a proměnnými můžeme počítat pomocí aritmetických operátorů + (sčítání), − (odčítání), * (násobení) a / (dělení). Priorita operací je stejná jako v matematice (tj. násobení a dělení má přednost před sčítáním a odčítáním) a stejně jako v matematice můžeme ovlivnit pořadí vyhodnocení pomocí závorek (např. 1 + 2 * 3 = 7, zatímco (1 + 2) * 3 = 9).

Porovnávání

Číselné hodnoty a proměnné můžeme porovnávat pomocí relačních operátorů < (menší než), ≤ (menší rovno), > (větší než), ≥ (větší rovno), = (rovno), ≠ (nerovno). Výsledkem porovnávání je logická hodnota (pravda/nepravda), kterou můžeme vypsat, ale většinou ji využíváme v rámci podmínek. Relační operátory mají typicky nižší prioritu než aritmetické, tj. napřed se vyhodnotí výrazy na levé a pravé straně relačního operátoru a teprve poté se provede porovnání (např. 1 + 3 < 2 + 4 se nejprve částečně vyhodnotí na 4 < 6, což je pravda).

Během opakování příkazů se nám někdy hodí vědět, v kolikátém opakování (iteraci) právě jsme. K tomu lze využít následující konstrukci, v programovacích jazycích označovanou jako for cyklus:

Proměnnou, která se během cyklu automaticky mění (v tomto případě označenou k) nazýváme řídící proměnná cyklu. Řídící proměnné lze využít v libovolných výrazech uvnitř cyklu. For cykly lze do sebe vnořovat. Všimněte si pořadí, ve kterém se řídící proměnné mění:

Proměnné lze využít také v rámci podmínek cyklu opakuj dokud:

V tomto případě si musíme dávat obzvlášť pozor na zacyklení – situaci, kdy podmínka cyklu nikdy nepřestane platit a cyklus se tedy bude opakovat donekonečna. To se může stát například tehdy, když zapomeneme v těle cyklu měnit hodnotu proměnné, která figuruje v podmínce, když příkaz měnící proměnnou chybně odsadíme (takže nebude součástí cyklu), nebo když nevhodně formulujeme podmínku tak, že nepřestane platit navzdory změně proměnné:

Podmínky často obsahují proměnné:

To je užitečné například uvnitř cyklů nebo funkcí:

Při vyjadřování podmínek často využíváme logické spojky (a zároveň, nebo, negace):

Složitější podmínky, které využíváme opakovaně, je vhodné pojmenovat. K tomu lze využít logické proměnné, které mají hodnotu pravda nebo nepravda. V následujícím kódu zavádíme logickou proměnnou shoda, která má hodnotu pravda, pokud je x rovno některé z hodnot p nebo q:

Každá proměnná má svůj datový typ. Datový typ určuje, jaké hodnoty může proměnná obsahovat a které operace s ní lze provádět. Některé programovací jazyky požadují, aby byl typ proměnné uveden v programu, jiné odvozují typ automaticky podle přiřazené hodnoty. Programovací jazyky se liší také v tom, které datové typy nabízejí. Mezi nejběžnější datové typy patří:

• celé číslo (123, −7) – s čísly lze provádět aritmetické operace (1 + 2) a porovnávat je (1 < 2)
• desetinné číslo (1,23, –0,05) – typicky se používá tzv. „pohyblivá řádová čárka“, což umožňuje ukládat i velmi velká nebo malá čísla, ale s omezenou přesností (např. s 5 platnými číslicemi lze uložit 123 450 000 i 0,000 012 345, nikoliv však 123,456)
• logická (pravdivostní) hodnota (pravda, nepravda) – reprezentuje informaci o pravdivosti, lze s nimi provádět logické operace (neplatí x, x nebo y, x a y). (Tento typ se často označuje jako „bool“ nebo „boolean“ podle George Boola, který popsal pravidla pro výpočty s logickými hodnotami.)
• textový řetězec (“slovo”, “více slov”) – reprezentuje text libovolné délky. Pro odlišení od názvů proměnných se typicky vymezují pomocí “uvozovek” či ‘apostrofů’. Je potřeba rozlišovat mezi řetězcem obsahujícím číslo a číslem – “123” není 123. (Tento typ se často označuje jako „string“, z anglického slova pro řetězec.)
• seznam (pole) ([1, 2, 3], [‘x’, ‘y’, ‘z’]) – umožňuje uložit více souvisejících hodnot do jedné proměnné. (Často jsou k dispozici i další typy pro ukládání různých kolekcí dat.)

Existují další typy pro specifické účely (např. čas, datum, soubor). Většinou je také možné definovat si vlastní typy. Výčtový typ umožňuje definovat proměnné, které můžou nabývat pouze několika předem určených hodnot (např. světový směr, den v týdnu). Záznamy umožňují definovat složené proměnné, které se skládají z několika pojmenovaných položek (např. záznam o zákazníkovi by mohl obsahovat jeho jméno, věk a datum posledního nákupu).

Jména proměnných neovlivňují chování počítače při vykonávání programu, jsou však důležitá pro čitelnost kódu. Pokud pojmenujeme proměnnou celková_cena, neznamená to, že v ní bude automaticky uložený součet cen položek (to musíme zajistit vhodnými příkazy), je ale jasnější, co má proměnná reprezentovat, než když ji pojmenujeme c.

Povolená jména

Proměnné nelze pojmenovat libovolně. Konkrétní omezení se mezi programovacími jazyky mírně liší. Typická omezení jsou následující:

• Jména můžou obsahovat pouze písmena, číslice a podtržítka. Kdyby se proměnná jmenovala a+b, nešlo by ji odlišit od operace sčítání. Číslicí ale nesmí jméno začínat. Kdyby se proměnná jmenovala 12, nešlo by ji odlišit od hodnoty 12.
• Jména nemůžou obsahovat mezery. Kdyby se proměnná jmenovala cena mrkve, nešlo by snadno poznat, zda nejde o dvě proměnné (cena a mrkve). Pokud chceme více slov, můžeme použít například podtržítko (cena_mrkve).
• Jako jméno nelze použít tzv. „rezervovaná slova“, které už mají v programovacím jazyce určený význam (např. opakuj, nebo, pravda).

Konvence

Různé programovací jazyky mají navíc různé konvence, které podporují jednotnost kódu. Například v jazyce Python se jména proměnných píší malými písmeny, anglicky a více slov se odděluje podtržítkem (např. car_speed). Jde však pouze o doporučení – program se spustí, ať konvence dodržujeme, nebo nikoliv.

Popisnost

Popisná jména výrazně usnadňují čitelnost programu a snižují riziko chyb. Příkaz celková_cena ← cena_mrkev_1kg * kg_mrkve je jasnější než cena ← c * m a je také jasnější, že jsou správně jednotky. Volíme taková jména, která jednoznačně vyjadřují účel proměnné, i za cenu delšího názvu. Jednopísmenné názvy (např. x) jsou vhodné jen v omezených případech (řídící proměnná cyklu, souřadnice bodu, krátké ukázky kódu).

Proměnné se hodí k různým účelům. Většina proměnných má jednu z následujících rolí:

Jedna proměnná může svoji roli v průběhu programu změnit, většinou je však vhodnější pro nový účel použít novou proměnnou.

Abstrakce je schopnost odhlížet od detailů, které nejsou důležité pro řešení zkoumaného problému. Soustředíme se na společné prvky a vlastnosti, pomocí kterých nacházíme obecnější řešení.

Příklad z běžného života: Alík, Ben a Rex jsou tři konkrétní domácí zvířata. Můžeme je označit abstraktním pojmem „pes“ – tím zanedbáváme řadu jejich vlastností (např. stáří, barvu srsti či rasu) a soustředíme se jen na to, co mají společné. Kdybychom měli doma ještě kocoura Mourka, tak bychom mohli pro jejich společné označení použít třeba kategorii „savec“.

Příklad z programování: Při vykreslování obrázků můžeme vytvořit funkci squareA(), která vykreslí modrý čtverec o velikosti 100, a squareB(), která vykreslí žlutý čtverec o velikosti 200. Lepší je ale vytvořit abstraktnější funkci square(length, color), která vykreslí čtverec libovolné velikosti a barvy (podle zadaných parametrů). Případně můžeme v abstrakci pokračovat dál a vytvořit funkci, která vykreslí libovolný mnohoúhelník (se zadaným počtem vrcholů).

Funkce jsou základním stavebním blokem, pomocí kterého vytváříme programy. Představují konkrétní realizaci obecného principu rozklad na části.

Zjednodušeně řečeno, funkce je kouzlo, kterému něco předložíme (vstup) a ono nám vykouzlí něco jiného (výstup).

• Pohádkový příklad: Zvětšovací kouzelná hůlka, kterou poťukáme zeleninu a ona ji zvětší na dvakrát větší velikost.
• Matematický příklad: Funkce odmocnina, která dáme na vstup číslo a ona nám vrátí jiné číslo (např. pro vstup 25, vrátí výsledek 5).
• Programátorský příklad: Funkce polygon(sides, length), které dáme na vstup dvě čísla (počet stran a délku strany) a ona vykreslí obrázek mnohoúhelníku.

Programy lze často zobecnit (abstrahovat) nahrazením konkrétní hodnoty za obecnou proměnnou. To umožňuje tvořit programy, které řeší obecnější problémy. Například místo několika různých programů pro výpis čísla obklopeného jedničkami stačí jediný:

Při zobecňování je někdy potřeba kromě proměnné zavést také podmíněný příkaz nebo cyklus. Příklad:

Kromě vytváření obecnějších řešení můžeme pomocí zobecňování upravovat programy tak, aby byly přehlednější. Když si v progamu všimneme opakujícího se vzoru (např. opakované výpisy čísla obklopeného jedničkami), můžeme tyto kousky kódu po vhodném zobecnění nahradit společnou funkcí (parametrizovanou proměnnými zavedenými při zobecňování).

Složitý program lze zpřehlednit tím, že ho rozdělíme na několik částí, které vyčleníme do samostatných funkcí. V takovém programu se navíc snáze hledají a opravují chyby, protože můžeme testovat jednotlivé funkce zvlášť.

Příklad: V následujícím programu je výpis posloupnosti 11–14 podobný výpisu posloupnosti 31–34. V obou případech jde o výpis 4 čísel od n+1 do n+4. Můžeme proto tyto výpisy nahradit voláním nové funkce s parametrem n, která bude vypisovat n+1 až n+4.

Program rozdělujeme tak, aby nově zavedené funkce měly jasný význam. Často pomůže všimnout si částí programu, které si jsou hodně podobné (hledání vzorů). Tyto části zobecníme tak, aby je vykonával stejný kód a ten zapíšeme do nové funkce (jejími parametry jsou proměnné potřebné ke společnému zobecnění kódů). Původní kódy pak nahradíme voláním této nové funkce.

Rekurze je využití sebe sama. Příkladem je použití pojmu při jeho vlastní definici nebo obrázek obsahující svoji zmenšenou kopii. Rekurzivní funkce je taková funkce, která pro výpočet využívá sebe sama (s jinými hodnotami parametrů). Využití rekurze často vede k elegantnímu řešení problému. Některé programovací jazyky využívají rekurzi jako základní prostředek pro opakování příkazů (místo cyklů).

Návrh rekurzivních algoritmů

Nejprve určíme podproblémy, které potřebujeme k vyřešení našeho problému (např. pro výpočet faktoriálu n potřebujeme znát faktoriál n - 1). Tyto podproblémy vyřešíme rekurzivně (tedy voláním funkce s jinými parametry) a z výsledků poskládáme výsledné řešení. Dále je nutné určit bázový případ a jeho řešení (např. faktoriál 0 je 1). Bázový případ musí být takový, aby se k němu všechny větve výpočtu časem dostaly, jinak by výpočet nikdy neskončil.

Sebe-reference

Rekurze je příkladem obecnějšího jevu odkazování na sebe sama, tzv. sebe-reference. Sebe-reference se vyskytuje v jazyce (Třeba tato věta mluví sama o sobě.), knihách, divadle, filmu i matematice. Sebe-reference je dokonce hlavní ingrediencí snad nejslavnějších důkazů matematiky (Gödelovy věty o neúplnosti) a také informatiky (existence problémů, pro které neexistuje algoritmus, který by je řešil – např. úloha určit, zda daný program někdy zastaví).

Fraktály

Vedle rekurze jsou nejtypičtějším zástupcem sebe-reference fraktály – obrázky, které jsou soběpodobné, tedy jejich části připomínají obrázek jako celek. Fraktály lze často vidět v přírodě (např. větve stromů, kapradina). Fraktály a rekurze nejsou dva nezávislí reprezentanti sebe-reference, i mezi nimi je silná souvislost. Rekurze je totiž velmi elegantní způsob, jak různé fraktály definovat. Díky tomu často můžeme složité fraktály vykreslit pomocí jednoduchých rekurzivních funkcí.

Kvalitní kód je takový, který se snadno čte, testuje a upravuje. Kvalitu kódu je vhodné průběžně vylepšovat opravami následujících problémů.

Nepoužitý kód

Části kódu, které se buď neprovedou, nebo sice provedou, ale nijak neovlivňují jeho chování, zbytečně komplikují pochopení programu a je proto vhodné je odstranit. Zbytečný může být příkaz, cyklus, podmínka, proměnná i celá funkce.

Zbytečně složitý kód

Pokud lze kód zjednodušit, zvýší to většinou jeho čitelnost. Relativně jednoduché jsou případy, kdy lze sloučit dva příkazy, cykly, nebo podmínky. Kód lze ale také někdy zjednodušit použitím vhodnější programovací konstrukce (např. cyklu opakuj N× místo opakuj dokud) nebo rozkladem programu (zavedením pomocných funkcí).

Duplicitní kód

Pokud se v programu opakují stejné nebo podobné kousky kódu, program to nejen zbytečně natahuje, ale také to komlikuje jeho úpravy – je potřeba změnit více míst (a pokud některé místo upravit zapomeneme, zaneseme do programu chybu).

Duplicitní úseky kódu

Pokud jsou dva úseky kódu hodně podobné, lze je často zobecnit do společné pomocné funkce.

Duplicitní příkazy v posloupnosti

Posloupnost stejných příkazů lze nahradit cyklem. Cyklem lze nahradit také posloupnost příkazů, které se liší pouze hodnotou proměnné, která se mění pořád stejným způsobem.

V některých případech nepotřebujeme zavádět nový cyklus, ale upravit stávající.

Duplicity v těle podmíněných příkazů

Pokud mají po sobě jdoucí větve podmíněného příkazu úplně stejné tělo, lze je spojit využitím složené podmínky.

Když se těla liší, ale máme na začátku / na konci všech větví podmíněného příkazu stejný příkaz (nebo více stejných příkazů), lze tento příkaz přesunout před/za podmíněný příkaz.

Pokud všechny větve podmíněného příkazu obsahují cyklus se stejnou hlavičkou, lze se duplicity zbavit přesunutím podmíněného příkazu dovnitř cyklu.

Nevhodná jména

Nevhodně zvolená jména proměnných a funkcí komplikují pochopení programu a nezřídka vedou k chybám při psaní programu (nebo při jeho pozdějším rozšiřování).

Nepopisná jména

Volíme taková jména, která jasně vyjadřují účel proměnné či funkce, i za cenu delšího názvu. Jednopísmenné názvy jsou vhodné jen v omezených případech (řídící proměnná cyklu, souřadnice bodu, krátké ukázky kódu).

Zavádějící jména

Ještě nebezpečnější než jména nepopisná jsou jména, která vypadají popisně, ale popisují proměnnou či funkci chybně.

Překrývající se jména

V rámci jednoho kontextu není vhodné použít jedno jméno pro více různých věcí – ani v případě, že se už na původní proměnnou odkazovat nepotřebujeme. Takové překrývání komplikuje pochopení programu a vede k chybám při jeho úpravách.

Jen málokdy napíšeme napoprvé bezchybný kód. Riziko chyb snižuje snaha o kvalitní kód, chybám se ale zcela nevyhneme, proto je potřeba chyby aktivně hledat. Chyby v kódu se někdy označují anglickým termínem bug. Proces ověřování správnosti kódu nazýváme testování, proces zjišťování příčiny chyby a její odstranění nazýváme ladění (někdy též „debugování“, angl. „debugging“).

Typy chyb

Rozlišujeme chyby syntaktické (chybný zápis programu – program nelze spustit) a sémantické (program se vykoná, ale nesplňuje požadované chování). Speciálním případem sémantické chyby je zacyklení (program se nikdy nezastaví, např. protože podmínka cyklu nikdy nepřestane platit).

Postup při ladění programu

Pokud program nevrací správné výsledky, spustíme si ho krok po kroku a sledujeme, kdy se odchýlí od našeho očekávání. Pokud program netvoří grafický výstup, lze si hodnoty proměnných průběžně vypisovat, nebo použít nástroj, který umožňuje program krokovat a sledovat hodnoty proměnných (tzv. debugger). Místo v programu, kde se program odchyluje od našeho očekávání, zkusíme upravit.