„Deklaratív programozás” változatai közötti eltérés

A VIK Wikiből
Nincs szerkesztési összefoglaló
(formázás)
1. sor: 1. sor:
'''Mottó:''' Ami igaz, nem biztos, hogy gyors is.
{{Tantargy
|targykod=VISZA402
|nev=Deklaratív programozás
|kredit=5
|felev=7
|kiszh=nincs
|vizsga=van
|nagyzh=van
|hf=1+7db
|szak=info
|tad=https://www.vik.bme.hu/kepzes/targyak/VISZA402/
|targyhonlap=http://dp.iit.bme.hu/dp-current/
|levlista=[http://bagira.iit.bme.hu/mailman/listinfo/dp-l lista]
}}
 
==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===
* A gyakorlatok legalább 70%-án való részvétel.
* 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)


==A tárgyról==
==A tárgyról==


* [[Deklaratív programozás kedvcsináló | Kedvcsináló, mikor válasszam ezt?]]
* [[Deklaratív programozás kedvcsináló | Kedvcsináló, mikor válasszam ezt?]]
* [[TargynevAjanlas|Ajánlott rövidítés]]: dp
* '''Mottó:''' Ami igaz, nem biztos, hogy gyors is.
* [http://dp.iit.bme.hu/ A tárgy honlapja]
* [[TargynevAjanlas|Ajánlott rövidítés]]: dp/deklapo
* [http://www.vdk.bme.hu/targykov/standard/vifo2218.htm Tantárgy adatlap]
* [http://bagira.iit.bme.hu/mailman/listinfo/dp-l Levelezőlista] a tárgy saját levlistája. Érdemes ide írni, ha valami kérdésed van (miért nem működik? mi a hiba?), az oktatók, ill. a gyakokat tartó felsőbbéves kollegák is olvassák és általában válaszolnak is, ha nem teszi meg más.


Kapcsolódó tárgyak:
===Kapcsolódó tárgyak===
* [[Nagy6LogProg|Nagyhatékonyságú logikai programozás]]
* [[Nagy6LogProg|Nagyhatékonyságú logikai programozás]]


27. sor: 46. sor:


==Számonkérés==
==Számonkérés==
A vizsgán 100 (+7) pontot lehet elérni. A félévközi munka súlya 30 (+7) pontot.
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. („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. („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.
* 3-3 feladat Prologból és Erlang-ból.
39. sor: 56. sor:


===Nagy házi feladat===
===Nagy házi feladat===
* Nem kötelező beadni.
* Nem kötelező beadni.
* 1 feladat, amit Prologban és Erlangban is meg lehet oldani.
* 1 feladat, amit Prologban és Erlangban is meg lehet oldani.
47. sor: 63. sor:


====Létraverseny====
====Létraverseny====
* Ha a házi feladat mindegyik tesztesetre lefutott, indul a létraversenyen.
* 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.
* 10 teszteset van, az időlimit általában 120-180 másodperc/teszteset.
53. sor: 68. sor:
* Ha valamelyik nyelven n. helyezést érsz el, max(8-n/2, 0) pluszpontot kapsz vizsgán.
* Ha valamelyik nyelven n. helyezést érsz el, max(8-n/2, 0) pluszpontot kapsz vizsgán.


===Zárthelyi===
==Zárthelyi==
 
* Kötelező.
* Kötelező.
* Semmilyen jegyzet, segédlet nem használható.
* Semmilyen jegyzet, segédlet nem használható.
62. sor: 76. sor:
* Össz. 15 pont.
* Össz. 15 pont.


===Vizsga===
==Vizsga==


* Írásbeli feladatmegoldással kombinált szóbeli vizsga.
* Írásbeli feladatmegoldással kombinált szóbeli vizsga.

A lap 2013. március 1., 16:10-kori változata

Sablon:Tantargy

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

  • A gyakorlatok legalább 70%-án való részvétel.
  • 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)

A tárgyról

Kapcsolódó tárgyak

Miből érdemes tanulni?

Gyakorlatok

A tárgyból kéthetente 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

  • 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 pluszpont a vizsgán.
  • Össz. max. +7 pont.

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.
  • Össz. 15 pont.

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.
  • Pótpót zh a vizsgaidőszak első hetében.
  • Ö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.

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.

A lap eredeti címe: „https://vik.wiki/index.php?title=Deklaratív_programozás&oldid=163246”