Deklaratív programozás / Declarative programming BMEVISZA402 (magyar, Budapest)

• Összes félév / All semesters (Aktuális félév / Current semester)
• Letölthető programok és leírások / Programs and descriptions for downloading
• On-line jegyzetek, segédletek, szakirodalom / On-line scripts, handouts, literature
• Elektronikus TanárSegéd / Electronic Tutoring System (SSL CA Root Certificate)
• A dp-l levelezési lista / The dp-l mailing list
• A dp-l levelezési lista archívuma / Archive of the dp-l mailing list
• A záróvizsgáról / About the final examinations
• Tantárgy adatlap VISZA402 / Course information
• "Folytatás"-tárgyak / "Continuation" courses
• Nagy hatékonyságú logikai programozás / High-Efficiency Logic Programming
• Korábbi "folytatás"-tárgyak / Previous "continuation" courses
• Beágyazott funkcionális programozás / Embedded functional programming
• Magasabb rendű funkcionális programozás / Higher-Order Functional Programming
• Válogatott fejezetek a logikai programozásból / Selected Topics from Logic Programming

---

Kapcsolat: / Contact:

Szeredi Péter <szeredi@cs.bme.hu>, Kápolnai Richárd <kapolnai@iit.bme.hu>