Kurzus nemzetközi vendég- és részidős hallgatóknak

Kar

Informatikai Kar

Szervezet

IK Algoritmusok és Alkalmazásaik Tanszék

Kód

IPM-22fmiLPE

Cím

Logikai programozás Ea

Tervezett félév

Mindkét

Meghirdetve

2024/25/2

ECTS

3

Nyelv

en

Oktatás célja

tudás: Rendelkezik a szükséges matematikai és informatikai ismeretekkel, különösen a következő területeken: logikai programozás, programozási módszertan, programhelyesség bizonyítás. Magas szinten, részleteiben ismeri, érti az informatikai szakterület szakmai szókincsét, kifejezési és fogalmazási sajátosságait angol nyelven. képesség: Képes komplex szakmai problémák formalizálására, a szükséges elvi és gyakorlati háttér feltárására és a probléma megoldására. Képes kezdeményező együttműködésre, projekt- (csoport-) munkára. Magas szinten képes a szakterület szakmai szókincsével angolul írásban és szóban megnyilvánulni, vitában részt venni, jelentést készíteni, tudományos, műszaki szakmai anyagokat (könyv, cikk stb.) feldolgozni és alkotó módon hasznosítani. Képes a szakmai információforrások professzionális használatára, a megoldandó problémához szükséges ismeretanyag kinyerésére, annak kritikai értelmezésére, értékelésére. Képes szakmai irányítás mellett önálló tudományos kutatómunkát végezni, felkészülni tanulmányainak posztgraduális képzés keretében történő folytatására. attitűd: Figyelemmel kíséri a képesítésével, informatikai szakterületével kapcsolatos szakmai, technológiai fejlődést. Elkötelezett az önvizsgálaton alapuló kritikai visszacsatolás és értékelés iránt. Elkötelezett az élethosszig tartó tanulás iránt, nyitott új informatikai szakmai kompetenciák elsajátítására. Elfogadja és munkatársaival is betartatja a munka- és szervezeti kultúra, továbbá az informatikai tudományos kutatás etikai elveit. Saját tudását megosztja, fontosnak tartja az informatikai szakmai eredmények közvetítését. Elkötelezett a minőségi követelmények betartatására és informatikai eszközökkel történő elemzésére. Nyitott a kezdeményező együttműködésre, az informatikai és más szakterületek szakembereivel. autonómia, felelősség: Informatikai tevékenysége során hozott szakmai döntéseiért felelősséget vállal. Felelősséget vállal a határidők betartására és betartatására. Felelősséget vállal a saját és az irányítása alatt dolgozó, illetve a vele együtt (egy projektben) tevékenykedő munkatársai munkájáért.

Tantárgy tartalma

A logikai program fogalma és elemei, a logikai változó; deklaratív és procedurális olvasat, a programozás, mint reláció finomítás; adatszerkezetek, adatabsztrakció, rekurzív programok készítése, keresési fák, végességük szerepe, parciális és valódi adatszerkezetek, akkumulátor párok; vezérlési stratégiák. A Prolog logikai programozási nyelv, a Prolog gép, célsorrend, szabályok sorrendje, redundáns megoldások, meta-logikai predikátumok; strukturált (zöld és piros) vágók, feltételes célok, tagadás, indexelés, hatékonyság, utolsó hívás optimalizáció; extra-logikai predikátumok, input-output. Önmódosító programok; generate-and-test programozás; parciális adatszerkezetek, d-listák, sorok, szótárak; magasabb rendű programozás, megoldások összegyűjtése; nagyméretű programok készítését támogató eszközök, kivételkezelés, modulok, horog predikátumok; keresés állapottér gráfokokon és játékfákon, játékprogramok; gépi tanulás; értelmező programok, logikai nyelvtanok, fordítóprogram írás és nyelvi feldolgozás Prologban.

Számonkérés és értékelés

félév végi írásbeli vizsga, vizsgajegy

Irodalomjegyzék

Ásványi Tibor: Logic programming and Prolog, in Advanced Programming Languages, (Ed. by Nyékyné Gaizler Judit) Budapest: Eötvös Loránd Tudományegyetem, 2014. pp. 932-1011. (ISBN:978-963-284-450-3) SICStus Prolog User’s Manual (https://sicstus.sics.se/sicstus/docs/latest4/pdf/sicstus.pdf, 2022)

Kurzus szakjai