„Deklaratív programozás” változatai közötti eltérés

U944eq (vitalap | szerkesztései)
Nincs szerkesztési összefoglaló
U944eq (vitalap | szerkesztései)
Nincs szerkesztési összefoglaló
15. sor: 15. sor:


* [http://dp.iit.bme.hu/dp-current/ Fóliák]
* [http://dp.iit.bme.hu/dp-current/ Fóliák]
* '''Jegyzet:''' Szeredi Péter, Benkő Tamás: Deklaratív programozás. Bevezetés a logikai programozásba. Oktatási segédlet, 2004. [http://dp.iit.bme.hu/prolog/jegyzet/dp04s_jegyzet.pdf.gz Eredeti], [[Media:dp_2004_jegyzet.pdf | VIKWiki mirror – kereshető változat]].
* Prolog:
* Hanák D. Péter: Deklaratív programozás. Bevezetés a funkcionális programozásba. Oktatási segédlet, 2005. márc. [http://dp.iit.bme.hu/sml/fp-5ed-p1.pdf 1 oldal/lap], [http://dp.iit.bme.hu/sml/fp-5ed-p2.pdf 2 oldal/lap].
** jegyzet: Szeredi Péter, Benkő Tamás: Deklaratív programozás. Bevezetés a logikai programozásba. Oktatási segédlet, 2004. [http://dp.iit.bme.hu/prolog/jegyzet/dp04s_jegyzet.pdf.gz Eredeti], [[Media:dp_2004_jegyzet.pdf | VIKWiki mirror – kereshető változat]].
* [[SmlReferencia|Válogatás az SML alapkönyvtárából]] (könyv, B függelék)
* Erlang
** magyar könyv nincs, a diasorból érdemes tanulni
** ajánlott könyv: Joe Armstrong: Programming Erlang: Software for a Concurrent World
** ELTE anyagok: http://nyelvek.inf.elte.hu/leirasok/Erlang/
** ingyenes tutorial: http://learnyousomeerlang.com/


==Gyakorlatok==
==Gyakorlatok==