Neprocedur�ln� programov�n� (PRG005 - Informatici)
Cvi�en� se kon� ka�d� p�tek od 10:40 v u�ebn� S10 (Mal� Strana). Na t�to st�nce budou postupn� uve�ej�ov�ny informace t�kaj�c� se pr�b�hu cvi�en�.
Cvi�en� 5.10.2007
Pro z�sk�n� z�po�tu je vy�adov�na aktivn� ��ast na cvi�en�, naps�n� z�po�tov�ch p�semek a
vytvo�en� z�po�tov�ho programu opat�en�ho dokumentac� a testovac�mi daty (z�po�tov� program bude
up�esn�n pozd�ji podle po�adavk� p�edn�ej�c�ho).
Prob�rala se unifikace jako zp�sob p�ed�v�n� parametr�. D�le se prob�raly jednoduch� predik�ty na
odpov�d�n�, zda plat� dan� p��buzensk� vztah za p�edpokladu, �e plat� fakta uveden� v datab�zi fakt�. Pr�b�h
vyhodnocov�n� dotaz� pro p��buzensk� vztahy - backtracking. Reprezentace stromu rekurzivn� strukturou
t(levy_podstrom, hodnota, pravy_podstrom), predik�t na zodpov�zen�, zda se zadan� hodnota nach�z� v zadan�m stromu.
Testov�n� spr�vn� formovan� struktury strom. Un�rn� reprezentace p�irozen�ch ��sel (a nuly) pomoc� struktury n�sledn�k
(nap�. ��slo 3 je reprezentov�no pomoc� struktury s(s(s(0)))). Testov�n� spr�vn� formovan�ho ��sla, aritmetick� operace
nad un�rn� reprezentac� ��sel.
Cvi�en� 12.10.2007
Aritmetika nad un�rn� reprezentac� p�irozen�ch ��sel (a nuly) - operace s��t�n�, opatrn� od��t�n� a n�soben�.
R�zn� varianty dotaz� pro aritmetick� operace - plus(+,+,-) (zn�me s��tance, nezn�me v�sledek operace), plus(-,-,+)
(nezn�me s��tance, zn�me v�sledek operace), plus(-,+,+) (nezn�me prvn�ho s��tance, zn�me druh�ho s��tance a v�sledek operace).
Z�klady pr�ce se seznamy, unifikace konstrukce [X|Y]. P�ipojen� seznamu na konec jin�ho seznamu - append, generov�n�
v�ech permutac� seznamu, transpozice matice reprezentovan� jako seznam seznam�.
Cvi�en� 19.10.2007
Aritmetick� operace plus pro m�dy plus(-,-,+). Generov�n� v�ech permutac� seznamu. Transpozice matice. Z�kladn�
operace se seznamy. Sjednocen� seznam�. Pr�nik seznam�. Palindrom (seznam �ten� pop�edu i pozp�tku stejn�), oto�en� seznamu.
Akumul�tor na zeefektivn�n� operace ot��en� seznamu. Sl�v�n� seznamu seznam� do jednoho seznamu. Rozd�len� seznamu na
sud� a lich� prvky (podle pozic). Mailov� dom�c� �koly (na cv. se nebude p�edv�d�t): variace, kombinace seznamu, bez opakov�n� a s opakov�n�m. Klasick�
dom�c� �kol (bude se p�edv�d�t na cv.): bin�rn� vyhled�vac� strom - member, insert, delete (klasick� dcv. lze i mailov�).
Cvi�en� 26.10.2007
Prvn� z�po�tov� p�semka se bude ps�t 9.11.2007. N�pln� p�semky budou podobn� �lohy, jako se prob�raj�
na cvi�en�. Rozhas p�semky bude v�e, co bylo a� do term�nu p�semky probr�no (na cvi�en� i p�edn�ce).
Transpozice matice. Bin�rn� vyhled�vac� strom - insert, member, delete. Aritmetick� operace. V�po�et faktori�lu,
Fibonacciho ��sla, nejv�t��ho spole�n�ho d�litele, po�et transpozic v seznamu ��sel. Reprezentace 2-regul�rn�
haldy - operace vlo�en� prvku a odebr�n� minim�ln�ho prvku. Reprezentace grafu s ohodnocen�mi vrcholy. Barven� grafu.
Cvi�en� 2.11.2007
�lohy na prohled�v�n� stavov�ho prostoru. Barven� grafu. P�el�v�n� vody - d�no n�kolik n�dob celo��seln�ch objem�, �kolem je
odm��it zadan� objem. Vlk, koza, zel�, p�evozn�k, p�ev�en� na druh� b�eh. Obecn� barven� grafu (hrany nejsou jen nerovnosti, ale
tak� dal�� relace na uspo��d�n�). Prosk�k�n� �achovnice kon�m, N neohro�uj�c�ch se kr�loven na �achovnici velikosti NxN.
Cvi�en� 9.11.2007
Slibovan� z�po�tov� p�semka se skute�n� psala. Na n�sleduj�c�m odkazu je jej� zad�n�.
Prvn� (z�po�tov�) p�semka - zad�n� (pdf form�t)
Cvi�en� 16.11.2007
Dal�� �lohy na prohled�v�n� stavov�ho prostoru. Vyhodnocov�n� a spl�ov�n� Booleovsk�ch formul� v CNF form�.
D�le se procvi�ovalo pou�it� �ezu. Uk�zka paradoxn�ho chv�n� vyhodnocov�n� dotaz� pro r�zn� um�st�n� �ezu v programu.
Za dom�c� �kol zbyla �loha o hled�n� pozic pro N neohro�uj�c�ch se kr�loven na �achovnici velikosti NxN.
Cvi�en� 23.11.2007
Procvi�ov�n� definic oper�tor�. Mno�inov� opr�tory. �e�en� t�k�ch �loh (z hlediska v�po�etn� slo�itosti) v Prologu -
sou�et podmno�iny, Lloydova osmi�ka (patn�ctka). Pl�nov�n� ve sv�t� kostek - klasick� STRIPS pl�nov�n�, kde akce je trojice
mno�in atom� (p�edpoklad, pozitivn� efekt, negativn� efekt).
Cvi�en� 30.11.2007
Je�t� jsme se chv�li zab�vali pl�nov�n�m. Pak jsme za�ali Scheme, jednoduch� �lohy - faktori�l, Fibonacciho ��slo,
kombina�n� ��slo. Seznamy ve Schemu - d�lka seznamu.
Cvi�en� 7.12.2007
Procvi�oval se Scheme. Numerick� �lohy ve Schemu - numerick� po��t�n� derivace, numerick� integrov�n�, numerick�
hled�n� nulov�ch bod� funkce (Newtonova metoda). Z�kladn� funkcion�ln� techniky - zpracov�n� struktury pomoc� un�rn� operace (map),
pomoc� bin�rn� operace (fold). Dom�c� �kol: filrace sign�lu, transpozice matice a vyhled�v�n� ve stromu.
Cvi�en� 14.12.2007
Dal�� �lohy ve Schemu. Transpozice matice, filtrace sign�lu, vyhled�v�n� ve stromu. Za�al se procvi�ovat Haskell.
Z�kladn� �lohy - Fibonacciho ��slo, faktori�l, maticov� n�soben�, transpozice matice.
Prvn� cvi�en� po V�noc�ch (tj. 4.1.2008) se bude ps�t dal�� z�po�tov� p�semka.
Cvi�en� 4.1.2008
Psala se druh� z�po�tov� p�semka. Zad�n� p�semky bude zve�ejn�no pozd�ji.