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
2023/24/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

Név (kód) Nyelv Szint Kötelező Tanév ...
Erasmus program keretében (IK-ERASMUS-NXXX) en Kötelező
programtervező informatikus - mesterséges intelligencia (IK-PROGINF-MESTINT-NMEN) en 7 1/2
Vissza