1 Digitális Tananyagok Tartalom ---

Embed Size (px)

Citation preview

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    1/24

    Hrek Hasznos linkek Digit lis tananyagok Publikus dokumentumok

    Cmlap | Digitlis tananyagok

    Elkszlt tananyagok digitlis mellkletekkel

    Az elkszlt tananyagok csoportostva

    Algoritmusok, opercikutats

    Adatstruktrk s algoritmusok

    Adatstruktrk s algoritmusok pldatr

    Gyrtrendszerek modellezseIntelligens adatelemzs

    Kzelt s szimbolikus szmtsok

    feladatgyjtemny

    Online algoritmusok

    Opercikutats informatikusoknak

    Gazdasgi informatika

    Gazdasgi folyamatok matematikai modellezse

    Jtkelmlet

    Logisztika s zleti modellezsSzemlyes adatok vdelmnek jogi, etikai s

    informatikai krdsei

    zleti webtechnolgik

    Kpfeldolgozs, grafika

    Fejlett grafikai algoritmusok

    Kpfeldolgozs haladknakKpi informci mrse

    Kprekonstrukci

    Szmtgpes lts

    Szntervezs szmtgpes lts szmra

    Trkpi adatbzisok

    Matematika informatikusoknak

    Algoritmikus szmelmlet

    Kalkulus informatikusoknak I.Kalkulus informatikusoknak II.

    Kalkulus informatikusoknak II. pldatr

    Lineris algebra pldatr mrnk

    informatikusoknak

    Valsznsgszmts pldatr

    informatikusoknak

    Mszaki terlet

    gens technolgia

    Begyzott rendszerek s programozhatlogikai eszkzk

    Digitlis technika

    Intelligens irnyt rendszerek

    Irnytstechnika

    Jelek s rendszerek pldatr

    Mrselmlet

    Robotika

    Szmtstudomny

    Automatk s formlis nyelvek pldatr

    Hardver s szoftver rendszerek verifiklsaA szmtstudomny alapjai

    201 1. szeptember 07. | |

    Bemutatkozs Rsztvevk Tevkenysg Elrhetsgek

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    2/24

    Fordtprogramok

    A programozs alapjai

    Programrendszerek fejlesztse

    Tesztelsi mdszerek

    Szoftverkarbantarts

    UML diagrammok a gyakorlatban

    Az elkszlt tananyagok ABC sorrendben

    Adatstruktrk s algoritmusok

    Adonyi Rbert, PE MIK, Rendszer- s Szmtstudomnyi Tanszk

    Kulcsszavak:adatstruktra, algoritmus, C , C++, programozs, verem, sor, lncolt lista, grf, fa

    sszefoglal: A jegyzet clja, hogy betekintst nyjtsunk a programozsi feladatok sorn elnk

    kerl programtervezsi krdsekbe. Ehhez bemutatjuk az alap adatszerkezeteket s az

    adatszerkezeteken megvalsthat klnbz algoritmusokat, hiszen a rendelkezsnkre ll

    adatszerkezetek s a hozzjuk kapcsold algoritmusok tulajdonsgainak s mkdsknek

    alapos ismeretben tudjuk csak az alkalmazs ignyeinek legmegfelelbb megoldst

    kivlasztani. A jegyzet az elmleti ismeretanyagot s a programozs jelleg trgyak

    teljestshez szksges gyakorlati jelleg tudst kapcsolja ssze. A jegyzetben szerepl

    mintaprogramok s kdrszletek objektum orientlt szemlletben C++ programozsi nyelven

    kerlnek megvalstsra.

    Jegyzet letltse PDF formtumban.

    Adatstruktrk s algoritmusok pldatr

    Heckl Istvn, PE MIK, Rendszer- s Szmtstudomnyi Tanszk

    Kulcsszavak:adatstruktra, algoritmus, adatszerkezet, adattpus, bonyolultsg, programozs,

    feladatok, verem, sor, binris fa, tmb

    sszefoglal:Az adatstruktrk s algoritmusok pldatr 146 feladat segtsgvel segti a

    hallgatk tudsnak elmlytst az adott tmakrben. A pldatr elejn rvid ttekints

    tallhat a klnbz adatszerkezetekrl, az a lgoritmusok tpusairl s bonyolultsgairl. A

    leggyakrabban hasznlt programozsi ttelek magyarzata is fellelhet itt. A feladatok tpus

    szerint vannak csoportostva, pldul veremhez kapcsold feladatok, binris keresfa feladatai,

    stb. A feladatok jelents rsze tbb alfeladatbl ll, amelyek sokszor nllan is megoldhatak.

    TMOGATK

    KERESS

    Keress...

    BELPS

    Felhasznlnv

    Jelsz

    Emlkezzen rm

    Bejelentkezs

    Elfelejtette jelszavt?

    Elfelejtette felhasznlnevt?

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    3/24

    pldatr az Adatstruktrk s algoritmusok kurzuson kvl hasznlhat programozs jelleg

    trgyakhoz is.

    Jegyzet letltse PDF formtumban.

    Algoritmikus szmelmlet

    Szalkai Istvn, Dsa Gyrgy, PE MIK, Matematika Tanszk

    Kulcsszavak:algoritmusok, szme lmlet, Euklidesz a lgoritmusa, lineris diophantoszi

    egyenletek, kongruencik, knai maradkttel, prmtesztek, titkosrs nyilvnos kulccsal,

    bizonyts nulla informcival, Euklideszi gyrk

    sszefoglal:Az algoritmusok legfontosabb jellemzinek ttekintse utn a knyv

    bevezetskppen az e lemi szmelmletet tekinti t algoritmikus szemszgbl - nem minden

    egyszer krds szmthat ki percek vagy vek alatt. A knyv elsdleges clja egyrszt a

    szmelmlet felhasznlsa az algoritmusok s titkosrsok, irat-hitelestsek tern (7.3, 10. s 1.

    fejezetek), msrszt a szmelmlet sajt kiszmthatsgi problmi s azok megoldsra

    trtnt prblkozsok bemutatsa (3.2, 8. s 9. fejezetek). A knyv tartalmazza a fenti rszek

    megrtshez szksges (nem kevs) elmleti tudnivalt is (2., 4 -7. fejezetek). Az anyag

    megrtst t kis program segti, melyek a bemutatott algoritmusokat lpsenknt mutatjk be,

    az output-szveg szerkeszthet. A programok egyszerbb szmtsok elvgzsre (pl. titkosrs)

    is hasznlhatk. Nhny j jellssel s szemlletmddal, tovbb Bolyai Jnos szme lmleti

    munkssgval, st modern algebrai ltalnostsokkal is megismerkedhetnk a knyvben (3.,

    8.3. s 13. fejezetek). A knyvet Tblzatok, Irodalomjegyzk s Trgymutat teszi teljess.

    Jegyzet letltse PDF formtumban.

    Digitlis mellklet.

    Automatk s formlis nyelvek pldatr

    sik Zoltn, Gombs va, Ivn Szabolcs, SZTE TTIK, Szmtstudomny Alapjai Tanszk

    Kulcsszavak:szavak, nyelvek, vges automatk, regulris kifejezsek s nyelvek,krnyezetfggetlen nyelvtanok s nyelvek, eldnthetetlen problmk.

    sszefoglal:Jelen pldatr a programtervez informatikus, mrnk informatikus s

    gazdasginformatikus kpzsi tantervekben szerepl Szmtstudomny alapjai s Formlis

    nyelvek kurzusok gyakorlatn elfordul feladattpusokhoz gyjt ssze feladatokat. A pldatr

    arnya iban tkrzi, hogy az rintett terletek ltalban milyen rszletessggel ke rlnek el ezen

    kurzusokon, gy legnagyobbrszt a regulris nyelvekkel (vges automatk, varinsaik s rajtuk

    vgzett mveletek, regulris kifejezsek, szintaktikus flcsoportok, monadikus msodrend

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    4/24

    veremautomatk) kapcsolatos feladatok kaptak benne helyet.

    Jegyzet letltse PDF formtumban.

    Digitlis mellklet.

    gens technolgia

    Piglern Lakner Rozlia, PE MIK, Rendszer- s Szmtstudomnyi Tanszk

    Starkn Werner gnes, PE MIK, Villamosmrnki s Informcis Rendszerek Tanszk

    Kulcsszavak:mestersges intelligencia, gens, intelligens keress, tudsreprezentci,

    bizonytalan adatok kezelse, szakrti gens, gpi tanuls, genetikus mdszerek, neurlis

    hlzatok, robotika

    sszefoglal: A Veszprmi Egyetemen (jelenleg Pannon Egyetem) 1992-ben indult

    informatikatanr kpzsben folyamatosan oktatunk mestersges intelligencihoz kapcsoldismereteket ktelez trgyak keretben. Ezeket az rkat mind a nappalis, mind a levelez

    hallgatk szvesen ltogattk s ismerkedtek meg olyan terletekkel, amelyek informatikai

    mveltsgket emeltk. Emellett olyan tmkrl is hallhattak, amelyek az oktats terletn is

    felhasznlhatk. A mostani kpzsi formban a hallgatk rdekldse a tma irnt nem

    cskkent, ezrt gy gondoljunk, hogy egy clirnyosan szmukra sszelltott, sszefoglal

    elektronikus jegyzet segtsgvel a rvidebb kpzsi id ellenre is tfog kpet tudunk adni

    ezen tudomnyterlet soksznsgrl. A jegyzetben albbi tmaterleteket rintjk:

    mestersges intelligencia - gensek, multi-gens rendszerek; keressi mdszerek; tudsbzis

    gens; tudsreprezentci; bizonytalan adatok kezelse; szakrti gens; gpi tanuls;

    genetikus mdszerek; neurlis hlzatok; robotika; virtulis valsg; gpi lts;beszdfelismers.

    Jegyzet letltse PDF formtumban.

    Digitlis mellklet.

    Begyazott rendszerek s programozhat logikai eszkzk

    Fodor Attila, Vrshzi Zsolt, PE MIK, Villamosmrnki s Informcis Rendszerek Tanszk

    Kulcsszavak:begyazott rendszerek, CAN, FPGA, MicroBlaze, MODBUS, RTOS, VHDL

    sszefoglal: Napjainkban a legtbb elektronikus eszkz kisebb nll mkdsre is alkalmas

    rszegysgbl ll, amelyek egy begyazott rendszert alkothatnak. A begyazott rendszerek

    ismerete nlklzhetetlen a mai mrnkk szmra. A jegyzet ehhez igyekszik segtsget

    nyjtani. A jegyzet kt fejezetre oszthat, az els fejezet rviden ssze foglalja a begyazott

    rendszerek alapelveit, a msodik fejezet pedig az FPGA (Field Programmable Gate Arrays)

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    5/24

    lehet hasznlni. Napjainkban az FPGA-k a felhasznl ltal tbbszr tetszlegesen

    konfigurlhat kapuramkrk mint nagy-teljestmny szmtsi eszkzk a klnbz

    feladatok megva lstsnak igen szles spektrumt biztostjk: ak r az algoritmusok

    vgrehajtsnak gyorstst szolgl tudomnyos szmtsoknl, a jelfeldolgozsban, a

    kpfeldolgozsban, a titkosts vagy, akr az autipari alkalmazsok stb. terletn. A

    hagyomnyos ASIC VLSI technolgival szembeni nagy elnyk a relatv olcssg, a gyors

    prototpus-fejlesztsi lehetsg, s nagy fok konfigurlhatsg. Ebben a jegyzetben a

    legnagyobb FPGA gyrt, azaz a X ilinx chipek ltalnos felptst, funkciit, illetve egy a XilinxSpartan-3E sorozat FPGA-ra pl D igilent Nexys-2-es fejleszt kr tyt, integrlt tervez-

    szoftver tmogatottsgt, s programozsi lehetsgeit ismertetjk. A tmaterleten ltez

    legtbb szakknyv s jegyzet a HDL nyelvek pontos szintaktikai elemkszletnek bemutatsra

    s szimullhat, de nem mindig szintetizlhat kdok megads ra trekszik. Jelen jegyzet

    ksztse sorn c lul tztk ki, hogy a VHDL sszes nyelvi konstrukcijnak ttekintse helyett

    mindvgig az FPGA-s krnyezetekben alkalmazhat s szintetizlhat tervek lersra

    fkuszlunk, amely egyben szimullhat RTL szint VHDL megadst is jelenti. Tovbb sosem a

    VHDL nyelvi szintaxisnak mlyrehat ismertetst kvetjk, hanem mindig egy konkrt

    gyakor lati pldn keresztl mutatjuk be a VHDL nye lvi elemkszletnek a szintzis

    szempontjbl legfontosabb rszeit.

    Jegyzet letltse PDF formtumban.

    Digitlis technika pldatr

    Matijevics Istvn, SZTE TTIK, Mszaki Informatika Tanszk

    Kulcsszavak:digitlis technika elemi kapuk, grafikus s numerikus egyszersts, trolk,

    szmllk, regiszterek, digitlis rendszerek szimullsa.

    sszefoglal: Az interaktv Digitlis technika pldatr segtsgvel a hallgatk, felhasznlk az

    elmleti anyagot pldkon keresztl, azok megoldsval, valamint a kapcsolsok szimullsval

    tehetik rthetv. A pldatr a digitlis technika kvetkez fejezeteinek megrtshez nyjt

    segtsget:

    Boole algebra, logikai fggvnyek, algebrai alak, igazsgtblzat, Venn diagram, kanonikus

    alak, minterm s maxterm. Logikai fggvnyek minimalizlsa.

    Elemi (alapkapuk) s sszetett (kdolk, dekdolk, multiplexerek, demultiplexerek,

    sszeadk, kompartorok, stb.) kombincis hlzatok.

    Szekvencilis hlzatok. Szinkron s aszinkron sorrendi hlzatok. Lersi mdszerek(llapottbla, grfok), llapotok, mkdsi modellek.

    Trolelemek (S-R, J-K s T flip-flopok). Szinkron s aszinkron mkds flip-flopok.

    sszetettebb sorrendi hlzatok (szmllk, shift regiszterek, stb.)

    Jegyzet letltse PDF formtumban.

    Digitlis mellklet.

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    6/24

    Fejlett grafikai algoritmusok

    Nagy Antal, SZTE TTIK, Kpfeldolgozs s Szmtgpes Grafika Tanszk

    Kulcsszavak:grafikus csvezetk, OpenGL fggvnyknyvtr, geometriai transzformcik,

    modellezs, rnyals, textrzs, tkzs detektls, trbeli adatstruktrk, realisztikus szntr

    sszefoglal: A jegyzet Szegedi Tudomnyegyetem Termszettudomnyi s Informatikai Karn,

    a programoz informatikus mester szakn foly Fejlett Grafikai Algoritmusok cm kurzus

    tematikja alapjn kszlt. A jegyzet els fejezetben bevezetsknt az OpenGL alapok mellett

    a grafikus csvezetk fzisait is ismertetjk. Emellett kln kitrnk a programozhat grafikus

    csvezetk bemutatsra is. A kvetkez fejezetben egy hromdimenzis objektum felpts

    pldjn keresztl mutatjuk be az alapvet modellezsi szablyokat s ms primitvek

    hasznlatt. A negyedik fejezetben geometriai transzformcikkal foglalkozunk, ahol nhny

    specilis transzformcit is bemutatunk. A kvetkez kt fejezetben az rnyalssal s az ahhoz

    szorosan kapcsold textrzssal foglalkozunk. Az tkzsdetektls fejezetben nhny alap

    algoritmust mutatunk be. A nyolcadik fejeze tben egyrszt olyan technikkat ismertetnk,

    amelyek az objek tumok hatkony megje lentst biztostjk, valamint olyan algoritmusokat

    ismertetnk, amelyek az objektumok felptsnek a kialaktsban hasznlhatak. Az utols

    fejezetben olyan algoritmusokkal foglalkozunk, amelyek segtsgve l sznternket tehetjk

    valsg hbb.

    Jegyzet letltse PDF formtumban.

    Fejlett programozs

    Ferenc Rudolf, SZTE TTIK, Szoftverfejleszts Tanszk

    Kulcsszavak: generikus programozs, C++, template, STL

    sszefoglal:A jegyzet f clja, hogy az olvas szmra bemutassa a generikus programozsi

    paradigmt. A knnyebb rthetsg kedvrt a bevezetsben egy rvid ttekintst nyjt az

    objektum-orientlt programozsrl, illetve a C ++ nyelvrl, majd ezutn mutatja be a gener ikus

    programozst, valamint a legismertebb generikus programozssal kszlt osztlyknyvtrat, a

    Standard Template Library-t (STL). A jegyzet betekintst nyjt az STL generikus a lgoritmusok s

    trolk bels implementcijba s a tipikus hasznlatba is. A jegyzet clja, hogy a teljessg

    ignye nlkl minl tbb terlettel megismertesse az olvas t, ezzel megfelel alapokat biztostva

    a generikus programozsi paradigma megrtshez s elsajttshoz.

    Jegyzet letltse PDF formtumban.

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    7/24

    Gyimthy Tibor, Havasi Ferenc, Kiss kos, SZTE TTIK, Szoftverfejleszts Tanszk

    Kulcsszavak: fordtprogramok, attribtum nyelvtanok, interpreterek , fordtprogram-generl

    rendszerek, rpfordts

    sszefoglal: A fordtprogramok feladata, hogy a klnbz programozsi nyelven rt

    programokat vgrehajthat gpi kd utastsokk transzformlja. A fordtsi folyamat nagyon

    sszetett, hiszen sok programozsi nyelv ltezik s a klnbz processzorok gpi utasts

    kszlete is jelentsen eltrhet egymstl. Figyelembe vve a rendelkezsre ll magyar nyelv

    szakirodalmat, ebben a jegyzetben nem trekedtnk egy tfog, a fordts minden fzist rint

    anyag elksztsre, hanem hrom terletet rintnk rszletesebben. A fordtsi folyamat

    legjobban kidolgozott fzisainak a lexiklis s a szintaktikus elemzs tekinthet. Hatkony

    algoritmusok s ezek megva lstst tmogat rendszerek kszltek a lexiklis s szintaktikus

    elemzk automatikus ellltsra. A jegyzetben pldkon keresztl bemutatjuk az ANTLR

    rendszert, amely segtsgve l formlis nyelvtan alap defincik alapjn gyakorlatban is

    hasznlhat minsg elemzk generlhatk. A szintaktikus elemzst kvet fordtsi fzis a

    szemantikus elemzs. Ennek feladata az olyan fordtsi idben felderthet problmk

    megoldsa, amelyek a hagyomnyos szintaktikus elemzkkel nehezen valsthatk meg (ilyen

    pldul a tpus kompatibilits vagy a v ltozk lthatsgi krdsnek kezelse). A szemantikus

    elemzs elterjedt modellje az attribtum nyelvtan alap fordtsi modell. A jegyzetben

    ismertetjk az attribtum nye lvtanokat s a kapcsold attribtum kirtkel stratgikat,

    valamint pldkat mutatunk be arra , hogyan hasznlhatk az attribtum nyelvtanok fordts

    idej szemantikus problmk megoldsra. Napjainkban egyre nagyobb teret kaptak az

    rtelmez (interpreter) alap program vgrehajtsi megoldsok. Ezek lnyege, hogy a

    forrskdbl nem generlunk gpi kd utastsokat, hanem egy rtelmez program

    segtsgvel hajtjuk vgre az utastsokat. A jegyzetben ismertetjk a klnbz rtelmezsi

    technikkat s bemutatunk optimalizlsi megoldsokat.

    Jegyzet letltse PDF formtumban.

    Gazdasgi folyamatok matematikai modellezse

    Blzsik Zoltn, SZTE TTIK, Szmtgpes Optimalizls Tanszk

    Kulcsszavak:projekt, moh, gr f, matroid, lineris, pnzgyi, folyam, dnts, tke, kockzat,jtk, programozs

    sszefoglal: Gazdlkodsi krdsekben forduljunk a matematika, informatika,

    kzgazdasgtudomny modelljeihez, a megoldsi mdszereket, az eredmnyeket alkalmazzuk a

    felmerlt gyakorlati problmkban. Br az let bonyolultabb feladatokat vet fel, az absztrakt,

    leegyszerstett fogalmak v izsglata segt eligazodni a komplex folyamatokban is. A

    termszettudomnyok mdszerhez hasonlan az optimalizlsi problmkban is

    megklnbztetjk a lnyeges tnyezket, elhanyagolva a kisebb jelentsg hatsokat. A

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    8/24

    megtervezse, majd az sszetevk szintzise elvezethet a megoldshoz. A jegyzet bemutat jl

    ismert alapvet problmka t, felvet gyakor lat-kzeli megoldand feladatokat, meg is oldja ket

    vagy szakirodalmi hivatkozsokra utal. Mai elmleti kutatsokat is megemlt, amelyek ksbb

    hatkonyabb tehetik a szm tgpes a lgoritmusokat.

    Jegyzet letltse PDF formtumban.

    Gyrtrendszerek modellezse

    Bertk Botond, PE MIK, Rendszer- s Szmtstudomnyi Tanszk

    Kovcs Zoltn, SZTE TTIK, Szmtgpes Optimalizls Tanszk

    Kulcsszavak:grf, hlzat, elltsi lnc, matematikai programozs, folyamatszintzis, temezs.

    sszefoglal: A trgy s a jegyzet clja bevezetst adni olyan modellezsi eljrsokba, melyeklehetvteszik ipari gyrtrendszerek s kapcsold hlzatok analzist s optimalizlst. A

    gyrtrendszerekhez kapcsold hlzat lehet az energiaellt rendszer, a gyrtshoz

    kapcsold logisztika, az informatikai rendszer, de ak r a teljes elltsi lnc is. Mindezen

    rendszereket s hlzatokat a kvetkezkben elssorban grfokkal s hlzati folyamatokkal

    vagy ezek valamilyen formlis matematikai lersval modellezzk, melyek szoftverekkel jl

    kezelhetek. A jegyzet msodik fejezete tismtli a halmazelmlet alapjait, a relcik s

    fggvnyek, grfok s hlzatok fogalmt. A ksbbi fejezetekben ilyen modellek ksztsvel

    foglalkozunk, aszerint csoportostva ket, hogy milyen algoritmusokkal vagy szoftverekkel

    vizsglhatak. A modelleket grf algoritmusokkal, matematikai programozssal s

    folyamathlzat szintzis eljrsokkal elemezzk s optimalizljuk. Ezen elemz s optimalizlmdszerek mindegyikt egy-egy fejezetben trgyaljuk.

    Jegyzet letltse PDF formtumban.

    Digitlis mellklet.

    Hardver s szoftver rendszerek verifikcija

    sik Zoltn, Gombs va, Nmeth L. Zoltn, SZTE TTIK, Szmtstudomny Alapjai Tanszk

    Kulcsszavak: verifikci, mode ll ellenrzs, tmeneti rendszerek, idztett automatk, tempor lis

    logikk, binris dntsi diagramok, modell ellenrz szoftverek, SPIN, UPPAAL.

    sszefoglal:Napjaink informatikai rendszerei egyre komplexebbek, s rohamosan bvl

    azoknak az alkalmazsoknak sora, melyek formlis verifikcit ignyelnek a hagyomnyos

    szimulci s tesztels mellett. A jegyzet az egyik legfontosabb verifikcis mdszer, a modell

    ellenrzs elmletbe s gyakorlatba kvn bevezetst nyjtani. Elszr ttekintjk a mode ll

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    9/24

    idztett rendszerek tmeneti rendszerekkel trtn modellezst mutatjuk be, majd a

    rendszerek dinamikus viselkedsnek lersa kerl trgyalsra temporlis logikk segtsgvel.

    Ezt kveten az explicit s szimbolikus modell ellenrzs legfontosabb algoritmusait mutatjuk be.

    Vgl a SPIN s az UPPAAL modell ellenrz szoftver rendszerrel ismertetjk meg az olvast.

    Jegyzet letltse PDF formtumban.

    Digitlis mellklet.

    Intelligens adatelemzs

    Fogarassyn Vathy gnes, PE MIK, Matematika Tanszk

    Starkn Werner gnes, PE MIK, Villamosmrnki s Informcis Rendszerek Tanszk

    Kulcsszavak: adatelemzs, egy- s tbbvltozs elemzs, adatvizualizci, dimenzicskkents,

    adatbnyszat, adattrhzak

    sszefoglal: Napjaink informcis trsadalmban a klnfle clbl rgztett adatok szmos

    rtkes informcit rejtenek magukban. A rendelkezsre ll adatok elemzse azonban

    szertegaz feladat, melynek diverzitsa fknt az adatok sokrtsgbl s a vltozatos

    elemzsi clokbl fakad. Ebbl addan az adatokban rejl informci feltrsa rendkvl

    sszetett folyamat, amely klnfle elemzsi mdszereket foglal magban. Jelen jegyzet clja,

    hogy tfog ismereteket nyjtson az adatelemzs fbb mdszereirl s bemutassa azok

    alkalmazsi fe ltteleit, lehetsgeit. Ennek megfelelen bemutatjuk az elemzst megelz

    adatelksztsi fzis f lpseit, szt ejtnk az alapvet matematikai s adatvizualizcis

    mdszerekrl, rszletesen trgyaljuk a leggyakrabban alkalmazott dimenzicskkentsi

    eljrsokat, tfogan ismertetjk a fbb adatbnyszati mdszereket s kitrnk azadattrhzak ltal nyjtott elemzsi lehetsgekre . A jegyzet rsa so rn mindvgig szem eltt

    tartottuk, hogy olyan tudst nyjtsunk az Olvas szmra , amely kidolgozott elmleti alapokon

    nyugszik, de nem nlklzi a gyakorlati ismereteket sem.

    Jegyzet letltse PDF formtumban.

    Digitlis mellklet.

    Intelligens irnyt rendszerek

    Piglern Lakner Rozlia, PE MIK, Rendszer- s Szmtstudomnyi Tanszk

    Hangos Katalin, Gerzson Mikls, PE MIK, Villamosmrnki s Informcis Rendszerek Tanszk

    Kulcsszavak: intelligens irnyts, real-time szakrti rendszerek , Petri hlk, kvalitatv

    modellek, szablyrendszerek, fuzzy kvetkeztets

    sszefo lal:Az intelli ens irn t rendszerek tankn v an a a a na ainkban dinamikusanPannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    10/24

    fejld intelligens technikkat alkalmaz rendszer- s irnytselmleti feladatok (predikci,

    beavatkozs tervezs, rendszeranalzis, diagnosztika) megoldsa sorn hasznosthat elmleti

    ismereteket s technikai megoldsokat tartalmazza mszaki informatikus hallgatk szmra MSc

    szinten. A tanknyv fejezetei sorra veszik a folyamatirnyt szakrti rendszer fogalmval s

    elemeivel, a tudsbrzolssal, kvalitatv modellezsse l, Petri hlkkal, valamint a fuzzy

    irnytsi rendszerekkel kapcsolatos tudnivalkat. A knyvben sszefoglalt tananyagot a G2

    folyamatirnyt real-time szakrti rendszer rvid ismertetse egszti ki. A fenti fejezeteket

    animlt brk, va lamint kidolgozott s megoldand feladatok gazdagtjk.

    Jegyzet letltse PDF formtumban.

    Digitlis mellklet.

    Irnytstechnika

    Gerzson Mikls, PE MIK, Villamosmrnki s Informcis Rendszerek Tanszk

    Pletl Szilveszter, SZTE TTIK, Szmtgpes Algoritmusok s Mestersges Intelligencia Tanszk

    Kulcsszavak:az irnytstechnikai rendszerek lersa s vizsglatnak mdszerei; a klnbz

    dinamikus tagok ismertetse; a stabilits fogalma s vizsglata; a rendszerek lersa szakaszos

    idtartomnyban

    sszefoglal:Az Irnytstechnika trgy a mrnk informatikus s a villamosmrnk alapszakos

    hallgatknak egyarnt ktelez szakmai alapoz trgyknt szerepel a tantervben. E jegyzet clja

    elssorban nem a tantervben elrt teljes anyag ttekintse, hanem a gyakorlati foglalkozsok

    alkalmazott szimulcis pldk s megoldott szmolsi feladatok megrtsnek segtse

    pldkon keresztl. gy ez a jegyzet, a legfontosabb anyagrszek rvid elmleti ttekintsemellett, jelents szm kidolgozott pldt is tartalmaz. A jegyzet elssorban a Pannon Egyetem

    Mrnk informatikus BSc szak tantervben szerepl Irnytstechnika trgy tanmenett kveti,

    illetve annak sajtossgaira pl, figyelembe vve a Szegedi Tudomnyegyetem hasonl szakn

    oktatott trgy je llegzetessgeit. Ennek megfelelen elssorban az irnytstechnika

    megrtshez s alkalmazshoz szksges alapok kerlnek trgyalsra. Az ttekintett

    tmakrk az irnytstechnikai rendszerek lersa s vizsglatnak mdszerei; a klnbz

    dinamikus tagok ismertetse; a stabilits fogalma s vizsglata; a rendszerek lersa szakaszos

    idtartomnyban cm terleteket lelik fel.

    Jegyzet letltse PDF formtumban.

    Jtkelmlet

    Pluhr Andrs, SZTE TTIK, Szmtgpes Optimalizls tanszk

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    11/24

    jtkok, stabil pros tsok, dntshozatal

    sszefoglal: A jegyzet a f clja a jtkok klnbz forminak ismertetse s a

    megrtskhz hasznlatos matematikai fogalmak s elmletek bemutatsa. A kombinatorikus

    jtkokban a fk fogalmnak s a teljes indukcinak a haszn latval eljuthatunk Zermelo

    ttelig, a vgtelen jtkok nem determinisztikus voltnak bizonytshoz mlyebb eszkzk

    szksgesek. Ezek utn megmutatjuk, hogy a kombinatorika legfontosabb eszkzeinek ltezik

    jtkelmleti megfele lje s kvetkezskppen fe lhaszn lsa is . A zrussszeg

    mtrixjtkokra tbb pldt s megoldsi mdszert adunk, az ltalnos minimax ttelt pedig

    konstruktv ton bizonytjuk. A nemzrussszeg jtkoknl a Nash-egyensly ltezst a

    Brouwer-fle fixpontttellel, illetve a bimtrixjtkokra adott Lemke-Howson algoritmussal

    mutatjuk meg. Ismertetjk a Nash-egyensly klasszikus pldit s tovbbfejlesztsi lehetsgeit.

    A koopera tv jtkok alapfogalmait trgya ljuk, a magot, a stabil halmazt s a Shapley-rtke t.

    Az alkalmazsok termszetes mdon magukba foglaljk a stabil prosts problmjt illetve a

    Nash-program illusztrcijt dolgozzuk ki. Vgl a dntshozatallal kapcsolatos problmkrl

    van sz; ezen bell Arrow ttelrl, illetve az igazsgos vagy irgysgmentes osztozkodsok

    lehetsgeit vizsgljuk meg.

    Jegyzet letltse PDF formtumban.

    Jelek s rendszerek pldatr

    Pletl Szilveszter, SZTE TTIK, Mszaki Informatika Tanszk

    Magyar Attila, PE MIK, Villamosmrnki s Informcis Rendszerek Tanszk

    Kulcsszavak:jelek, jelek felosztsa, rendszerek, rendszerek felosztsa, Fourier transzformci,

    FFT, LTI rendszerek, Bode diagram, szrk, modulci, mintavtelezs, A/D talakts

    sszefoglal:A Jelek s rendszerek pldatr elssorban a felsoktatsban rszvev mrnk-

    informatikus alapszakos hallgatk szmra kszlt. A pldatr a k ivlasztott tmakrk

    trgyalsmdjt illeten minden esetben bemutatja a szksges elm letet, majd pldkon

    keresztl igyekszik rthetv tenni a tananyagot. A feldolgozott tmakrk a kvetkezk: a jel

    s rendszerelmleti alapfogalmak, a folytonos s a diszkrt-idej konvolci, a folytonos s

    diszkrtidej jelek Fourier transzformcija, a z-transzformci, a jelek szrst vgz

    rendszerek, az alapvet modulcis megoldsok, a mintavtelezs s tarts s vgl az A/Dtalakts.

    Jegyzet letltse PDF formtumban.

    Kalkulus informatikusoknak I.

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    12/24

    Gyri Istvn, Pituk Mihly, PE MIK, Matematika Tanszk

    Kulcsszavak: egyv ltozs vals fggvny, sorozat, hatrrtk, folytonossg, derivlt,

    hatrozatlan integrl, Riemann-integrl, improprius integrl, Laplace-transzformlt

    sszefoglal: A jegyze t a Pannon Egyetem Mszak i Informatikai Karn ok tatott Matematikai

    analzis I.kurzus anyagnak sszefoglalsa informatikus s villamosmrnk hallgatk rszre.

    Az olvas megismerkedhet az egyvltozs vals fggvnyek differencilszmtsval s

    integrlszmtsva l, ezen bell az analzis olyan kzponti fogalmaival, mint a hatrrtk,

    folytonossg, derivlt s az integrl. Egy villamossgtani problma kapcsn ismertetsre kerl a

    Laplace transzformlt fogalma s fontosabb tulajdonsgai.

    Jegyzet letltse PDF formtumban.

    Kalkulus informatikusoknak II.

    Gyri Istvn, Pituk Mihly, PE MIK, Matematika Tanszk

    Kulcsszavak:vgtelen sor, hatvnysor , tbbvltozs fggvny, folytonossg, hatrrtk,

    differencil, terleti integrl, kznsges differencilegyenlet,z-transzformlt

    sszefoglal: A jegyzet a Kalkulus informatikusoknak I. c. jegyzet folytatsa, a Pannon Egyetem

    Mszaki Informatikai Karn oktatott Matematikai analzis II.kurzus anyagnak sszefoglalsa

    informatikus s villamosmrnk hallgatk rszre. Az olvas megismerkedhet a vgtelen sorok

    s hatvnysorok fogalmval, a tbbvltozs fggvnyek differencilszmtsval, a terleti

    integrllal s kznsges differencilegyenletek nhny egyszerbb tpusval. Egy

    informcitviteli problma kapcsn ismertetsre kerl a z-transzformlt fogalma s fontosabb

    tulajdonsgai.

    Jegyzet letltse PDF formtumban.

    Kalkulus informatikusoknak II. pldatr

    Szalkai Istvn, Dsa Gyrgy, PE MIK, Matematika Tanszk

    Kulcsszavak: tbbvltozs integrls s derivls Kznsges differencilegyenletek Parcilis

    trtekre bonts Laplace transzformci Fourier-sorok

    sszefoglal:A pldatrban tallhat feladatok fellelik a tbbvltozs integrls s deriv ls,

    kznsges differencil- s integro- egyenletek, a parcilis trtekre bonts, Laplace

    transzformci s Fourier-sorok, az RLC elektronikus ramkrk alapjait. A bsges

    tmutatban rviden me tall uk a le fontosabb me oldsi mdszerek lerst is. APannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    13/24

    feladatgyjtemny legnagyobb rszt a feladatok rszletes megoldsai (esetenknt

    magyarzatokkal, megjegyzsekkel) teszik ki. A fggelkben a legfontosabb ttelek, kpletek,

    tblzatok s trgymutat kaptak helye t. Kt animci s kt szemlltet program is segti a

    megrtst s egysze rbb feladatok kiszmttatst. Mind egyni mind csoportos felkszlshez

    ajnljuk ezt a pldatrat.

    Jegyzet letltse PDF formtumban.

    Digitlis mellklet.

    Kpfeldolgozs haladknak

    Palgyi Klmn, SZTE TTIK, Kpfeldolgozs s Szmtgpes Grafika Tanszk

    Kulcsszavak:digitlis kpfeldolgozs, sznes kpek , matematikai morfolgia, vzkijells,

    kpszegmentci textra-elemzs, kp-lekpezsek, kpregisztrci, mozgkpek,

    tbbfelbonts kpfeldolgozs

    sszefoglal:Ez a jegyzet a Szegedi Tudomnyegyetem oktatott Kpfeldolgozs haladknak

    cm trgyhoz kszlt. A mesterszakos kurzus az alapoz Digitlis Kpfeldolgozs trgyra

    tmaszkodva egyrszt a szmtgpes kpfeldolgozs tovbbi rdekes fejezeteibe nyjt

    betekintst, msrszt pedig az alapfejezetek jabb s fejlettebb technikira tr ki. A jegyzet tz

    fejezetbl ll, melyet az albbi terleteket rintik: binris tomogrfia, halftoning, objektum-

    cmkzs, a sznes kpek feldolgozsa, matematikai morfolgia, vzkijells, fejlett

    szegmentcis mdszerek, textra-elemzs, lekpezsek, warping, morphing, kpregisztrci,

    mozgkpek feldolgozsa, tbbfelbonts feldolgozs.

    Jegyzet letltse PDF formtumban.

    Kpi informci mrse

    Czni Lszl, PE MIK, Villamosmrnki s Informcis Rendszerek Tanszk

    Tancs Attila, SZTE TTIK, Kpfeldolgozs s Szmtgpes Grafika Tanszk

    Kulcsszavak:Kp informci, digitlis kpfeldolgozs, orvosi kpfeldolgozs, optikai mrs,

    kpelemzs, vide-megfigyels, tvrzkels, zajszrs

    sszefoglal: A jegyzet megismerteti az olvast a kpi informci technikai jelentsnek s

    mrsnek alapelveivel, alapvet mdszereivel. A modern kpalkots s kpfeldolgozs

    technikjt bemutatva megismerhet, milyen mdon rzkelik, troljk s elemzik a klnbz

    szmtgpes alkalmazsok a kpeket. A jegyzetben kitrnk az orvosi kpalkots s

    kpelemzs, a kpvisszakeress, az ipari kpelemzs, a tvrzkels s a vide-alap

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    14/24

    Jegyzet letltse PDF formtumban.

    Digitlis mellklet.

    Kprekonstrukci

    Balzs Pter, SZTE TTIK, Kpfeldolgozs s Szmtgpes Grafika Tanszk

    Kulcsszavak: kprekonstrukci, komputer tomogrfia, diszkrt tomogrfia, szrt visszavetts,

    algebrai rekonstrukcis mdszerek, rekonstrukci optimalizlssal, emisszis tomogrfia,

    hv-konvex diszkrt halmaz, elektronmikroszkpia, nemroncsol tesztels

    sszefoglal: A jegyzet els felben a folytonos kprekonstrukci elmlett s gyakorlatt

    trgyaljuk. Elszr a transzformci alap rekonstrukcis technikkat, majd az algebrai

    rekonstrukci mdszereit ismertetjk. A tovbbiakban a CT berendezs felptsvel,

    mkdsvel s az abbl ered kpfeldolgozs specifikus problmkkal, valamint azok

    megoldsval foglalkozunk. Ezek utn egyb kpalkot modalitsokat (SPECT, PET, MRI,

    diffrakcis tomogrfia) mutatunk be r intlegesen. Vgl a folytonos kprekonstrukci nem

    orvostudomnybl szrmaz alkalmazsaibl mutatunk meg nhnyat. A jegyzet msodik

    rszben a diszkrt tomogrfival foglalkozunk. Az alapok trgyalsa utn specilis tulajdonsg

    binris kpek rekonstrukcijt mutatjuk be. Azt is megmutatjuk, hogy a binris kprekonstrukci

    hogyan fogalmazhat meg optimalizlsi feladatknt, s ennek megoldsra melyek a

    leggyakrabban alkalmazott kombinatorikus mdszerek. Szt ejtnk az emisszis diszkrt

    tomogrfirl is. A tmakr ismertetst itt is az alkalmazsok bemutatsva l zrjuk.

    Jegyzet letltse PDF formtumban.

    Digitlis mellklet.

    Kzelt s szimbolikus szmtsok feladatgyjtemny

    Mihlyk Csaba, PE MIK, Matematika Tanszk

    Virgh Jnos, SZTE TTIK, Szmtgpes Optimalizls Tanszk

    Kulcsszavak: numerikus matematika, feladatgyjtemny, matematikai programcsomagok,

    Maple, Scilab, GSL, LAPAC K, C, informatikus BSc s MSc oktats

    sszefoglal: A feladatgyjtemny fleg a klnbz informatika BSc s MSc szakokon tanul

    hallgatk szmra kszlt. Az els hat fejezet nagyjbl a BSc, a msodik hat inkbb az MSc

    szakok tematikjt dolgozza fel. Haszonnal forgathatjk mindazon mrnkha llgatk is, akik a

    numerikus matematikhoz kapcsold tanulmnyokat folytatnak. Az 500 feladat klnbz

    nehzsg, az egszen egyszertl kezdve a tbb ismeret sszekapcsolst ignyl

    sszetettebb problmkig. Jellegk is vltozatos: vannak csak szmolst ignyl, begyakorlst

    elsegt tpus s elmlyltebb tudst felttelez elmletibb feladatok is. A gyjtemny

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    15/24

    implementlsa. A mintaprogramok az els rszben a Scilab 5.2 verzijt, a msodikban a

    Maple 13-at, illetve a (Linuxon fut) standard C nyelvet s gcc fordtprogramot feltteleznek.

    Jegyzet letltse PDF formtumban.

    Digitlis mellklet.

    Lineris algebra pldatr mrnk informatikusoknak

    Leitold Adrien, PE MIK, Matematika Tanszk

    Kulcsszavak: az R tr geometrija, ndimenzis euklideszi vek tortr, mtrixok, lineris

    egyenletrendszerek, lineris lekpezsek s transzformcik

    sszefoglal: A pldatr a Lineris algebra c. tantrgy trzsanyaghoz szorosan kapcsold

    feladatokat tartalmaz. Az egyes fejezetekben szmos, rszletesen kidolgozott minta feladat s

    gyakorl feladatok tallhatak. Utbbiak vgeredmnyei megtallhatak A gyakorl feladatok

    megoldsai c. fejezetben. A pldatr Vegyes feladatok a lineris algebrai ismeretek

    alkalmazsra c. fejezete a teljessg ignye nlkl olyan problmka t gyjt ssze,

    amelyekkel az informatikus szakos hallgatk tanulmnyaik sorn klnbz szaktrgyakban

    tallkoznak, s amelyeknek megoldshoz alkalmazni kell a tanult lineris algebrai ismereteket.

    A pldatr digitlis mellkletnek els rsze a Lineris algebra tantrgy eladsain haszn lt ppt

    file-okat tartalmazza. Ezekben megtallhatak az adott anyagrsz foga lmai, lltsai, az

    alkalmazott jellsek. A digitlis mellklet msodik rsze nhny tpusfeladat animlt megoldst

    mutatja be .

    Jegyzet letltse PDF formtumban.

    Digitlis mellklet.

    Logisztika s zleti modellezs

    Kovcs Zoltn, SZTE TTIK, Szmtgpes Optimalizls Tanszk

    Kulcsszavak:logisztika, szlltmnyozs, jrattervezs, zleti folyamatok, matematikai modellek,

    flottakvets

    sszefoglal: A logisztika napjainkra nll tudomnyterlett ntte ki magt, rendelkezik saj t

    tmaterletekkel s fogalmi rendszerrel, specifikus mdszertannal illetve a hozz kapcsold

    alkalmazsi technikkkal. A logisztika feladatok osztlyozhatk a kacsold gazdasgi

    tevkenysgi terletek szerint pl. beszerzs, anyagmozgats, csomagols, raktrozs,

    kszletgazdlkods, termels, r tkests, szllts, stb. vagy specilis alkalmazshoz ktheten

    pl. egszsggyi logisztika, katonai logisztika, korhzi logisztika stb. A kzirat nem vllalkozik a

    napjainkban logisztikhoz sorolt sszes tmaterlet ttekintsre. A kzirat a szllts,

    fuvarozs, szlltmnyozs illetve ahhoz szorosan kacsold problmkat dolgozza fel, sajtos

    3

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    16/24

    folyamatt mutatja be, minden esetben a logisztikai fogalmi modell, matematikai modell,

    megolds, alkalmazs s ellenrzs lpseket azonostva.

    Jegyzet letltse PDF formtumban.

    Mrselmlet

    Gerzson Mikls, PE MIK, Villamosmrnki s Informcis Rendszerek Tanszk

    Kulcsszavak:mrs s modellezs, a mrs fogalmnak ltalnostsa, rendszer- s jelelmlet

    alapjai, mr rendszerek struktra, a mrsi hibk fogalma, tpusai, a mrs hibk terjedse, a

    mrsi adatok elsdleges feldolgozsa

    sszefoglal: A Mrselmlet trgy a mrnk informatikus s a villamosmrnk alapszakos

    hallgatknak egyarnt ktelez szakmai alapoz trgyknt szerepel a tantervben. E jegyzet clja

    elssorban a tantervben e lrt teljes anyag ttekintse, segtve ezzel a hallgatknak az elmleti

    alapok elsajttst. A Mrselmlet jegyzet, kvetve a hasonl megnevezs trgy tematikjt

    rszletesen trgyalja a mrs s modellezs kapcsolatt, a mrs fogalmnak ltalnostst,

    rendszer- s jelelmlet alapjait, mr rendszerek struktrjt, a mrsi hibk fogalmt, a mrs

    hibk terjedst szmtsok sorn illetve a mrsi adatok elsdleges feldolgozsnak menett.

    Jegyzet letltse PDF formtumban.

    Online algoritmusok

    Dsa Gyrgy, PE MIK, Matematika Tanszk

    Imreh Csand, SZTE TTIK, Szmtgpes Algoritmusok s Mestersges Intelligencia Tanszk

    Kulcsszavak:algoritmusok, online problmk, legrosszabb eset korltok, versenykpessgi

    elemzs, optimalizlsi problmk, erforrs allokci

    sszefoglal:A gyakorlati problmkban gyakran fordulnak el olyan optimalizlsi feladatok,

    ahol a bemenetet csak rszenknt ismerjk meg, s a dntseinket a mr megkapott informci

    alapjn, a tovbbi adatok ismerete nlkl kell meghoznunk. Ilyen feladatok ese tn online

    problmrl beszlnk. Az algoritmusokat egy legrosszabb eset korlt elemzssel szoks

    vizsglni, amelyet versenykpessgi elemzsnek neveznek. Az online algoritmusok elmletnek

    igen sok alkalmazsa van a szmtstudomny, a kzgazdasgtan s az opercikutats

    klnbz terletein. A jegyzetnek nem a tmakr rszletes ttekintse a clja, hanem a

    terleten hasznlt alapvet algoritmustervezsi s elemzsi technikk bemutatsa az online

    algoritmusok elmletnek klnbz rszterletein (lapozs, lista karbantarts, k-szerver

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    17/24

    keresztl.

    Jegyzet letltse PDF formtumban.

    Opercikutats informatikusoknak

    Maros Istvn, PE MIK, Rendszer- s Szmtstudomnyi Tanszk

    Kulcsszavak:opercikutats, lineris programozs, szimplex mdszer, priml algoritmus, dul

    algoritmus, egszrtk programozs, hlzati optimalizls, nemlineris programozs

    sszefoglal:Az informatikai alkalmazsok egy jelents hnyada a dntstmogats terletre

    esik. Ez pedig jrtassgot ignyel a dntstudomnyban, amit gyakran az opercikutatssal

    azonostanak. Jelen jegyzet clja, hogy az informatikus egyetemi hallgatkat segtse ezen

    jr tassg megszerzsben az opercikutats s az optimalizls legfontosabb mode lljeinek s

    mdszereinek a megismertetsn keresztl. Ezen bell a lineris, nemlineris s egszrtk

    programozs, valamint a hlzati optimalizls trgyalsra kerl sor olyan terjedelemben, ami

    egy flves kurzus keretibe belefr.

    Jegyzet letltse PDF formtumban.

    A programozs alapjai

    Simon Gyula, PE MIK, Rendszer- s Szmtstudomnyi Tanszk

    Kulcsszavak:algoritmusok, programok, vezrlsi szerkezetek,adatszerkezetek, strukturlt

    program

    sszefoglal:A jegyzet platform-fggetlen mdon igyekszik megismertetni a programozs

    alapjait, a strukturlt programozst. Trgyalja az alapvet programozi httrismereteket s

    alapfogalmakat mind a hardver, mind a szoftver oldalrl. Bemutatja az algoritmusok s

    programok alapvet ptelemeit, valamint a strukturlt programok ksztsnek alapvet

    szablyait. Az algoritmusok s adatszerkezetek lersra tbbfle ler modellt is hasznl

    (folyamatbra, Jackson-bra, regulris kifejezsek s defincik), valamint a C programozsi

    nyelv segtsgvel ezekre implementcis pldkat is mutat.

    Jegyzet letltse PDF formtumban.

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    18/24

    Bilicki Vilmos, SZTE TTIK, Szoftverfejleszts Tanszk

    Kulcsszavak:kztesrteg, JEE, CDI, EJB, Servlet, ESB, SOA, SC A/SDO, BPEL4WS

    sszefoglal:A jegyzet egy szles kr ttekintst nyjt az elosztott rendszerek alkalmazsa

    mgtt ll motivcikrl, az elosztott viselkedsn l kvethet paradigmkrl s az

    elosztottsgot elfed szoftver rtegrl. Ezen szles repertorbl a klaszter s SOA paradigmkon

    alapul alkalmazs s alkalmazsrendszer fejleszts kpezi a jegyzet fajslyos rszt. Itt a JEE

    platform szolgltatsai s a k lasszikus 3 rteg architektra mentn vizsgljuk meg az egyes

    rtegek szerept, a fellp problmkat illetve megoldsokat. Tllpve az egyes alkalmazsok

    hatrait az ESB platform megismerse segtsgvel valstjuk meg a SOA koncepci mentn

    elkszl elosztott rendszernket.

    Jegyzet letltse PDF formtumban.

    Robotika

    Mester Gyula, SZTE TTIK, Mszaki Informatika Tanszk

    Kulcsszavak: Robot manipultorok kinematikja, dinamikja, szabad mozgsnak hagyomnyos

    irnytsa, nhangol adaptv pozciirnyts, hibrid irnyts, kerekeken grdl s humanoid

    robotok.

    sszefoglal: A tananyag a robotika korszer tmakreivel foglalkozik. A robotika

    interdiszciplinris tudomnyg, az automatika legfejlettebb alka lmazsi terlete. A tmakr

    feldolgozsa a nemzetkzi szakirodalom s a szerz ltal publiklt tudomnyos kutatsi

    eredmnyeken alapszik. A tananyag a kvetkez ht fejezetet tartalmazza: robot manipultorok

    kinematikja, robot manipultorok dinamikja, robot manipultorok szabad mozgsnak

    hagyomnyos irnytsa, robot manipultorok nhangol adaptv pozciirnytsa. Bemutatjuk a

    merev robot manipultorok nhangol adaptv pozciirnytst csuklkoordintkban s a

    stabilitsvizsglatt. Foglalkozunk a rugalmas csuk lj merev szegmens robot manipultor

    dinamikai modelljvel, nhangol adaptv pozciirnytsval csuklkoordintkban s a robot

    manipultorok adaptv pozci-irnytst fuzzy felgyel szablyzval. Az tdik fejezet robot

    manipultorok hibrid irnytst mutatja be. Felrjuk a rugalmas csuk lj merev szegmens

    robot manipultor korltozott mozgsnak dinamikai modelljt s pozci-er irnytst. A

    hatodik fejezetben kerken grdl mobil robotokkal, a hetedik fejezetben humanoid robotoktmakrvel foglalkozunk.

    Jegyzet letltse PDF formtumban.

    A szmtstudomny alapjai

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    19/24

    sik Zoltn, SZTE TTIK, Szmtstudomny Alapjai Tanszk

    Kulcsszavak: Formlis nyelv, vges automata, regulris nyelv, krnyezetfggetlen nyelv,

    veremautomata, Turing-gp, rekurzvan felsorolhat nyelv, C hurch-Turing tzis, id- s

    trbonyolultsg, polinomidben megoldhat problmk, polinomidben verifiklhat problmk,

    polinom trral megoldhat problmk.

    sszefoglal:A jegyzet egysges rvid bevezetst ad a szmtstudomny hrom terlethez.

    Ezek az automatk s formlis nyelvek elmlete, a kiszmthatsgelmlet s a

    bonyolultsgelmlet.

    Jegyzet letltse PDF formtumban.

    Szmtgpes lts

    Kat Zoltn, SZTE TTIK, Kpfeldolgozs s Szmtgpes Grafika Tanszk

    Czni Lszl, PE MIK, Villamosmrnki s Informcis Rendszerek Tanszk

    Kulcsszavak:3D rekonstrukci, kamera kalibrci, sztere kppr, fundamentlis mtrix,

    mozgs detektls, optikai ramls, mozgs kvets

    sszefoglal:A szmtgpes lts az emberi lts azon funkciit valstja meg, amelyek a

    retinai kp elemzst vgzik. Ezek elssorban a kpi tartalom rtelmezsre irnyulnak: a ltott

    kpbl kvetkeztet az objektumok 3D alakjra (fellet rekonstrukci), az objektumok trbeli

    elhelyezkedsre, egymshoz val viszonyra (mlysgi informci kinyerse), illetve tbb,

    idben egymst kvet kpbl a mozgs rzkelse s a mozg objektumok kvetse. A knyv

    kt f tmakrt lel fel: az els, Statikus lts cm rszben a ma mr k lasszikusnak mondhat

    sztere rekonstrukci problmjt trgyaljuk. Ez lnyegben az emberi lts trbeli

    rzkelsnek szmtgpes megvalstsa. A msodik, Dinamikus lts cm rszben egyetlen

    kamerval kszlt mozgkp sorozat elemzsvel foglalkozunk. Trgyaljuk a 3D mozgs, s

    annak projektv lekpezse kztti kapcsolatot, a mozgs becslst optikai ramls segtsgvel,

    illetve a mozg objektumok kvetsre szolgl algoritmusokat.

    Jegyzet letltse PDF formtumban.

    Digitlis mellklet.

    Szemlyes adatok vdelmnek jogi, etikai s informatikai krdsei

    Alexin Zoltn, SZTE TTIK, Szoftverfejleszts Tanszk

    Kulcsszavak:szemlyes adatok vdelme, informcis nrendelkezs, adatvdelmi jog, alapvet

    emberi o ok Eur ai Uni adatvdelmi rendszere adatkezels etik a tisztess esPannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    20/24

    adatkezels, fizikai vdelem.

    sszefoglal:A XXI. szzadban diplomt szerz informatikus hallgatk kpzsbl nem

    hinyozhatnak a szemlyes adatok kezelsvel kapcsolatos alapvet ismeretek. A jegyzet a

    kpzshez szksges ismereteket rendszerezett formban tartalmazza. A tizenhrom fejezet

    figyelembe veszi az egyetemi kpzs szemesztereinek hosszt. Alkalmas elads, illetve elads

    s szeminriumi formban trtn oktatsra, valamint tvoktatsra is. Trgyalja a megrtshez

    szksges minimlis jogi ismereteket, illetve a szemlyes adatok vdelmhez val jognak az

    emberi m ltsg alapjogbl levezethet gykereit. Feldolgozza a fontosabb nemzetkzi

    egyezmnyeket, s az Eurpai Uni adatvdelmi dokumentumait, ismerteti a fontosabb magyar

    adatvdelmi jogi megoldsokat s jogszablyokat. A jegyzetben olyan etikai krdsek is

    megvitatsra kerlnek, amelyek kapcsoldnak a magn- s csaldi let tiszteletben tartshoz,

    a tisztessges adatkezels alapelvhez. A jegyzet nhny kiemelked szemlyisg rvid

    lettjt s munkssg t is ismerteti.

    Jegyzet letltse PDF formtumban.

    Szntervezs szmtgpes felhasznls szmra

    Schanda Jnos, PE MIK, Villamosmrnki s Informcis Rendszerek Tanszk

    Kulcsszavak: szntan, sznmrs, szmtgpes sznhasznlat

    sszefoglal:A jegyze t megismerteti a hallgatt a szntan elemeivel. Rviden sszefoglalja a

    lts szlelet alapjait, a szem felptst, az optikai jel retinlis feldolgozst. Foglalkozik a

    sznmrs alapjaival, gy a radiometriai s fotometriai fogalmakkal, a szninger-mrs

    trvnyszersgeivel, s a szmtgpes szn-management krdseivel. Rviden ttekinti a

    szn-alkalmazs krdseit, gy elssorban a szninger megjelentetsre hasznlt eszkzket

    (monitor, nyomtat), azok mrstechnikai elemeit. A jegyzetet a sznek szmtgpes

    hasznlatval kapcsolatos nhny megjegyzs s a tmaterlet tovbbi megismershez fontos

    knyvek s a Nemzetkzi Vilgtstechnikai Bizottsg vonatkoz jelentseinek felsorolsa zrja.

    Jegyzet letltse PDF formtumban.

    Szoftverkarbantarts

    Ferenc Rudolf, SZTE TTIK, Szoftverfejleszts Tanszk

    Kulcsszavak: Szoftverkarbantarts, szoftverevolci, szoftvervisszatervezs,

    szoftverjratervezs, tervezsi minta felismers, architektra rekonstrukci, program

    vizualizci, szoftverminsg, szoftvermetrikk, forrskd auditls

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    21/24

    sszefoglal: A jegyzet a szoftverkarbantarts tmakrt dolgozza fel MSc hallgatk szmra.

    Elszr egy rvid ttekintst nyjt a szoftverfejleszts folyamatairl, modelljeirl, s azok

    ltalnos fzisairl. Ezutn bevezetst ad a szoftverek visszatervezsnek, jratervezsnek

    tmakrbe, rszletesen bemutatva az egyes mdszereket, s azok automatikus elvgzshez

    rendelkezsre ll eszkzket. A jegyzet trgyalja a kdmegrts s a program vizualizci

    terleteit is, rszletesen foglalkozik a forrskdbl trtn tervezsi m inta felismerssel, a

    rendszerek architektrjnak rekonstrukcijval, forrskdbl trtn tervezsi dokumentci

    ellltsva l, szoftvervizualizcival. A jegyzet bemutatja a szoftverminsg terlett is, rinti aklnbz szoftverminsgi mode lleket, forrskd metrikkat, illetve statikus s dinamikus

    forrskd elemzsi technikkat, eszkzket, amelyekkel forrskdban lv gyans

    kdrszleteket (bad code smell), s szablysrtseket tudunk felderteni.

    Jegyzet letltse PDF formtumban.

    Tesztelsi mdszerek

    Beszdes rpd, Ge rgely Tams, SZTE TTIK, Szoftverfejleszts Tanszk

    Kulcsszavak:tesztels (testing), kd alap tesztels (whitebox testing), specifikci a lap

    tesztels (blackbox testing), teszteset priorizci (test case prioritization), teszteset sze lekci

    (test case selection), hibakeress (debugging), szeletels (slicing), statikus analzis (static

    analysis), formlis mdszerek (formal methods)

    sszefoglal: A szoftvertesztels, mint szakma rendkvl sokrt, klnbz kpessgeket s

    kpestseket ignyel. A szksges ismeretanyag a tesztels minden vonatkozsra kiterjed

    gymint, alapelvek, mdszertanok, technikk, mdszerek, szabvnyok, eszkzk,

    menedzsment. A Szegedi Tudomnyegyetem Szoftverfejleszts Tanszke tudatos mdon pti a

    tesztelssel specilisan foglalkoz oktatsi knlatt. Ennek rszeknt, a Tesztelsi Mdszerek

    trgy a teszt-tervezsi s vgrehajtsi mdszerek re fekteti a hangslyt. Tartalmi szempontbl, a

    jegyzet a legfontosabb tesztelsi mdszereket ismerteti, fleg technikai szempontbl. A tesztelsi

    mdszereket sokflekppen tudjuk csoportostani, ezek ttekintse utn egy lehetsges

    csoportosts szer int, megadjuk a mdszerek alap megkzeltseit, technikkat, algoritmusokat,

    a gyakorlati alkalmazs lehetsgeit. A jegyzet a kd s specifikci alap mdszerekkel, majd

    harmadik csoportban az egyb mdszerekkel foglalkozik. Az utols fejezetben foglalkozik a

    hibaeredet-keress s hibaeltvolts debugging tmjval is.

    Jegyzet letltse PDF formtumban.

    Trkpi adatbzisok

    Katona Endre SZTE TTIK K feldol ozs s Szmt es Grafika TanszkPannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    22/24

    Kulcsszavak: digitlis trkp, trinformatika, geoinformatika, vektoros adatstruktrk, vektoros

    algoritmusok, PoszGIS, Oracle Spatial

    sszefoglal: A tananyag a trkphez kapcsold informcis rendszerek fejlesztst hivatott

    tmogatni. Tudomnyterlett tekintve a trinformatikhoz (geoinformatikhoz) kapcsoldik,

    azon bell pedig a vektoros trinformatikt tmogat relcis adatbzisokat clozza meg. A

    trbeli (trkpi) adatok kezelsnek kt alapvet mdja kerl bemutatsra: a sztvlasztott

    modell s az integrlt modell. A sztvlasztott modell a trbeli s ler adatok e lklnlt

    kezelsre s laza kapcsolatra pl, s inkbb az elmlt vek fejlesztsi technolgijra

    jellemz. Ezzel szemben az integr lt modell lnyege, hogy a trbeli s ler adatokat egy kzs

    relcis adatbzisban troljuk. Ma mr tbb adatbzis-kezel is tmogatja a trbeli adatok ilyen

    kezelst. A tananyag a MySQL, PostgreSQL (s annak PostGIS kiterjesztse), valamint az

    Oracle Spatial lehetsgeit mutatja be.

    Jegyzet letltse PDF formtumban.

    UML diagramok a gyakorlatban

    Tarczali Tnde, PE MIK, Rendszer- s Szmtstudomnyi Tanszk

    Kulcsszavak:Unified Modeling Language, UML, modellezs, modellezsi eszkzrendszer,

    rendszertervezs, objektum-orientlt tervezs, UML diagramok, OMG

    sszefoglal:A tananyag az UML modellezsi eszkzrendszer hasznlatnak sokrtsgt

    vzolja fel egy gyakor lati pldn keresztl. Mintapldn t megmutatja az UML diagramjainak,

    tblzatainak hasznlathatsgt a szoftverfejlesztsi letciklus fzisaiban. Az anyag az UML-tmr alapszinten ismer hallgatknak kszlt, az alapfogalmak bemutatsa nem clja, inkbb egy

    ttekintst szeretne nyjtani az UML alkalmazsnak lehetsgeirl a diagramok s tblzatok

    hasznlatnak egy rendszertervezsi projekt lpseiben trtn bemutatsval. Remnyeim

    szerint ez j alapot nyjt majd a hallgatknak tovbbi tanulmnyaik sorn, illetve a

    ksbbiekben, tanulmnyaik befejeztvel a vllalati krnyezetben. A tananyag az UML nyelv

    bemutatsra szortkozik, nem tartalmaz teljes bevezetst a rendszerfejlesztsi mdszertanokba

    illetve az objektumorientltsgba, br krvonalaikban ezek is bemutatsra kerlnek. A

    dokumentum gondolatainak alapjt Harald Strrle UML 2 cm knyvben valamint a Russ Miles

    s Kim Hamilton Learning UML 2.0 knyvben megismert fogalmak adjk, s termszetesen az

    OMG (Object Management Group) aktulis UML szabvnya ltal meghatrozott jellsekke ltallkozhatnak az olvask.

    Jegyzet letltse PDF formtumban.

    zleti webtechnolgik

    Holl Csaba SZTE TTIK Szoftverfe leszts TanszkPannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    23/24

    Kulcsszavak: XHTML, CSS, webprogramozs, JavaScript, Java szervlet, JavaServer Pages, AJAX,

    akadlymentessg.

    sszefoglal:A megjelent eszkzk sokflesge, illetve a fogyatkkal l emberek

    tmogatsa miatt egyre fontosabb szerepet kap a weboldalak szabvnyos megalkotsa, melynek

    legfontosabb eszkzeit a jegyzet az a lapoktl indulva mutatja be. Egy modern weboldal azonban

    a felhasznlva l, illetve a felhaszn lk kztt trtn kommunikci klnbz szintjeit kell

    biztostsa, amihez szksges a statikus kdnak a kiszolgl, illetve az gyfl gpn fut

    programokkal trtn kiegsztse. A jegyzetben, kizrlag a Java nyelv ismerett felttelezve,

    az alapoktl indulva mutatjuk be a Java a lap kiszolgl oldali webprogramozs legalapvetbb

    feladatait, illetve az gyf l oldali webprogramozs JavaScript nyelv ltali lehetsgeit. Klnll

    fejezetben foglalkozunk a manapsg divatos AJAX kommunikci megvalstsi lehetsgeivel,

    melynek tartalma akkor is rthet, ha az olvas Java szervletek helyett ms kiszolgl oldali

    nyelvet (pldul PHP-t) ismer. Vgl betekintst nyernk kt klnbz megkze ltst hasznl

    keretrendszerbe, s rviden szlunk a web design legfontosabb krdseirl. A jegyzet a tartalom

    soksznsge s terjedelmi korltai miatt dokumentcinak nem tekinthet, viszont oktatsi

    tananyagknt ksztse sorn kiemelt szempont volt a legfontosabb mdszerek rendszerezett

    bemutatsa s a tartalom rthetsge.

    Jegyzet letltse PDF formtumban.

    Valsznsgszmts pldatr informatikusoknak

    Mihlykn Orbn va, PE MIK, Matematika Tanszk

    Kulcsszavak:valsznsg, valsznsgi vltoz, eloszls, eloszlsfggvny, srsgfggvny,

    vrhat rtk, szrs, kapcsolatok az eloszlsok kztt, centrlis hatreloszls ttel,

    szmtgpes szimulci

    sszefoglal:Ennek a feladatgyjtemnynek a clja a valsznsgszmtssal kapcsolatos, alap

    valsznsg-szmts kurzuson ismertetett fogalmak elm lytse, feladatokon keresztl trtn

    "begyakor lsa". A feladatok kztt megtallhatk csupn a definci ismerett ignyl pldk

    ppgy, mint a szmolsi gyakorlatot illetve tleteket ignyl feladatok. Igyekeztem a pldk

    egy rszt gy fogalmazni, hogy a hallgatk rismerhessenek a mindennapi letben felbukkan

    problmkra . Nagy hangslyt helyeztem az eloszlsok fogalmra, az eloszlsok kztti

    kapcsolatokra, valamint kihasznlva a mrnk informatikus hallgatk szmtstechnikban valjr tassg t, a problmk szimulcival trtn kezelsre. Mr az els fejezettl fogva

    tudatosan trekedtem szimulcis feladatok adsra, s arra, hogy a "vletlen viselkedsvel"

    kapcsolatos jelensgekre felhvjam a hallgatk figyelmt. Remlhetleg a ksbbiekben ennek

    meglesz az a haszna, hogy ha egy sztochasztikus problmt analitikusan nem is sikerl

    megoldani a gyakorl informatikusnak, de a szimulcival trtn kezels lehetsge eszbe fog

    majd jutni. Minden feladatnak ismertettem a megoldst, illetve a szmtgpes

    megvalstsokra is adtam egy lehetsges utat, ami megknnyti az nellenrzst.

    Pannon Egyetem Mszaki Informatikai Kar Szegedi Tudomnyegyetem

  • 7/21/2019 1 Digitlis Tananyagok Tartalom ---

    24/24

    29 szemly kedveli eztTetszikTetszik