Deklaratív programozás / Declarative programming

(DEKLAPO, BMEVIFO2218-01)
2002. tavaszi félév / Spring semester 2002

Legutóbbi frissítés: 2002. június 27. / Last update: June 27, 2002


Friss információk / News

SML "elmélet" tételsor

Prolog "elmélet" tételsor

Letölthetők az SML-előadások fóliái és a példaprogramok! Letölthető a Típuslevezetés c. segédlet is.

Vizsgák / Final tests

  • A hatodik vizsga (2002.06.28.) beosztása

  • Vizsganapok és -helyek

    KHF / Small homework

    NHF / Big homework

    NZH / Midterm test #1

    A NZH 2002. március 25-én 16:00-tól volt.

    PZH / Midterm test #2

    A PZH május 14-én 17:00-tól volt.

    PPZH / Midterm test #3

    A pót-pót ZH május 31-én 8:00-tól volt.

    Követelmények / Requirements

    A hivatalos tantárgy-adatlap és tárgykövetelmények / The official course data sheet and requirements (Hungarian only)

    Jegyzetek, előadásfóliák, példaprogramok / Lecture notes, slide presentations, example programs

    Megjegyzés a PDF-változatokhoz. A hosszú ő, Ő, ű és Ű betűk az Acrobat Reader különféle verzióival jól olvashatók, de a nyomtatott változatból az ékezetek tapasztalataink szerint eltűnnek. Az Acrobat Reader CE 4.05 változata (csak Windows-on létezik) ezeket a betűket is jól nyomtatja ki. (Feltehető, hogy az Acrobat Reader legújabb 5.05 változata is jól nyomtat, de ezt még nem tudtuk kipróbálni.) Az Acrobat Reader 4.x (CE nélküli) változata is jól nyomtatja az összes ékezetes betűt, ha nyomtatás előtt a Print menűben a "Print as image" kapcsolót bekapcsoljuk - csak nagyon sokáig tart a nyomtatás.

    A Prolog- és az SML-jegyzet 2001. évi kiadása letölthető (pdf.gz): Prolog (1 lap / A4, 1292K), SML (1 lap / A4, 700K)

    Prolog

    Az előadáson többször is használt redukciós Prolog nyomkövető letölthető innen

    Az összes Prolog előadás fóliái letölthetők (a PDF alak is jó minőségű):

    SML

    Segédlet a típuslevezetéshez: PDF, 1 fólia/lap (12K). Angol nyelvű tankönyv az egyéni tanuláshoz: Harper, Programming in Standard ML. Különösen ajánlott az előadáson elhangzott, a fóliákon szereplő, de a jegyzetből még hiányzó részekhez: PDF (tömörítve), 2 fólia/lap (976K).

    Az 1-13 SML-előadás fóliái letölthetők (jó minőségű PDF).

    Gyakorlórendszer / Web tutor

    Használja a Web-alapú gyakorlórendszer kísérleti változatát! Belépés a NEPTUN-kóddal vagy a VENDEG azonosítóval itt: Prolog és SML.
    Új feladattípusok!

    Levelezési lista / Mailing list

    Iratkozzon fel a tárgy levelezési listájára / Subscribe to the mailing list of the course itt / here.
    DP Administrator
    		Vissza / Back