OBSAH

Devátá lekce se také týká dokazování vlastností algoritmů. Tentokrát však místo běžného procedurálního pohledu na algoritmy používáme pohled funkcionální. K tomu si definujeme speciální deklarativní jazyk, který si za cvičení vyzkoušejte v online interpretu níže.

Hlavním tématem k procvičení v této lekci je samotný definovaný deklarativní jazyk. Nedostáváte zde žádné příklady, ale odkaz na interpret jazyka, ve kterém máte za úkol si vyzkoušet jeho syntaxi i sémantiku. Zkoušejte si v něm zapsat jakékoliv jednoduché algoritmy, které vás napadnou, a hlavně sledujte, jak se jazyk vyhodnocuje. Pro první pomoc se obraťte na níže uvedené podnětné diskuze minulých semestrů.

Naříkat u zkoušky, že jste nevěděli, že náš umělý jazyk se chová zrovna takto, a proto jste měli příklady chybně, je velmi hloupé. Možnost si jazyk odzkoušet máte právě teď!

Diskuse o látce