Deklaratív programozás - Laptörténet

Török Zsombor, 2024. május 28., 11:16-n

2024-05-28T11:16:26Z

← Régebbi változat		A lap 2024. május 28., 13:16-kori változata
93. sor:		93. sor:


	{{Lábléc_-_Mérnök_informatikus_alapszak ~~2017~~}}		{{Lábléc_-_Mérnök_informatikus_alapszak 2014}}

Török Zsombor, 2024. május 26., 20:54-n

2024-05-26T20:54:25Z

← Régebbi változat		A lap 2024. május 26., 22:54-kori változata
93. sor:		93. sor:


	{{Lábléc_-_Mérnök_informatikus_alapszak}}		{{Lábléc_-_Mérnök_informatikus_alapszak 2017}}

Csia Klaudia Kitti, 2019. május 22., 16:28-n

2019-05-22T16:28:08Z

← Régebbi változat		A lap 2019. május 22., 18:28-kori változata
5. sor:		5. sor:
	\|kredit=3		\|kredit=3
	\|felev=7		\|felev=7
			\|kereszt=nincs
	\|kiszh=nincs		\|kiszh=nincs
	\|vizsga=nincs		\|vizsga=nincs

Nagy Marcell, 2018. december 27., 13:54-n

2018-12-27T13:54:19Z

← Régebbi változat		A lap 2018. december 27., 15:54-kori változata
14. sor:		14. sor:
	\|levlista=[http://bagira.iit.bme.hu/mailman/listinfo/dp-l lista]		\|levlista=[http://bagira.iit.bme.hu/mailman/listinfo/dp-l lista]
	}}		}}

			Az informatikus alapképzés többi tárgyában a programozási paradigmák közül a procedurális és objektumorientált paradigmákra esik a hangsúly. Ezekkel a módszerekkel a Hogyan? kérdést igyekszünk megválaszolni kódírásnál. Az algoritmusok, állapotok pontos ismerete szükséges. Létezik egy másik család is, a deklaratív programozás, ami elsősorban a Mit? kérdésre ad választ: nem határozzuk meg pontosan, hogyan kapjuk meg az eredményt, csak azt, hogy mire van szükségünk. A tárgy ezt a családot mutatja be egy logikai és egy funkcionális programozási nyelven keresztül.

	==Követelmények==		==Követelmények==
20. sor:		22. sor:
	* Legalább 3 kisházi sikeres beadása (de mindkét nyelvből legalább 1)		* Legalább 3 kisházi sikeres beadása (de mindkét nyelvből legalább 1)
	===Megajánlott jegy===		===Megajánlott jegy===
	* Azok a hallgatók, akiknek a nagy házi feladata mindkét nyelven bejut a létraversenybe, megajánlott jegyet kaphatnak.		* Azok a hallgatók, akiknek a nagy házi feladata mindkét nyelven bejut a létraversenybe (80% vagy jobb teszteredmény), megajánlott jegyet kaphatnak. A létraversenyben az alap teszteknél nehezebb, időigényesebb tesztesetekkel futtatják a megoldásod, így igencsak hatékonyan kell megírod.
	* Jó megajánlott jegyet kap az, ~~aki sikeresen megvédi mindkét~~, a ~~létraversenybe bejutott~~ nagy ~~házi feladatát~~.		** 4-es jegyhez a két nyelv nagy házijához dokumentációt is kell készíteni, és a házit meg kell védeni.
	* Jeles megajánlott jegyet kap az, akinek programja ezen felül a létraverseny teszteseteinek legalább 40%-át időkorláton belül teljesíti.		** Jeles megajánlott jegyet kap az, akinek programja ezen felül a létraverseny teszteseteinek legalább 40%-át időkorláton belül teljesíti.

	==A tárgyról==		==A tárgyról==
48. sor:		50. sor:
	A tárgyból általában, de nem rendszeresen kéthetente hetente gyakorlatok vannak, az előadáson szereplő programozási nyelvnek megfelelően.		A tárgyból általában, de nem rendszeresen kéthetente hetente gyakorlatok vannak, az előadáson szereplő programozási nyelvnek megfelelően.

	===Kis házi feladatok===		Gyakorlatok után érdemes az ETS-ben lévő feladatokat megoldani pluszban, önáló munkaként.
	* Kötelező beadni a 7 kisháziből 3-at, de mindét nagy nyelvből legalább 1-1 kell hogy legyen.
			==Kis házi feladatok==
			* Kötelező beadni a 7 kisháziből 3-mat, de mindét nagy nyelvből legalább 1-1 kell hogy legyen.
	* 3-3 feladat Prologból és Erlang-ból, és egy Céklából.		* 3-3 feladat Prologból és Erlang-ból, és egy Céklából.
	* Beadás ETS-en keresztül, automatikusan tesztelésre kerül.		* Beadás ETS-en keresztül, automatikusan tesztelésre kerül.
55. sor:		59. sor:
	* Össz. max. +7 pont.		* Össz. max. +7 pont.

	===Nagy házi feladat===		==Nagy házi feladat==
	* Nem kötelező beadni.		* Nem kötelező beadni. Ugyanakkor még ZH-ra készülés mellett is érdemes próbálkozni a feladat megoldásával, ráadásul néhány pontot könnyen lehet szerezni még akkor is, ha nem teljes és hatékony a megoldásod.
	* 1 feladat, amit Prologban és Erlangban is meg lehet oldani.		* 1 feladat, amit Prologban és Erlangban is meg lehet oldani.
	* 10 teszteset, 0,5 pont/helyes lefutás/nyelv.		* 10 teszteset, 0,5 pont/helyes lefutás/nyelv.
	* 5 pont a doksi.		* 2,5 pont a doksi nyelvenként.
	* Össz. 15 pont.		* Össz. 15 pont.
			* A nagy házi megoldása időigényes, sok dolgot kell számításba venni. Előre nézd meg, a többi tárgy mellett lesz-e rá időd.
			* A nehézség ellenére mégis érdemes erre hajtani, hiszen rögtön ki tudod próbálni a programot, ZH-n sokkal bizonytalanabb leszel, több időd jut megtervezni és elkészíteni a feladatot.

	~~====Létraverseny====~~
	* Azok a nagy házi feladatok vesznek részt a létraversenyen, amelyek az adott nyelven az éles teszteseteknek legalább 80%-át (azaz legalább 8 tesztesetet) időlimiten belül megoldanak.
	* 10 teszteset van, az időlimit általában 120-180 másodperc/teszteset.
	* Pontszám = ∑ min(futási idő, időlimit).
	* Ha valamelyik nyelven n. helyezést érsz el, max(8-n/2, 0) pluszpontot kapsz vizsgán.

	==Zárthelyi==		==Zárthelyi==
	* Kötelező azoknak, akiknek nem fogadták el, vagy nem adtak be nagyházit.		* Kötelező azoknak, akiknek nem fogadták el, vagy nem adtak be nagyházit.
	* Semmilyen jegyzet, segédlet nem használható.		* Semmilyen jegyzet, segédlet nem használható.
	* A ~~megtanulandó könyvtári függvények és eljárások listája előre meg van adva, a~~ zh anyaga az ~~előző hét végéig leadott~~ anyag.		* A zh anyaga az egész féléves anyag, beleértve az előadáson elhangzott néhány alapszintű könyvtári függvényt/eljárást.
	* A sikeres zh feltétele a maximális részpontszám 40%-ának megszerzése mindkét nyelven.		* A sikeres zh feltétele a maximális részpontszám 40%-ának megszerzése mindkét nyelven.
	* Össz. 15 pont.		* Össz. 85 pont.
			* A ZH-n mindkét nyelv részének max pontszáma 85. A végeredménynél ezek számtani átlagát veszik.

	* [[Deklaratív programozás - Tippek ZH-ra és vizsgára \| ~~Tippek~~ ZH-ra és vizsgára]]		* [[Deklaratív programozás - Tippek ZH-ra és vizsgára \| Régi tárgyhoz tartozó tippek ZH-ra és vizsgára]]

	==Hasznos fordítók és futtató környezetek a házikhoz==		==Hasznos fordítók és futtató környezetek a házikhoz==

Csia Klaudia Kitti, 2018. december 24., 11:32-n

2018-12-24T11:32:20Z

← Régebbi változat		A lap 2018. december 24., 13:32-kori változata
88. sor:		88. sor:
	** Jobb alul a Solutions -> Debug (trace)-re kattintva lehet debug-olni.		** Jobb alul a Solutions -> Debug (trace)-re kattintva lehet debug-olni.
	* [http://www.tutorialspoint.com/execute_prolog_online.php tutorialspoint - Coding Ground]		* [http://www.tutorialspoint.com/execute_prolog_online.php tutorialspoint - Coding Ground]


	{{Lábléc_-_Mérnök_informatikus_alapszak}}		{{Lábléc_-_Mérnök_informatikus_alapszak}}

Nagy Marcell: Aktualizálva a jelenlegi tantárgyhoz.

2018-09-30T10:00:14Z

Aktualizálva a jelenlegi tantárgyhoz.

← Régebbi változat		A lap 2018. szeptember 30., 12:00-kori változata
1. sor:		1. sor:
	{{Tantárgy		{{Tantárgy
	\|tárgykód=~~VISZA403~~		\|tárgykód=VISZAD00
	\|régitárgykód=VISZA402		\|régitárgykód=VISZA402,VISZA403
	\|nev=Deklaratív programozás		\|nev=Deklaratív programozás
	\|kredit=5		\|kredit=3
	\|felev=7		\|felev=7
	\|kiszh=nincs		\|kiszh=nincs
	\|vizsga=~~van~~		\|vizsga=nincs
	\|nagyzh=van		\|nagyzh=van
	\|hf=1+~~7db~~		\|hf=7 kisHF + opcionális nagyHF
	\|szak=info		\|szak=info
	\|tad=https://www.vik.bme.hu/kepzes/targyak/VISZA402/		\|tad=https://www.vik.bme.hu/kepzes/targyak/VISZA402/
	\|targyhonlap=~~http~~://dp.iit.bme.hu~~/dp-current~~/		\|targyhonlap=https://dp.iit.bme.hu/
	\|levlista=[http://bagira.iit.bme.hu/mailman/listinfo/dp-l lista]		\|levlista=[http://bagira.iit.bme.hu/mailman/listinfo/dp-l lista]
	}}		}}

	==Követelmények==		==Követelmények==
	~~===Előtanulmányi rend===~~
	~~A tárgy felvételéhez szükséges a [[Szoftvertechnológia]] tárgy teljesítése.~~
	===Félévközi feladatok===		===Félévközi feladatok===
	* A gyakorlatok legalább 70%-án való részvétel.
	* Sikeres nagyZH (azaz mindkét nyelvből legalább 40%-os teljesítmény)		* Sikeres nagyZH (azaz mindkét nyelvből legalább 40%-os teljesítmény)
	* Legalább 3 kisházi sikeres beadása (de mindkét nyelvből legalább 1)		* Legalább 3 kisházi sikeres beadása (de mindkét nyelvből legalább 1)
	===Megajánlott jegy===		===Megajánlott jegy===
	* Azok a hallgatók, akiknek a nagy házi feladata mindkét nyelven bejut a létraversenybe, megajánlott jegyet kaphatnak.		* Azok a hallgatók, akiknek a nagy házi feladata mindkét nyelven bejut a létraversenybe, megajánlott jegyet kaphatnak.
	* Jó megajánlott jegyet kap az, aki ~~elővizsgán~~ sikeresen megvédi mindkét, a létraversenybe bejutott nagy házi feladatát.		* Jó megajánlott jegyet kap az, aki sikeresen megvédi mindkét, a létraversenybe bejutott nagy házi feladatát.
	* Jeles megajánlott jegyet kap az, akinek programja ezen felül a létraverseny teszteseteinek legalább 40%-át időkorláton belül teljesíti.		* Jeles megajánlott jegyet kap az, akinek programja ezen felül a létraverseny teszteseteinek legalább 40%-át időkorláton belül teljesíti.

49. sor:		46. sor:

	==Gyakorlatok==		==Gyakorlatok==
	A tárgyból hetente gyakorlatok vannak, az előadáson szereplő programozási nyelvnek megfelelően.		A tárgyból általában, de nem rendszeresen kéthetente hetente gyakorlatok vannak, az előadáson szereplő programozási nyelvnek megfelelően.

	~~==Számonkérés==~~
	~~A vizsgán 100 (+7) pontot lehet elérni. A félévközi munka súlya 30 (+7) pontot~~.

	===Kis házi feladatok===		===Kis házi feladatok===
	* Kötelező beadni a 7 kisháziből 3-at, de mindét nagy nyelvből legalább 1-1 kell hogy legyen. ~~(&bdquo;Felhívjuk mindenki figyelmét, hogy a beadás kötelező, még akkor is, ha a program tesztelése nem sikeres.”)~~		* Kötelező beadni a 7 kisháziből 3-at, de mindét nagy nyelvből legalább 1-1 kell hogy legyen.
	* 3-3 feladat Prologból és Erlang-ból.		* 3-3 feladat Prologból és Erlang-ból, és egy Céklából.
	* Beadás ETS-en keresztül.		* Beadás ETS-en keresztül, automatikusan tesztelésre kerül.
	* Minden feladat jó megoldásáért 1-1 pluszpont ~~a vizsgán~~.		* Minden feladat jó megoldásáért 1-1 pluszpont.
	* Össz. max. +7 pont.		* Össz. max. +7 pont.

75. sor:		69. sor:

	==Zárthelyi==		==Zárthelyi==
	* Kötelező.		* Kötelező azoknak, akiknek nem fogadták el, vagy nem adtak be nagyházit.
	* Semmilyen jegyzet, segédlet nem használható.		* Semmilyen jegyzet, segédlet nem használható.
	* A megtanulandó könyvtári függvények és eljárások listája előre meg van adva, a zh anyaga az előző hét végéig leadott anyag.		* A megtanulandó könyvtári függvények és eljárások listája előre meg van adva, a zh anyaga az előző hét végéig leadott anyag.
	* A sikeres zh feltétele a maximális részpontszám 40%-ának megszerzése mindkét nyelven.		* A sikeres zh feltétele a maximális részpontszám 40%-ának megszerzése mindkét nyelven.
	* Pótpót zh a vizsgaidőszak első hetében.
	* Össz. 15 pont.		* Össz. 15 pont.

	~~==Vizsga==~~

	* Írásbeli feladatmegoldással kombinált szóbeli vizsga.
	* Prolog, Erlang: több kisebb feladat, kétszer 35 pontért (programírás, -elemzés).
	* Semmilyen jegyzet, segédlet nem használható.
	* A megtanulandó könyvtári függvények és eljárások listája előre meg van adva.
	* A sikeres vizsga feltétele a maximális részpontszám 40%-ának megszerzése mindkét nyelven.
	* Össz. 70 pont.

	* [[Deklaratív programozás - Vizsga tudástár \| Vizsga tudástár]]
	* [[Deklaratív programozás - Tippek ZH-ra és vizsgára \| Tippek ZH-ra és vizsgára]]		* [[Deklaratív programozás - Tippek ZH-ra és vizsgára \| Tippek ZH-ra és vizsgára]]

Kristály Márk: /* Miből érdemes tanulni? */

2016-12-26T04:02:59Z

Miből érdemes tanulni?

← Régebbi változat		A lap 2016. december 26., 06:02-kori változata
39. sor:		39. sor:

	* [http://dp.iit.bme.hu/dp-current/ Fóliák]. A diasor nagyon jó, mindent meg lehet belőle tanulni.		* [http://dp.iit.bme.hu/dp-current/ Fóliák]. A diasor nagyon jó, mindent meg lehet belőle tanulni.
			* [[Media:depo_ea_2016.pdf\|A 2016-os előadás diák]]
	* Prolog:		* Prolog:
	** 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]].		** 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]].

Czémán Barnabás, 2015. november 8., 17:12-n

2015-11-08T17:12:23Z

← Régebbi változat		A lap 2015. november 8., 19:12-kori változata
1. sor:		1. sor:
	{{Tantárgy		{{Tantárgy
	\|tárgykód=VISZA402		\|tárgykód=VISZA403
			\|régitárgykód=VISZA402
	\|nev=Deklaratív programozás		\|nev=Deklaratív programozás
	\|kredit=5		\|kredit=5

Csupity László, 2015. november 7., 23:30-n

2015-11-07T23:30:12Z

← Régebbi változat		A lap 2015. november 8., 01:30-kori változata
1. sor:		1. sor:
	{{Tantárgy		{{Tantárgy
	\|~~targykod~~=VISZA402		\|tárgykód=VISZA402
	\|nev=Deklaratív programozás		\|nev=Deklaratív programozás
	\|kredit=5		\|kredit=5

Lelkes Bálint: Hasznos fordítók és futtató környezetek a házikhoz

2015-11-01T15:56:19Z

Hasznos fordítók és futtató környezetek a házikhoz

← Régebbi változat		A lap 2015. november 1., 17:56-kori változata
92. sor:		92. sor:
	* [[Deklaratív programozás - Tippek ZH-ra és vizsgára \| Tippek ZH-ra és vizsgára]]		* [[Deklaratív programozás - Tippek ZH-ra és vizsgára \| Tippek ZH-ra és vizsgára]]

	==Emacs howto Windows alá==		==Hasznos fordítók és futtató környezetek a házikhoz==
			===Emacs howto Windows alá===

	Írtam egy rövid összegzést arról, hogy az emacsot mi módon lehet Windows alatt összekapcsolni az SML és Prolog fordítókkal: [[Deklaratív programozás - Emacs telepítési lépések\|Emacs telepítési lépések]].		Írtam egy rövid összegzést arról, hogy az emacsot mi módon lehet Windows alatt összekapcsolni az SML és Prolog fordítókkal: [[Deklaratív programozás - Emacs telepítési lépések\|Emacs telepítési lépések]].

			===Online Prolog IDE-k===

			* [http://swish.swi-prolog.org/ SWISH]
			** Bal oldalt kell megadni a kódot, jobb alul a futtatandó parancsot és jobb felül jelenik meg az eredmény.
			** Jobb alul a Solutions -> Debug (trace)-re kattintva lehet debug-olni.
			* [http://www.tutorialspoint.com/execute_prolog_online.php tutorialspoint - Coding Ground]
	{{Lábléc_-_Mérnök_informatikus_alapszak}}		{{Lábléc_-_Mérnök_informatikus_alapszak}}