☰ menu
Pavel Satrapa

Alternativní metody programování

Přednášky

  1. Paradigmata programování, úvod do Prologu (PDF, 780 kB)
  2. Proměnné, resoluční mechanismus, aritmetika, seznamy (PDF, 210 kB)
  3. Konstrukce predikátů, operace se seznamy, řez, operátory (PDF, 200 kB)
  4. Scheme – základy, definice funkcí, konstrukce programu (PDF, 175 kB)
  5. Seznamy, podmíněné výrazy, rekurzivní funkce (PDF, 150 kB)
  6. Datové struktury, řazení čísel (PDF, 210 kB)
  7. Zpracování více seznamů, rekurzivní datové struktury, řešení hrubou silou (PDF, 180 kB)

Cvičení

Prolog

  1. Seznámení s SWI Prologem a SWISH, rodinné vztahy (PDF, 300 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, 130 kB)
  2. Seznamy (PDF, 65 kB)
  3. Sklad – seznam struktur (PDF, 50 kB)
  4. Více seznamů, stromy (PDF, 60 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