Deklaratív programozás

A VIK Wikiből
A lap korábbi változatát látod, amilyen (vitalap) 2012. október 21., 20:55-kor történt szerkesztése után volt. (Új oldal, tartalma: „{{GlobalTemplate|Infoalap|DeklaPo}} '''Mottó:''' Ami igaz, nem biztos, hogy gyors is. __TOC__ ==A tárgyról== * [[DeklaPoKedvCsinalo|Kedvcsináló, mikor válass…”)
(eltér) ← Régebbi változat | Aktuális változat (eltér) | Újabb változat→ (eltér)
Ugrás a navigációhoz Ugrás a kereséshez

Ez az oldal a korábbi SCH wiki-ről lett áthozva. Az eredeti változata itt érhető el.

Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor kérlek javíts rajta egy rövid szerkesztéssel.

Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót


Mottó: Ami igaz, nem biztos, hogy gyors is.

A tárgyról

Kapcsolódó tárgyak:

Miből érdemes tanulni?

  • Fóliák
  • Tankönyvigénylés
  • Szeredi Péter, Benkő Tamás: Deklaratív programozás. Bevezetés a logikai programozásba. Oktatási segédlet, 2004. Eredeti,
    Ezen a helyen volt linkelve a(z) dp04s_jegyzet.pdf nevű fájl ("kereshető" link szöveggel) a régi wiki http://wiki-old.sch.bme.hu/bin/view/Infoalap/DeklaPo oldaláról. (Ha szükséged lenne a fájlra, akkor a pontos oldalmegnevezéssel együtt küldd el a wiki@sch.bme.hu címre a kérésedet)

.

Fakultatív gyakorlat

Vannak ún. fakultatív gyakorlatok, szerintem érdemes bemenni néha, általában az előadás után. Lehet kérdezni, elmondanak sok mindent, ha nem tudsz semmit, akkor is elmagyarázzák a dolgokat. Kishf megoldásban is lehet segítséget kérni, persze nem írják meg senki helyett, de segítenek ötletet adni vagy ilyesmi.

Számonkérés

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. („Felhívjuk mindenki figyelmét, hogy a beadás kötelező, még akkor is, ha a program tesztelése nem sikeres.”)
  • 3-3 feladat Prologból és Erlang-ból.
  • Beadás ETS-en keresztül.
  • Minden feladat jó megoldásáért 1-1 jutalompont a vizsgán.

Nagy házi feladat

  • Nem kötelező beadni.
  • 1 feladat, amit Prologban és Erlangban is meg lehet oldani.
  • 10 teszteset, 0.5 pont/helyes lefutás/nyelv.
  • 5 pont a doksi.
  • A 15 pont a vizsga max. 100 pontjának része!

Egy 2004-es feladat + megoldás + doksi: felhok.zip (létraversenyen 4 pontot ért el).
A doksi legyártásához írtam egy programot, ami a Prolog fejkommenteket html-lé alakítja: prolog2html.php.
Használat: =php.exe prolog2html.php input.pl output.html=

Létraverseny

  • Ha a házi feladat mindegyik tesztesetre lefutott, indul a létraversenyen.
  • 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

  • Kötelező!
  • 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 sikeres ZH feltétele a maximális részpontszám 40%-ának megszerzése mindkét nyelven.
  • GyakIV a vizsgaidőszak első hetében.
  • Súlya az osztályzatban 15%

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.

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: Emacs howto.