☰ 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 (PDF, 90 kB)
  5. Konstrukce programu, seznamy, podmíněné výrazy, rekurzivní funkce (PDF, 110 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, 120 kB)
  9. Funkce jako hodnota, lambda výrazy (PDF, 130 kB)
  10. Bonus: funkcionální programování v JavaScriptu (PDF, 40 kB)

Cvičení

Prolog

  1. Seznámení s SWI Prologem a SWISH, rodinné vztahy (PDF, 175 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, 40 kB)
  3. Sklad – seznamy a struktury (PDF, 35 kB)
  4. Více seznamů, stromy (PDF, 50 kB), definice pro binární vyhledávací strom

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