Deklaratív programozás

Deklaratív programozás

Tárgykód	VISZAD00
Régi tárgykód	VISZA402,VISZA403
Általános infók
Szak	info
Kredit	3
Ajánlott félév	7
Keresztfélév	nincs
Követelmények
KisZH	nincs
NagyZH	van
Házi feladat	7 kisHF + opcionális nagyHF
Vizsga	nincs
Elérhetőségek
Levlista	lista
Tantárgyi adatlap
Tárgyhonlap

Az informatikus alapképzés többi tárgyában a programozási paradigmák közül a procedurális és objektumorientált paradigmákra esik a hangsúly. Ezekkel a módszerekkel a Hogyan? kérdést igyekszünk megválaszolni kódírásnál. Az algoritmusok, állapotok pontos ismerete szükséges. Létezik egy másik család is, a deklaratív programozás, ami elsősorban a Mit? kérdésre ad választ: nem határozzuk meg pontosan, hogyan kapjuk meg az eredményt, csak azt, hogy mire van szükségünk. A tárgy ezt a családot mutatja be egy logikai és egy funkcionális programozási nyelven keresztül.

Követelmények

Félévközi feladatok

• 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)

Megajánlott jegy

• Azok a hallgatók, akiknek a nagy házi feladata mindkét nyelven bejut a létraversenybe (80% vagy jobb teszteredmény), megajánlott jegyet kaphatnak. A létraversenyben az alap teszteknél nehezebb, időigényesebb tesztesetekkel futtatják a megoldásod, így igencsak hatékonyan kell megírod.
  • 4-es jegyhez a két nyelv nagy házijához dokumentációt is kell készíteni, és a házit meg kell védeni.
  • Jeles megajánlott jegyet kap az, akinek programja ezen felül a létraverseny teszteseteinek legalább 40%-át időkorláton belül teljesíti.

A tárgyról

• Kedvcsináló
• Mottó: Ami igaz, nem biztos, hogy gyors is.
• Ajánlott rövidítés: dp/deklapo

Kapcsolódó tárgyak

• Nagyhatékonyságú logikai programozás

Miből érdemes tanulni?

• Fóliák. A diasor nagyon jó, mindent meg lehet belőle tanulni.
• A 2016-os előadás diák
• Prolog:
  • jegyzet: Szeredi Péter, Benkő Tamás: Deklaratív programozás. Bevezetés a logikai programozásba. Oktatási segédlet, 2004. Eredeti, VIKWiki mirror – kereshető változat.
• Erlang
  • magyar könyv nincs, a diasorból érdemes tanulni
  • ajánlott könyv: Joe Armstrong: Programming Erlang: Software for a Concurrent World
  • ELTE anyagok: http://nyelvek.inf.elte.hu/leirasok/Erlang/
  • ingyenes tutorial: http://learnyousomeerlang.com/

Gyakorlatok

A tárgyból általában, de nem rendszeresen kéthetente hetente gyakorlatok vannak, az előadáson szereplő programozási nyelvnek megfelelően.

Gyakorlatok után érdemes az ETS-ben lévő feladatokat megoldani pluszban, önáló munkaként.

Kis házi feladatok

• Kötelező beadni a 7 kisháziből 3-mat, de mindét nagy nyelvből legalább 1-1 kell hogy legyen.
• 3-3 feladat Prologból és Erlang-ból, és egy Céklából.
• Beadás ETS-en keresztül, automatikusan tesztelésre kerül.
• Minden feladat jó megoldásáért 1-1 pluszpont.
• Össz. max. +7 pont.

Nagy házi feladat

• Nem kötelező beadni. Ugyanakkor még ZH-ra készülés mellett is érdemes próbálkozni a feladat megoldásával, ráadásul néhány pontot könnyen lehet szerezni még akkor is, ha nem teljes és hatékony a megoldásod.
• 1 feladat, amit Prologban és Erlangban is meg lehet oldani.
• 10 teszteset, 0,5 pont/helyes lefutás/nyelv.
• 2,5 pont a doksi nyelvenként.
• Össz. 15 pont.
• A nagy házi megoldása időigényes, sok dolgot kell számításba venni. Előre nézd meg, a többi tárgy mellett lesz-e rá időd.
• A nehézség ellenére mégis érdemes erre hajtani, hiszen rögtön ki tudod próbálni a programot, ZH-n sokkal bizonytalanabb leszel, több időd jut megtervezni és elkészíteni a feladatot.

Zárthelyi

• Kötelező azoknak, akiknek nem fogadták el, vagy nem adtak be nagyházit.
• Semmilyen jegyzet, segédlet nem használható.
• A zh anyaga az egész féléves anyag, beleértve az előadáson elhangzott néhány alapszintű könyvtári függvényt/eljárást.
• A sikeres zh feltétele a maximális részpontszám 40%-ának megszerzése mindkét nyelven.
• Össz. 85 pont.
• A ZH-n mindkét nyelv részének max pontszáma 85. A végeredménynél ezek számtani átlagát veszik.

• Régi tárgyhoz tartozó tippek ZH-ra és vizsgára

Hasznos fordítók és futtató környezetek a házikhoz

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 telepítési lépések.

Online Prolog IDE-k

• SWISH
  • Bal oldalt kell megadni a kódot, jobb alul a futtatandó parancsot és jobb felül jelenik meg az eredmény.
  • Jobb alul a Solutions -> Debug (trace)-re kattintva lehet debug-olni.
• tutorialspoint - Coding Ground

Mérnök informatikus
Bevezetők	Bevezető fizika  •  Bevezető matematika
1. félév	Analízis 1  •  A programozás alapjai 1  •  Bevezetés a számításelméletbe 1  •  Digitális technika 1  •  Mikro- és makroökonómia  •  Szoftver laboratórium 1
2. félév	Analízis 2  •  A programozás alapjai 2  •  Bevezetés a számításelméletbe 2  •  Digitális technika 2  •  Fizika 1  •  Menedzsment és vállalkozásgazdaságtan  •  Szoftver laboratórium 2
3. félév	Fizika 2  •  Kódolástechnika  •  Mérés laboratórium 1  •  Számítógép-architektúrák  •  Szoftver laboratórium 3  •  Szoftvertechnológia  •  Üzleti jog  •  Valószínűségszámítás
4. félév	Algoritmuselmélet  •  Jelek és rendszerek  •  Mérés laboratórium 2  •  Operációs rendszerek  •  Számítógép-hálózatok  •  Szoftver laboratórium 4  •  Szoftvertechnikák
5. félév	Adatbázisok  •  Elektronika  •  Mérés laboratórium 3  •  Mesterséges intelligencia  •  Szabályozástechnika  •  Számítógépes grafika és képfeldolgozás  •  Távközlő hálózatok és szolgáltatások
6. félév	Információs rendszerek üzemeltetése  •  Mérés laboratórium 4  •  Szoftver laboratórium 5
7. félév	Beszédinformációs rendszerek  •  Deklaratív programozás  •  Rendszermodellezés  •  Záróvizsga