Tantárgy » BMEVIMA9348
Válogatott fejezetek a logikai programozásból szeminárium
Selected Topics from Logical Programming
A tantárgyleírás hatályossága
Hatályosság kezdete:
—
Hatályosság vége:
—
| Tantárgy neve (magyarul, angolul) |
Válogatott fejezetek a logikai programozásból szeminárium
Selected Topics from Logical Programming
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Tantárgykód | BMEVIMA9348 | ||||||||||||
| 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 | 3 | ||||||||||||
| Tantárgyfelelős |
Dr. Recski András
elérhetőség:
recski.andras@vik.bme.hu
|
||||||||||||
| 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
Az előadáson – a hallgatók kéréseit is figyelembe véve – a következő tágabb területekről választunk anyagot: A logikai programozás megvalósítása. A logikai programozás elmélete. Haladó programozási eszközök és technikák (korutin-szervezés, változó-attributumok, stb.). Új logikai nyelvek (Mercury, Oz, XSB stb.). A logikai programozás alkalmazásai.
Megismertetni a hallgatókat a témakör újabb eredményeivel, alkalmazásaival.
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
Szeminárium jellegű előadás , azaz egyes tárgy-részeket a hallgatók dolgoznak fel és adnak elő.
Tanulástámogató anyagok
Online források
Hassan Ait Kaci: Warrens Abstract Machine: A Tutorial Reconstruction MIT Press, 1991, http://www.vanx.org/archive/wam/wam.html; U. Nilsson and J. Maluszynski: Logic, programming and Prolog 2ed John Wiley & Sons, 1995, http://www.ida.liu.se/Üulfni/lpp/; Richard A. OKeefe, The craft of Prolog, MIT Press, 1990; Mozart/Oz cikkek: http://www.mozart-oz.org/papers/; Mercury cikkek: http://www.cs.mu.oz.au/research/mercury/information/papers.html; XSB Prolog:http://xsb.sourceforge.net/; SICStus Prolog Reference Manual (egyes fejezetek) http://www.sics.se/isl/sicstus/docs/
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)
A tárgy felvételéhez szükséges, hogy a hallgató a Prolog programozási nyelv alapszintű ismeretével rendelkezzék!
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)
A tárgy felvételéhez szükséges, hogy a hallgató a Prolog programozási nyelv alapszintű ismeretével rendelkezzék!
Általános szabályok
Követelmények:
a. A szorgalmi időszakban: legalább 8 szemináriumon való részvétel
b. A vizsgaidőszakban: szóbeli vizsga; előadás tartása esetén megajánlott jegy.
c. Elővizsga: az előadóval való megbeszélés alapján lehetséges.
A szorgalmi időszakban nem teljesített követelmények a vizsgaidőszak első három hetében pótolhatók oly módon, hogy a hallgató beszámol a mulasztott szeminárium(ok) anyagából.
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
Tematikaütközés miatt a tárgyat csak azok vehetik fel, akik korábban nem hallgatták a következő tárgyakat:
Neptun-kód Cím : nincs ilyen
A Deklaratív Programozás (ill. korábbi nevén a Programozási Paradigmák) tárgy elvégzése után ajánlott.
Ha a hallgató ill. doktorandusz ismeri a Prolog programozási nyelvet, akkor az előző bekezdésben hivatkozott tárgyaktól függetlenül is felveheti a jelen tárgyat.
A Nagyhatékonyságú Logikai Programozás (bmevima9359) c. választható tárggyal együtt, az előtt ill. után is felvehető.
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.