☰ menu
Pavel Satrapa

Alternativní metody programování

Přednášky

  1. Paradigmata programování, úvod do Prologu (PDF, 730 kB)
  2. Proměnné, resoluční mechanismus, aritmetika, seznamy (PDF, 125 kB)
  3. Konstrukce predikátů, operace se seznamy, řez, operátory (PDF, 130 kB)
  4. Scheme – základy, definice funkcí, konstrukce programu (PDF, 160 kB)
  5. Seznamy, podmíněné výrazy, rekurzivní funkce (PDF, 150 kB)
  6. Datové struktury, řazení čísel (PDF, 140 kB)
  7. Rekurzivní datové struktury, zpracování více seznamů, řešení hrubou silou (PDF, 110 kB)
  8. Lokální definice, funkcionální parametry (PDF, 170 kB)
  9. Funkce jako hodnota, lambda výrazy (PDF, 190 kB)

Cvičení

Prolog

  1. Seznámení s SWI Prologem a SWISH, rodinné vztahy (PDF, 230 kB), řešení
  2. Výpočty, seznamy (PDF, 35 kB)
  3. Seznamy (PDF, 40 kB)

Scheme

  1. Základy výrazů a definice funkcí (PDF, 120 kB)
  2. Seznamy (PDF, 60 kB)
  3. Sklad – seznam struktur (PDF, 50 kB)
  4. Více seznamů, stromy (PDF, 60 kB), definice pro binární vyhledávací strom
  5. Funkcionální parametry (PDF, 50 kB)

Pro zájemce o další příklady k procvičování:

Zkouška

Zkouška je praktická, dostanete k vyřešení tři úlohy v jazyce Scheme. Ke složení zkoušky je třeba vyřešit alespoň dvě z nich. O známce rozhoduje úplnost a kvalita řešení všech tří úloh. Pro lepší představu příklad zadání:

Ukázkové zadání zkoušky

Odkazy

Doporučené čtivo

Software