K-INFO
HU
EN
Login
Subject » BMEVIMA9348
Older versions Download TAD (PDF)

Selected Topics from Logical Programming

Válogatott fejezetek a logikai programozásból szeminárium
A tantárgyleírás hatályossága
Hatályosság kezdete:
—
Hatályosság vége:
—
Subject name (Hungarian, English)
Válogatott fejezetek a logikai programozásból szeminárium
Selected Topics from Logical Programming
Subject code BMEVIMA9348
Subject type —
Training Level —
Course types and hours (weekly/semester)
Course type lecture tutorial laboratory
hours (weekly) 2 0 0
type (linked/independent) — — —
Assessment type vizsga
Credits 3
Subject coordinator
Dr. Recski András
Responsible department
—
Faculty
Subject website —
Primary curriculum type —
Direct prerequisites – Strong prerequisite none
Direct prerequisites – Weak prerequisite none
Direct prerequisites – Parallel prerequisite none
Direct prerequisites – Milestone prerequisite none
Direct prerequisites – Exclusion none

Objectives

Programme

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.

Learning outcomes

Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:

Knowledge

No learning outcomes recorded.

Skills

No learning outcomes recorded.

Attitudes

No learning outcomes recorded.

Autonomy and responsibility

No learning outcomes recorded.

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

Not provided.

Recommended preliminary knowledge for completing the subject

Knowledge type competencies
(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!
Skill type competencies
(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
Recommended (non-compulsory) preliminary competencies
(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!
General rules
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.
Assessment methods
In-term assessments

No detailed assessments provided.

Weight of in-term assessments

No weights provided.

Exam-period assessments

No detailed assessments provided.

Weight of exam elements

No weights provided.

Grade calculation

No grade thresholds provided.

Attendance requirements

No attendance requirements provided.

Rules for retake and resubmission

Not provided.

Short description

Not provided.

Detailed description

Not provided.

Recommended courses
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ő.
Workload to complete the subject

No workload breakdown provided.

Validity of subject requirements
Requirements valid from:
—
Requirements valid until:
—
Curriculum placement

No curriculum placements recorded for this subject version.