Subject » BMEVISZA403
Declarative Programming
Deklaratív programozás
A tantárgyleírás hatályossága
Hatályosság kezdete:
2026. March 21.
Hatályosság vége:
—
| Subject name (Hungarian, English) |
Deklaratív programozás
Declarative Programming
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Subject code | BMEVISZA403 | ||||||||||||
| Subject type | — | ||||||||||||
| Training Level | — | ||||||||||||
| Course types and hours (weekly/semester) |
|
||||||||||||
| Assessment type | félévközi érdemjegy | ||||||||||||
| Credits | 5 | ||||||||||||
| Subject coordinator |
Dr. Szeredi Péter
contact:
szeredi.peter@vik.bme.hu
|
||||||||||||
| Responsible department |
Számítástudományi és Információelméleti Tanszék
|
||||||||||||
| Faculty | Villamosmérnöki és Informatikai Kar | ||||||||||||
| Subject website | — | ||||||||||||
| Primary curriculum type | — | ||||||||||||
| Direct prerequisites – Strong prerequisite | none | ||||||||||||
| Direct prerequisites – Weak prerequisite | none | ||||||||||||
| Direct prerequisites – Parallel prerequisite | none | ||||||||||||
| Direct prerequisites – Milestone prerequisite | none | ||||||||||||
| Direct prerequisites – Exclusion | none |
Learning outcomes
Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:
Knowledge
No learning outcomes recorded.
Skills
No learning outcomes recorded.
Attitudes
No learning outcomes recorded.
Autonomy and responsibility
No learning outcomes recorded.
Oktatási módszertan
Not provided.
Tanulástámogató anyagok
Not provided.
Recommended preliminary knowledge for completing the subject
Knowledge type competencies
(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Skill type competencies
(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Recommended (non-compulsory) preliminary competencies
(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)
nincs
General rules
Követelmények:
a) Részvétel a gyakorlatokon
A tantermi gyakorlatok 70 százalékán részt kell venni.b) Zárthelyi dolgozat értékelése és elfogadása
A
zárthelyi elfogadásához szükséges annak nyelvenként legalább 40%-os
szintű megoldása. A zárthelyi megírásához írószeren, üres papíron és a
kiadott feladatlapon kívül nem használható semmilyen segédeszköz.
Egynél több zárthelyi megírása esetén az utolsót tekintjük érvényesnek.
c) Kis házi feladatok
(A
félév során több alkalommal adunk ki kis házi feladatot. A Cékla-,
Erlang-, ill. Prolog-nyelvű programok beadásának módját a tárgy
honlapján közzéteendő feladatkiírás részletezi. Az alábbiakban fő programozási nyelvnek az Erlang és Prolog nyelveket nevezzük.)
A
kis házi feladatok 50%-ának beadása, a tesztesetek 100%-os
teljesítésével úgy, hogy mindkét fő programozási nyelven legalább egy
100%-ot teljesítő programot be kell adni.
d) Nagy házi feladat, megajánlott jegy
A
nagy házi feladat megoldása nem kötelező a jegy megszerzéséhez, azonban
a jegyszámításba beszámít, és beadásával megajánlott jegy is
szerezhető.Az Erlang- és Prolog nyelven megírt
programokat, valamint a dokumentációt elektronikus úton kell beadni az
ütemtervben előírt oktatási héten. A beadás módját a tárgy honlapján
közzéteendő feladatkiírás részletezi. A beadott feladatokkal
kapcsolatban a hallgató a beszámolón kérdéseket kaphat (a házi feladat megvédése), amely kérdésekre adott válaszok az önálló munkavégzést is hivatottak bizonyítani. Azok
a programok, amelyek a tesztesetek legalább 80%-át hibátlanul megoldják
és megfelelően dokumentáltak, létraversenyben vesznek részt. A
létraversenyben részt vevő programokat bonyolultabb, nagyobb méretű
tesztesetekkel futtatjuk. A létraversenyben jó helyezést elérő programok
pluszpontot kapnak, amit az osztályzat megállapításakor figyelembe
veszünk. A pluszpontszám maximumát nyelvenként a leggyorsabb program
kapja meg, a többi program egyre kevesebb pluszpontot szerez.Jó
(4) megajánlott jegyet kap az, aki a gyakorlatokkal, zárthelyivel és
kis házi feladatokkal kapcsolatos követelmények teljesítése mellett
mindkét fő programozási nyelvből bejut a létraversenybe, és a házi
feladatát sikeresen megvédi. Jeles (5) megajánlott jegyet kap az, aki
emellett mindkét fő programozási nyelvből legalább 40%-os eredményt ér
el a létraversenyen (azaz mindkét programja megoldja a létraverseny
teszteseteinek legalább 40%-át).
A megajánlott jegy elfogadása a beszámoló alóli mentességet jelenti (lásd következő pont).e) Beszámoló
A
11. vagy a 12. héten kell teljesíteni a beszámolót. A beszámoló
írásbeli feladatmegoldással kombinált szóbeli beszámoló a tárgy
anyagából. A sikeres beszámoló feltétele a beszámolón megszerezhető
maximális pontszám 40%-ának elérése külön-külön mindkét fő programozási
nyelvből.f) A félévvégi osztályzat megállapításaA
félévvégi osztályzatban a beszámolóra kapott pontszámot 70%-os, a
zárthelyire és a nagy házi feladatra kapott pontszámot 15-15%-os súllyal
vesszük figyelembe. A kis házi feladatok megoldására kapott és a
létraversenyen szerzett pontszám az összpontszámot javítja, tehát
ezekkel együtt az összpontszám 100%-nál nagyobb is lehet.Az egyes osztályzatok alsó határai, az összpontszám százalékában: elégséges - 40%, közepes - 55%, jó - 70%, jeles - 85%.
g) Meg nem engedett eszközök alkalmazása
A
kis és nagy házi feladatokat minden hallgatónak önállóan, egyénileg
kell megoldania, másoktól ötleteken kívül egyebet - pl. teljes kódot
vagy akár csak kódrészletet - nem vehet át. A programok szerkezeti
hasonlóságát automatikus eszközökkel is vizsgáljuk.
A zárthelyin és a beszámolón semmilyen segédeszköz nem használható.
Mástól
származó program vagy programrészlet átvétele/átadása és beadása esetén
az összes kis és a nagy házi feladatot érvénytelennek tekintjük. A
zárthelyin és a beszámolón a meg nem engedett eszközöket használókat az
érvényes kari, ill. egyetemi rendelkezések szerint büntetjük.
Egyéb kérdésekben a TVSz rendelkezései az irányadók.
Pótlási lehetőségek:
Gyakorlat pótlására, és a házi feladatok pótlására nincs lehetőség. A
nagyzárthelyi pótlására, illetve javítására a a pótzárthelyin, továbbá a
pótlási időszakban (a pótpótzárthelyin) adunk lehetőséget. Ezen
alkalmakkor is a nagyzárthelyin elvárt tananyagot kell tudni. A
beszámoló pótlására is a pótlási héten adunk lehetőséget.
Assessment methods
In-term assessments
No detailed assessments provided.
Weight of in-term assessments
No weights provided.
Exam-period assessments
No detailed assessments provided.
Weight of exam elements
No weights provided.
Grade calculation
No grade thresholds provided.
Attendance requirements
No attendance requirements provided.
Rules for retake and resubmission
Not provided.
Short description
Not provided.
Detailed description
Not provided.
Recommended courses
Not provided.
Workload to complete the subject
No workload breakdown provided.
Validity of subject requirements
Requirements valid from:
—
Requirements valid until:
—
Curriculum placement
No curriculum placements recorded for this subject version.