Pavel Surynek's Academic Page | Neprocedur�ln� programov�n� (PRG005 - Informatici)

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.



    Z�po�tov� povinnosti

  • Tabulka z�po�tov�ch povinnost�