Tantárgy » BMEVIFO9375
Magasabb rendű funkcionális programozás
Higher-Order Functional Programming
A tantárgyleírás hatályossága
Hatályosság kezdete:
—
Hatályosság vége:
—
| Tantárgy neve (magyarul, angolul) |
Magasabb rendű funkcionális programozás
Higher-Order Functional Programming
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Tantárgykód | BMEVIFO9375 | ||||||||||||
| Tantárgyjelleg | — | ||||||||||||
| Képzési szint | — | ||||||||||||
| Kurzustípusok és óraszámok (heti/féléves) |
|
||||||||||||
| Tanulmányi teljesítmény/értékelés típusa | vizsga | ||||||||||||
| Tantárgy kreditértéke | 5 | ||||||||||||
| Tantárgyfelelős | — | ||||||||||||
| Tantárgyat gondozó oktatási szervezeti egység |
—
|
||||||||||||
| Kar | |||||||||||||
| Tantárgy weboldala | — | ||||||||||||
| Tantárgy elsődleges mintatantervi jellege | — | ||||||||||||
| Közvetlen előkövetelmények – Erős előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Gyenge előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Párhuzamos előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Mérföldkő előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Kizáró feltétel | nincs |
Célkitűzés
Tantárgyprogram
- Lambda kalkulus és funkcionális programozás.
- A funkcionális programozás magasabbrendű módszerei (funktor, abstract data type, sharing, monád, continuation passing style stb.).
- Érdekes algoritmusok és hatékony megvalósításuk.
- A lusta és mohó kiértékelés összehasonlítása, lusta listák.
- A lusta kiértékelésű nyelvek egy reprezentánsa (Haskell).
- A LISP-családba tartozó néhány nyelv (Common Lisp, Scheme stb.).
- Az ML-család objektumelvű programozási nyelve (OCaml).
- Más érdekes funkcionális programozási nyelvek bemutatása (Clean, Oz stb.).
- Metaprogramozás, programgenerálás (MetaML).
- A típusnyelv kiterjesztése (Depentdent ML).
A funkcionális programozási ismeretek bővítése, néhány funkcionális programozási nyelv és megvalósítás összevetése, gyakorlati (ipari) alkalmazási lehetőségek bemutatása.
Tanulmányi eredmények
Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:
Tudás
Nincsenek rögzített tanulási eredmények.
Képességek
Nincsenek rögzített tanulási eredmények.
Attitűd
Nincsenek rögzített tanulási eredmények.
Autonómia és felelősség
Nincsenek rögzített tanulási eredmények.
Oktatási módszertan
(előadás, gyakorlat, laboratórium):
Előadás, konzultáció, önálló gyakorlás számítógépen.
Tanulástámogató anyagok
Online források
Jegyzet:; Nincs.; Ajánlott irodalom:; Emmanuel Chailloux, Pascal Manoury, Bruno Pagano: Développement d'applications avec Objective CAML. OReilly France, 2000, ISBN 2-841-77121-0 (Developing applications with Objective Caml címen az angol változat letölthető a webről). David Andrew Kranz: ORBIT: An Optimizing Compiler For Scheme. Yale University, 1988. Paul Hudak, John Peterson, Joseph Fasel: A Gentle Introduction to Haskell 98. Yale University, 1999. Paul Graham: On Lisp. Prentice Hall, 1993, ISBN 0-130-30552-9. Greg Michaelson: An introduction to functional programming through lambda calculus. Addison-Wesley, 1989, ISBN 0-201-17812-5 Functional Programming in CLEAN. 1999. Letölthető a webről.
A tantárgy teljesítéséhez ajánlott előzetes ismeretek
Tudás típusú kompetenciák
(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
BMEVIFO2218 Deklaratív programozás
Képesség típusú kompetenciák
(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák
(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)
BMEVIFO2218 Deklaratív programozás
Általános szabályok
Követelmények:
a) A szorgalmi időszakban
Kötelező: kiadott cikk, téma feldolgozása. Ajánlott: házi feladatok megoldása.
Az aláírás megszerzésének feltétele a kiadott cikk, téma feldolgozása. A vizsgára bocsátásnak más feltétele nincs.
b) A vizsgaidőszakban
A vizsga szóbeli. A félévvégi osztályzatot a vizsga alapján állapítjuk meg.
c) Elővizsga
Megbeszélés szerint.
Pótlási lehetőségek:
A kiadott cikk, téma feldolgozása a szorgalmi időszak végéig pótolható.
Teljesítményértékelési módszerek
Szorgalmi időszakban végzett teljesítményértékelések részletes leírása
Nincs megadva részletes értékelés.
Szorgalmi időszakban végzett teljesítményértékelések részaránya
Nincs megadva részarány.
Vizsgaidőszakban végzett teljesítményértékelések részletes leírása
Nincs megadva részletes értékelés.
Vizsgarészek részaránya
Nincs megadva részarány.
Érdemjegy megállapítása
Nincs megadva érdemjegy határ.
Jelenléti és részvételi követelmények
Nincs megadva jelenléti követelmény.
Javítás, ismétlés és pótlás különös szabályai
Nincs megadva.
Rövid leírás
Nincs megadva.
Részletes leírás
Nincs megadva.
Ajánlott tantárgyak
BMEVIFO2218 Deklaratív programozás
A tantárgy elvégzéséhez szükséges tanulmányi munka
Nincs megadva munkaidő bontás.
Tantárgykövetelmények hatályossága
Tantárgykövetelmények hatályosságának kezdete:
—
Tantárgykövetelmények hatályosságának vége:
—
Tantervi elhelyezés
Nincsenek rögzített tantervi elhelyezések ehhez a tárgyverzióhoz.