Zápočtové testy budou dva, jeden z Prologu, druhé z Haskellu. Oba je třeba rozumně napsat (hlavní myšlenky musí být správně, chyby syntaxe mi nevadí). Na testy bude v případě potřeby i více pokusů.
-
První zápočtový test (Prolog)
-
Druhý zápočtový test (Haskell)
Zápočtový program musí být plně funkční, obsahuje testovací data a součástí bude i dokumentace.
-
Seznam zápočtových témat je zde. Jakmile si někdo vybere, nechť mi pošle email a doladíme podrobnosti.
- Specifikace: musí obsahovat název, popis, musí mít popsané vstupy a výstupy. Zapište to prosím do šablony v tomto stylu:
- Termín na poslání specifikace je 3.4.
Kdo nesplní požadavky, nemá nárok na zápočet!!!
Zní to sice jako jasný předpoklad, ale radši ho po zkušenostech z minulého roku explicitně píši.
Tito lidé jsou zapsáni a vím o nich. Pod odkazem je i přehled, kdo má co splněno pro zápočet.
Obsah cvičení
- Základní názvosloví, práci s proměnnými, jednoduché dotazy a rekurze na databázi s rodinou, velmi letmo jsme začali seznamy. cviceni1.pl
- Práce se seznamy, unifikace cviceni2.pl
- Komplikovanější příklady na seznamy, aritmetika, zadání prvního domácího úkolu cviceni3.pl
- Datové struktury v prologu a příslušné testy, práce se soubory, matice cviceni4.pl
- Operátory, dekompozice termů, řezy cviceni5.pl
- Test, predikáty vyššího řádu, práce s databází, použití červeného řezu cviceni6.pl
- Rozdílové seznamy, průlet scheme a úvod do Haskellu cviceni7.pl, cviceni7.rkt a cviceni7.hs
- Seznamy, fce vyššího řádu, zajímavé příklady cviceni8.hs
- Písemka na Haskell
- Zajímavé příklady na haskell cviceni10.hs
Odkazy (budou průběžně doplňovány)