Absztrakt kötet - Debreceni Egyetem Agrár

Informatika a felsőoktatásban 2008 Debrecen, 2008. augusztus 27-29.SZÁMÍTÁSELMÉLETI SZAKIRÁNY A BME MÉRNÖK-INFORMATIKUS MSCKÉPZÉSÉBENCOMPUTER SCIENCE SPECIALISATION IN THE BUTE SOFTWARE ENGINEERING MSCPROGRAMMEFriedl Katalin, Szeredi PéterBudapesti Műszaki és Gazdaságtudományi EgyetemSzámítástudományi és Információelméleti TanszékÖsszefoglalóAz előadás a BME Villamosmérnöki és Informatikai Karán (VIK) 2008-ban induló mérnökinformatikusMSc képzés egyik szakirányát ismerteti. A számításelméleti szakirány fő célja aszámítástudomány elméleti alapjainak elmélyítése, valamint az ezen alapokra építő gyakorlatimódszerek és eszközök bemutatása. A négy féléves szakirányi képzésben öt előadás és kétszámítógépes labor kurzus kapott helyet. A heti háromórás előadások mindegyikéhez heti egyóráskiscsoportos gyakorlat is tartozik.Két előadás foglalkozik a matematikai alapok elmélyítésével: a gráfelmélet illetve azalgoritmuselmélet haladó módszereivel és ezek alkalmazási lehetőségeivel. A deklaratívtechnológiákkal foglalkozó tárgycsoport a korlát-programozás (constraint programming) elméletét ésgyakorlatát valamint a szemantikus technológiákat mutatja be. A szakirány ötödik előadásamegismerteti a hallgatókat az adatbányászat elméletével és a legfontosabb algoritmusaival valamint arelációs adatbázisok kezelésének haladó módszereivel. Ehhez az előadáshoz, valamint a deklaratívtárgycsoporthoz egy-egy laborkurzus is kapcsolódik.Kulcsszavakszámításelmélet, algoritmusok, adatbázisok, deklaratív és szemantikus technológiákAbstractThe talk presents one of the specialisations of the Software Engineering MScprogramme to be started in 2008 at the BUTE Faculty of Electrical Engineering and Informatics. Themain goal of the computer science specialisation is to deepen the knowledge of the students in thetheory of computing, and at the same time to introduce related methods and tools usable in practice.The four-term specialisation programme features five lecture courses, the weekly schedule of whichinvolves three hours of lectures and one hour of practical work in small groups. The specialisation alsoincludes two computer laboratory courses.There are two lecture courses which extend the mathematical basis of computerscience, presenting advanced techniques in graph theory and in the theory of algorithms, together withtheir application possibilities. The group of declarative technology lectures introduces constraintprogramming and semantic technologies. The fifth lecture course deals with the theory and algorithmsof data mining and with advanced techniques of relational data bases. The latter lecture, as well as thedeclarative lecture group is associated with a computer laboratory course, as well.Keywordscomputer science, algorithms, data bases, declarative and semantic technologies210