Témakörök. Egyed-kapcsolat modell. Alapfogalmak
|
|
- Regina Pintér
- 7 évvel ezelőtt
- Látták:
Átírás
1 Témakörök Alapkocepciók Szoftvertechológia előadás Egyed-kapcsolat modellek Osztálydiagramok Iterakciódiagramok Vezérlési struktúrák Dötési táblák és fák Állapotautomaták Petri hálók Egyed-kapcsolat modell Az 1970-es évek közepé alkották meg Erős matematikai alapokra épült Adatbázisok modellezésére készült Az 1980-as évek közepé szabváyosították (ANSI) Az 1980-as évek végé több CASE eszköz is itegrálta 3 Alapfogalmak Egyed Létező objektum, amely megkülöböztethető a többi objektumtól Tulajdoság Egyedre vagy egyedek közötti kapcsolatra jellemző érték (rögzített értékhalmazból) Egyedhalmaz Hasoló egyedek halmaza Midegyik egyed azoos tulajdoságokkal bír Megadható egy kulcs-tulajdoság (mide halmazbeli egyed eseté külöböző értékű) 4 1
2 Alapfogalmak Kapcsolat Társítási reláció két vagy több egyed között Típusai: 1-1 kapcsolat 1- kapcsolat -1 kapcsolat - kapcsolat Kapcsolathalmaz Hasoló kapcsolatok halmaza év Egyed-kapcsolat diagram azoosító Alkalmazott Dolgozik cégjegyzékszám Cég fizetés beosztás év cím 5 6 Speciális kapcsolatok év azoosító beosztás év cégjegyzékszám cím Általáosítás (ISA Aggregáció kapcsolat) Relációhalmazok Állat aggregálhatók egyedhalmazokká ISA Kutya Relációk közötti relációk fejezhetők ki aggregáció segítségével 7 Alkalmazott ISA Főök Tulajdoos 1 Dolgozik Vezet Felügyel Cég 1 Vállalat 8
3 Osztálydiagram Az UML része De az UML-től függetle módszertaok is haszálják (Structure diagram) Objektum orietált modellezés e egyik eszköze Korábbi taulmáyokból ismert 9 10 Iterakció diagramok Kommuikációs diagram Kommuikációs diagram Szekvecia diagram Iterakciót áttekitő diagram Időzítési diagram Korábbi taulmáyokból ismertek
4 Szekvecia diagram Iterakciót áttekitő diagram Időzítési diagram Vezérlési struktúrák Bármilye algoritmus leírható az alábbi vezérlési struktúrákkal (Dijkstra) Szekvecia utasítások egymás utái végrehajtása Szelekció egy feltétel teljesülésétől függőe más utasítások kerülek végrehajtásra Iteráció meghatározott utasítások tetszőleges számú ismételt végrehajtása
5 Dötési fa Szabályok megállapítására szolgál Fa formájú reprezetációja egy függvéyek Általáosítás, csoportosítás eszköze Számos területe alkalmazzák Szoftver tervezés Operációkutatás Mesterséges itelligecia Adatbázisok Dötési fa (defiíció) A dötési fa egy olya faszerkezet, amelybe mide belső csúcs egy értékre voatkozó elleőrzést jelöl, a csúcsból kivezető mide él pedig az elleőrzés egy-egy kimeetéek feleltethető meg. A fa levelei tartalmazzák a dötéseket Dötési fa készítése Rekurzív algoritmus Bemeet: objektumok halmaza (O) Tulajdoságlista (A) vizsgáladó tulajdoságok halmaza (V) Kimeet: A dötési fa DFK(O, A, V) 19 Dötési fa készítése 1. N csúcs létrehozása. Ha O mide eleme V-beli tulajdoságaiak értéke azoos, akkor N legye levélcsúcs, melyek címkéje eze azoos értékek legyeek (VÉGE) 3. Ha A üres, akkor N legye levélcsúcs, melyek címkéje azoos a leggyakoribb V-beli tulajdoságértékekkel (VÉGE) 4. E elleőrzőtulajdoság legy az A elemei közül a legagyobb iformációyereséggel redelkező 5. Legye N címkéje E 6. Mide t i E által l felvehető éték értékre 1. iduljo ki egy él az E = t i címkével. jelölje o i azo O-beli elemeket, amelyekre igaz az E=t i feltétel 3. Ha o i üres, illeszük be egy levélcsúcsot melyek címkéje azoos a leggyakoribb V-beli tulajdoságértékekkel; Külöbe illeszük be a DFK(o i, A, V) által készített dötési fát 0 5
6 Objektumok: 1. Alma Aliz, 18-30, tauló, jó, ige. Barack Béla, 18-30, tauló, rossz, ige 3. Citrom Cecília, 31-40, em tauló, jó, ige 4. Dió Demeter, 31-40, em tauló, rossz, ige 5. Egres Ego, 41-80, em tauló, jó, ige 6. Füge Ferec, 41-80, em tauló, rossz, em 7. Gráátalma Géza, 55, em tauló, jó, ige 8. Gyümölcs Györgyi, 18-30, em tauló, rossz, em Tulajdoságok: Név Életkor (18-30, 31-40, 41-80) Foglalkozás (tauló, em tauló) Hitelképesség (rossz, jó) Vesz-e számítógépet (ige, em) Vizsgáladó tulajdoság: vesz-e számítógépet 1 Tauló? Életkor ige Hitelképesség ige em jó rossz ige em ige em Dötési táblák Boyolult logikai szabályok egyszerű és tömör leírására haszálhatók A szabályok alakja: HA feltételek AKKOR teivalók A tábla felépítése: Feltételek Teivalók Alteratívá k Teedő Feltételek Te ivalók Szabályok A yomtató em yomtat I I I I H H H H A piros lámpa villog I I H H I I H H A yomtató ismeretle I H I H I H I H Elleőrizi a tápkábelt X Elleőrizi az adatkábelt X X Az illesztőprogram elleőrzése X X X X Tita elleőrzése/cseréje X X X X Papírbeszorulás keresése X X 3 4 6
7 Állapot-automaták Az absztrakt állapot-automaták automaták a specifikáció és a verifikáció eszközei Erős matematikai alapok Megkülöböztetük véges és végtele állapotú apoúauo automatát aá A továbbiakba csak a véges állapotú automatákról lesz szó 5 Véges állapotú automata Állapotok és az állapotok közötti átmeetek redszere Az automata működése sorá az iput és az éppe aktuális állapot függvéyébe vált állapotot (állapotátmeeti szabályok) Speciális állapotok: Kezdőállapot Végállapot (elfogadó állapot) Az automata reprezetálható diagrammal vagy állapotátmeet táblával 6 (osztható-e 3-mal egy szám) 3, 6, 9, 0 Petri-háló 3, 6, 9, 0 0 1, 4, 7, 5, 8, 5, 8 1, 4, 7 1, 4, 7 1, 5, 8 Olya grafikus és matematikai reprezetáció, amely vezérlési szerkezetek és adatstruktúrák leírására egyarát alkalmazható Főbb felhaszálási területei Elosztott, kokures és párhuzamos redszerek Aszikro redszerek Nemdetermiisztikus redszerek 3, 6, 9,
8 Alapfogalmak Hely A háló olya csúcsa, amelyik tokeeket tartalmazhat (adatokat reprezetál) Átmeet A háló olya csúcsa, amelyik em tartalmazhat tokeeket (folyamatot reprezetál) Él Bemeő élek: helyekről vezetek átmeetekbe Kimeő élek: átmeetekből vezetek helyekre Toke Olya elemek, amelyek a háló valamely helyé találhatók Tüzelés A háló egy átmeete tüzelhet, ha valameyi bemeő helye található toke. A tüzelés sorá az átmeet mide bemeő helyéről elvétetik egy-egy toke, a kimeő helyekre pedig kerül egy-egy toke 9 30 (víz szitézise) (csoki automata) kis csoki H BE BE 10 H O 0 BE 5 BE 5 BE 5 O BE 10 BE Élsúly: azt határozza meg, hogy egy átmeet tüzeléséhez adott helye háy toke szükséges, vagy a tüzelés utá háy toke keletkezik 31 agy csoki 3 8
9 Irodalom Irodalom Egyed-kapcsolat modellek Ia Sommerville: Szoftver redszerek fejlesztése, 7.3. fejezet Osztálydiagramok Szoftver tervezés és techológia előadás ayaga Ia Sommerville: Szoftver redszerek fejlesztése, 7.4. fejezet Iterakciódiagramok Szoftver tervezés és techológia előadás ayaga Vezérlési struktúrák Dötési táblák és fák Állapotautomaták (Ia Sommerville: Szoftver redszerek fejlesztése, 7... fejezet) Petri hálók Iformatikai algoritmusok (. kötet), ELTE Eötvös Kiadó,
Témakörök. Alapkoncepciók. Alapfogalmak. Egyed-kapcsolat modell. Alapfogalmak. Egyed-kapcsolat diagram
Témakörök Alapkocepciók Szoftvertechológia elıadás Egyed-kapcsolat modellek Osztálydiagramok Iterakciódiagramok Vezérlési struktúrák Dötési táblák és fák Állapotautomaták Petri hálók Egyed-kapcsolat modell
Részletesebben24. tétel A valószínűségszámítás elemei. A valószínűség kiszámításának kombinatorikus modellje.
24. tétel valószíűségszámítás elemei. valószíűség kiszámításáak kombiatorikus modellje. GYORISÁG ÉS VLÓSZÍŰSÉG meyibe az egyes adatok a sokaságo belüli részaráyát adjuk meg (törtbe vagy százalékba), akkor
RészletesebbenBánsághi Anna anna.bansaghi@mamikon.net. 2014 Bánsághi Anna 1 of 31
IMPERATÍV PROGRAMOZÁS Bánsághi Anna anna.bansaghi@mamikon.net 9. ELŐADÁS - OOP TERVEZÉS 2014 Bánsághi Anna 1 of 31 TEMATIKA I. ALAPFOGALMAK, TUDOMÁNYTÖRTÉNET II. IMPERATÍV PROGRAMOZÁS Imperatív paradigma
RészletesebbenRészletes szoftver tervek ellenőrzése
Részletes szoftver tervek ellenőrzése Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/~majzik/ Tartalomjegyzék A részletes
RészletesebbenSorozatok A.: Sorozatok általában
200 /2002..o. Fakt. Bp. Sorozatok A.: Sorozatok általába tam_soroz_a_sorozatok_altalaba.doc Sorozatok A.: Sorozatok általába Ad I. 2) Z/IV//a-e, g-m (CD II/IV/ Próbálj meg róluk miél többet elmodai. 2/a,
RészletesebbenPl.: hányféleképpen lehet egy n elemű halmazból k elemű részhalmazt kiválasztani, n tárgyat hányféleképpen lehet szétosztani k személy között stb.?
Dr. Vicze Szilvia A kombiatorika a véges halmazokkal foglalkozik. A véges halmazokkal kapcsolatba számos olya probléma vethető fel, amely függetle a halmazok elemeitől. Pl.: háyféleképpe lehet egy elemű
RészletesebbenALGEBRA. egyenlet megoldásait, ha tudjuk, hogy egész számok, továbbá p + q = 198.
ALGEBRA MÁSODFOKÚ POLINOMOK. Határozzuk meg az + p + q = 0 egyelet megoldásait, ha tudjuk, hogy egész számok, továbbá p + q = 98.. Határozzuk meg az összes olya pozitív egész p és q számot, amelyre az
RészletesebbenKvantum párhuzamosság Deutsch algoritmus Deutsch-Jozsa algoritmus
LOGO Kvatum párhuzamosság Deutsch algoritmus Deutsch-Jozsa algoritmus Gyögyösi László BME Villamosméröki és Iormatikai Kar Bevezető Kvatum párhuzamosság Bármilye biáris üggvéyre, ahol { } { } : 0, 0,,
RészletesebbenAlapszintű formalizmusok
Alapszintű formalizmusok dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék 1 Mit szeretnénk elérni? Informális tervek Informális követelmények Formális modell Formalizált követelmények
RészletesebbenEseme nyalgebra e s kombinatorika feladatok, megolda sok
Eseme yalgebra e s kombiatorika feladatok, megolda sok Szűk elméleti áttekitő Kombiatorika quick-guide: - db. elemből db. sorredjeire vagyuk kívácsiak: permutáció - db. elemből m < db. háyféleképp rakható
Részletesebben30 MB INFORMATIKAI PROJEKTELLENŐR. Kálmán Miklós és Rácz József. Tervezési dokumentáció Rendszerterv
INFORMATIKAI PROJEKTELLENŐR 30 MB Tervezési dokumetáció Redszerterv Kálmá Miklós és Rácz József 2016.10.26. MMK Iformatikai projektelleőr képzés 1 Tervezési dokumetáció Redszerterv Megvalósítási tervek
RészletesebbenModell alapú tesztelés mobil környezetben
Modell alapú tesztelés mobil környezetben Micskei Zoltán Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék A terület behatárolása Testing is an activity performed
RészletesebbenDiszkrét matematika II., 3. előadás. Komplex számok
1 Diszkrét matematika II., 3. előadás Komplex számok Dr. Takách Géza NyME FMK Iformatikai Itézet takach@if.yme.hu http://if.yme.hu/ takach/ 2007. február 22. Komplex számok Szereték kibővítei a valós számtestet,
RészletesebbenSzoftvertechnológia gyakorlat (OE-NIK) Előkészítés. A csapat: Alma Aliz PROJEKTVEZETŐ. Barack Béla ADMINISZTRÁTOR. Citrom Cecília DEMONSTRÁTOR
SCHOÓCHER BANK Előkészítés A csapat: Alma Aliz PROJEKTVEZETŐ Barack Béla ADMINISZTRÁTOR Citrom Cecília DEMONSTRÁTOR Dió Dénes KAPCSOLATTARTÓ oldal 1 A FELADAT A projekt célja egy olyan szoftverrendszer
RészletesebbenElsőbbségi (prioritásos) sor
Elsőbbségi (prioritásos) sor Közapi fogalma, megjeleése: pl. sürgősségi osztályo a páciesek em a beérkezési időek megfelelőe, haem a sürgősség mértéke szerit kerülek ellátásra. Az operációs redszerekbe
RészletesebbenFormális nyelvek és automaták vizsgához statisztikailag igazolt várható vizsgakérdések
1. Feladat Az első feladatban szereplő - kérdések 1 Minden környezet független nyelv felismerhető veremautomatával. Minden környezet független nyelv felismerhető 1 veremmel. Minden 3. típusú nyelv felismerhető
RészletesebbenEötvös Loránd Tudományegyetem Informatikai Kar. Analízis 1. Írásbeli beugró kérdések. Készítette: Szántó Ádám Tavaszi félév
Eötvös Lorád Tudomáyegyetem Iformatikai Kar Aalízis 1. Írásbeli beugró kérdések Készítette: Szátó Ádám 2011. Tavaszi félév 1. Írja le a Dedekid-axiómát! Legyeek A R, B R. Ekkor ha a A és b B : a b, akkor
RészletesebbenAdat és folyamat modellek
Adat és folyamat modellek Előadásvázlat dr. Kovács László Folyamatmodell nyersanyag miből termék mit funkció ki munkaerő eszköz mivel Objektumok Tevékenységek Adatmodell Funkció modell Folyamat modell
RészletesebbenVII. A határozatlan esetek kiküszöbölése
A határozatla esetek kiküszöbölése 9 VII A határozatla esetek kiküszöbölése 7 A l Hospital szabály A véges övekedések tétele alapjá egy függvéy értékét egy potba közelíthetjük az köryezetébe felvett valamely
RészletesebbenAdatbázis rendszerek 6.. 6. 1.1. Definíciók:
Adatbázis Rendszerek Budapesti Műszaki és Gazdaságtudományi Egyetem Fotogrammetria és Térinformatika 6.1. Egyed relációs modell lényegi jellemzői 6.2. Egyed relációs ábrázolás 6.3. Az egyedtípus 6.4. A
RészletesebbenAlgoritmizálás. Horváth Gyula Szegedi Tudományegyetem Természettudományi és Informatikai Kar
Algoritmizálás Horváth Gyula Szegedi Tudomáyegyetem Természettudomáyi és Iformatikai Kar horvath@if.u-szeged.hu. Mohó algoritmusok A mohó stratégia elemi 1. Fogalmazzuk meg az optimalizációs feladatot
RészletesebbenBevezetés az informatikába
Bevezetés az informatikába 6. előadás Dr. Istenes Zoltán Eötvös Loránd Tudományegyetem Informatikai Kar Programozáselmélet és Szoftvertechnológiai Tanszék Matematikus BSc - I. félév / 2008 / Budapest Dr.
Részletesebben1. ALGORITMUSOK MŰVELETIGÉNYE
1 ALGORITMUSOK MŰVELETIGÉNYE Az ismertetésre kerülő adatszerkezeteket és algoritmusokat midig jellemezzük majd a hatékoyság szempotjából Az adatszerkezetek egyes ábrázolásairól megállapítjuk a helyfoglalásukat,
Részletesebbenn akkor az n elem összes ismétléses ... k l k 3 k 1! k 2!... k l!
KOMBINATORIKAI ALAPFOGALMAK A ombiatoria általába a véges halmazora voatozó redezési és leszámlálási feladatoal foglalozi. Az elemi ombiatoria legtöbb esetbe a övetező ét érdés egyiére eresi a választ:
Részletesebbenf (M (ξ)) M (f (ξ)) Bizonyítás: Megjegyezzük, hogy konvex függvényekre mindig létezik a ± ben
Propositio 1 (Jese-egyelőtleség Ha f : kovex, akkor tetszőleges ξ változóra f (M (ξ M (f (ξ feltéve, hogy az egyelőtleségbe szereplő véges vagy végtele várható értékek létezek Bizoyítás: Megjegyezzük,
RészletesebbenAdatbázisok I 2012.05.11. Adatmodellek komponensei. Adatbázis modellek típusai. Adatbázisrendszer-specifikus tervezés
Adatbázisok I Szemantikai adatmodellek Szendrői Etelka PTE-PMMK Rendszer és Szoftvertechnológiai Tanszék szendroi@pmmk.pte.hu Adatmodellek komponensei Adatmodell: matematikai formalizmus, mely a valóság
RészletesebbenA számítógépes nyelvészet elmélete és gyakorlata. Automaták
A számítógépes nyelvészet elmélete és gyakorlata Automaták Nyelvek és automaták A nyelvek automatákkal is jellemezhetőek Automaták hierarchiája Chomsky-féle hierarchia Automata: új eszköz a nyelvek komplexitásának
RészletesebbenA Formális nyelvek vizsga teljesítése. a) Normál A vizsgán 60 pont szerezhet, amely két 30 pontos részb l áll össze az alábbi módon:
A Formális nyelvek vizsga teljesítése a) Normál A vizsgán 60 pont szerezhet, amely két 30 pontos részb l áll össze az alábbi módon: 1. Öt rövid kérdés megválaszolása egyenként 6 pontért, melyet minimum
RészletesebbenA statisztikai vizsgálat tárgyát képező egyedek összességét statisztikai sokaságnak nevezzük.
Statisztikai módszerek. BMEGEVGAT01 Készítette: Halász Gábor Budapesti Műszaki és Gazdaságtudomáyi Egyetem Gépészméröki Kar Hidrodiamikai Redszerek Taszék 1111, Budapest, Műegyetem rkp. 3. D ép. 334. Tel:
RészletesebbenHiba! Nincs ilyen stílusú szöveg a dokumentumban.-86. ábra: A példa-feladat kódolási változatai
közzétéve a szerző egedélyével) Öfüggő szekuder-változó csoport keresése: egy bevezető példa Ez a módszer az állapothalmazo értelmezett partíció-párok elméleté alapul. E helye em lehet céluk az elmélet
RészletesebbenAz adatmodelleket többféleképpen is csoportosíthatjuk. Egyik csoportosítás:
Adatmodellek Minden adatbázis-kezel rendszer egy absztrakt adatmodellel dolgozik, azért, hogy az adatokat ne csak bitek sorozataként lássuk. Egy adatmodell egy matematikai formalizmus mely a következ két
RészletesebbenA Formális nyelvek vizsga teljesítése. a) Normál A vizsgán 60 pont szerezhet, amely két 30 pontos részb l áll össze az alábbi módon:
A Formális nyelvek vizsga teljesítése a) Normál A vizsgán 60 pont szerezhet, amely két 30 pontos részb l áll össze az alábbi módon: 1. Öt kis kérdés megválaszolása egyenként 6 pontért, melyet minimum 12
RészletesebbenA modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel
A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel Majzik István Micskei Zoltán BME Méréstechnika és Információs Rendszerek Tanszék 1 Modell alapú fejlesztési folyamat (részlet)
RészletesebbenAdatmodellek komponensei
Adatbázisok I Szemantikai adatmodellek Adatmodellek komponensei Adatmodell: matematikai formalizmus, mely a valóság adatorientált leírására alkalmas Komponensei: strukturális rész: a valóságban megtalálható
RészletesebbenSZÁMÍTÓGÉPPEL INTEGRÁLT SZÁLLÍTÁS MODELLEZÉSE (MODELING OF COMPUTER INTEGRATED TRANSPORTATION)
SZÁMÍTÓGÉPPEL INTEGRÁLT SZÁLLÍTÁS MODELLEZÉSE (MODELING OF COMPUTER INTEGRATED TRANSPORTATION) Csiszár Csaba, csiszar@kku.bme.hu Westsik György Budapesti Műszaki Egyetem Közlekedésméröki Kar Közlekedésüzemi
RészletesebbenMatematikai statisztika
Matematikai statisztika PROGRAMTERVEZŐ INFORMATIKUS alapszak, A szakiráy Arató Miklós Valószíűségelméleti és Statisztika Taszék Természettudomáyi Kar 2019. február 18. Arató Miklós (ELTE) Matematikai statisztika
RészletesebbenSorbanállási modellek
VIII. előadás Sorbaállási modellek Sorbaállás: A sorbaállás, a várakozás általáos probléma közlekedés, vásárlás, takolás, étterem, javításra várás, stb. Eze feladatok elmélete és gyakorlata a matematikai
RészletesebbenA modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel
A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel Majzik István Micskei Zoltán BME Méréstechnika és Információs Rendszerek Tanszék 1 Modell alapú fejlesztési folyamat (részlet)
RészletesebbenXXVI. Erdélyi Magyar Matematikaverseny Zilah, február II.forduló -10. osztály
Miisterul Educaţiei Națioale și Cercetării Știițifice Subiecte petru Etapa aţioală a Cocursului de Matematică al Liceelor Maghiare di Româia XXVI. Erdélyi Magyar Matematikaversey Zilah, 016. február 11
RészletesebbenStatisztika 1. zárthelyi dolgozat március 21.
Statisztika 1 zárthelyi dolgozat 011 március 1 1 Legye X = X 1,, X 00 függetle mita b paraméterű Poisso-eloszlásból b > 0 Legye T 1 X = X 1+X ++X 100, T 100 X = X 1+X ++X 00 00 a Milye a számra igaz, hogy
RészletesebbenKombinatorika. Variáció, permutáció, kombináció. Binomiális tétel, szita formula.
Kombiatorika Variáció, permutáció, kombiáció Biomiális tétel, szita formula 1 Kombiatorikai alapfeladatok A kombiatorikai alapfeladatok léyege az, hogy bizoyos elemeket sorba redezük, vagy éháyat kiválasztuk
RészletesebbenProgramfejlesztési Modellek
Programfejlesztési Modellek Programfejlesztési fázisok: Követelmények leírása (megvalósíthatósági tanulmány, funkcionális specifikáció) Specifikáció elkészítése Tervezés (vázlatos és finom) Implementáció
RészletesebbenA figurális számokról (IV.)
A figurális számokról (IV.) Tuzso Zoltá, Székelyudvarhely A továbbiakba külöféle számkombiációk és összefüggések reprezetálásáról, és bizoyos összegek kiszámolásáról íruk. Sajátos összefüggések Az elekbe
Részletesebben1. A radioaktivitás statisztikus jellege
A radioaktivitás időfüggése 1. A radioaktivitás statisztikus jellege Va N darab azoos radioaktív atomuk, melyekek az atommagja spotá átalakulásra képes. tegyük fel, hogy ezek em bomlaak tovább. Ekkor a
RészletesebbenFüggvényhatárérték-számítás
Függvéyhatárérték-számítás I Függvéyek véges helye vett véges határértéke I itervallumo, ha va olya k valós szám, melyre az I itervallumo, ha va olya K valós szám, melyre I itervallumo, ha alulról és felülről
Részletesebben( a b)( c d) 2 ab2 cd 2 abcd 2 Egyenlőség akkor és csak akkor áll fenn
Feladatok közepek közötti egyelőtleségekre (megoldások, megoldási ötletek) A továbbiakba szmk=számtai-mértai közép közötti egyelőtleség, szhk=számtaiharmoikus közép közötti egyelőtleség, míg szk= számtai-égyzetes
RészletesebbenLOGO. Kvantum-tömörítés. Gyöngyösi László BME Villamosmérnöki és Informatikai Kar
LOGO Kvatum-tömörítés Gyögyösi László BME Villamosméröki és Iformatikai Kar Iformációelméleti alaok összefoglalása A kódolási eljárás Az iformáció átadás hűsége és gazdaságossága a kódolástól függ Az iformáció
RészletesebbenA könyv tartalomjegyzéke
A könyv tartalomjegyzéke Elıszó Bevezetés Adatbázis-kezelı rendszerek Adatmodellezés Alapfogalmak Egyedhalmaz, egyed Kapcsolat, kapcsolat-elıfordulás, kapcsolat típusa Tulajdonság, tulajdonságérték, értékhalmaz
RészletesebbenA Venn-Euler- diagram és a logikai szita
A Ve-Euler- diagram és a logikai szita Ebbe a részbe a Ve-Euler diagramról, a logikai szitáról, és a két témakör kapcsolatáról íruk, számos jellemző, megoldott feladattal szemléltetve a leírtakat. Az ábrákak
RészletesebbenProgramozás I. 2. gyakorlat. Szegedi Tudományegyetem Természettudományi és Informatikai Kar
Programozás I. 2. gyakorlat Szegedi Tudományegyetem Természettudományi és Informatikai Kar Antal Gábor 1 Vizuális modellezés Programozás: Modellezés és tervezés Implemetálás (Kódolás) Dokumentálás és Tesztelés
RészletesebbenProjektalapító okirat. Projektindító dokumentum 30 MB. Projektalapító okirat. Projektindító dokumentum. Projektalapító okirat
Projektidító dokumetum INFORMATIKAI PROJEKTELLENŐR Projektalapító okirat Projektidító dokumetum 30 MB Projektalapító okirat Projektidító dokumetum Projektalapító okirat KÁLMÁN MIKLÓS ÉS RÁCZ JÓZSEF PROJEKTMENEDZSERI
RészletesebbenLajkó Károly Kalkulus I. példatár mobidiák könyvtár
Lajkó Károly Kalkulus I. példatár mobidiák köyvtár Lajkó Károly Kalkulus I. példatár mobidiák köyvtár SOROZATSZERKESZTŐ Fazekas Istvá Lajkó Károly Kalkulus I. példatár programozó és programtervező matematikus
RészletesebbenSorozatok, határérték fogalma. Függvények határértéke, folytonossága
Sorozatok, határérték fogalma. Függvéyek határértéke, folytoossága 1) Végtele valós számsorozatok Fogalma, megadása Defiíció: A természetes számok halmazá értelmezett a: N R egyváltozós valós függvéyt
RészletesebbenÍ Í Í Í Ó Í Í Í Í É Í Ú ű É Á ű ű Ú É ű ű ű É Í É Á Í Í Ő Á É Ú ű Í Í ű Í Á Í Ü Á Á Í Í Í Í Í ű Í ű Ü Í ű ű É Á É Ú Á Ö Í Á ű ű Á É É Í Í Í Í ű É ű ű Á ű ű É É É ű Ü Í É Í ű Á É É Í Í Í ű Ö Ö Í Á É Í Ü
RészletesebbenEseményalgebra, kombinatorika
Eseméyalgebra, kombiatorika Eseméyalgebra Defiíció. Véletle kísérletek evezük mide olya megfigyelést, melyek több kimeetele lehetséges, és a véletletől függ, (azaz az általuk figyelembevett feltételek
RészletesebbenVÉLETLENÍTETT ALGORITMUSOK. 1.ea.
VÉLETLENÍTETT ALGORITMUSOK 1.ea. 1. Bevezetés - (Mire jók a véletleített algoritmusok, alap techikák) 1.1. Gyorsredezés Vegyük egy ismert példát, a redezések témaköréből, méghozzá a gyorsredezés algoritmusát.
RészletesebbenGyakorló feladatok II.
Gyakorló feladatok II. Valós sorozatok és sorok Közgazdász szakos hallgatókak a Matematika B című tárgyhoz 2005. október Valós sorozatok elemi tulajdoságai F. Pozitív állítás formájába fogalmazza meg azt,
Részletesebben(A TÁMOP /2/A/KMR számú projekt keretében írt egyetemi jegyzetrészlet):
A umerikus sorozatok fogalma, határértéke (A TÁMOP-4-8//A/KMR-9-8 számú projekt keretébe írt egyetemi jegyzetrészlet): Koverges és diverges sorozatok Defiíció: A természetes számoko értelmezett N R sorozatokak
RészletesebbenDr. Mileff Péter
Dr. Mileff Péter 1 2 1 Szekvencia diagram Szekvencia diagram Feladata: objektumok egymás közti üzenetváltásainak ábrázolása egy időtengely mentén elhelyezve. Az objektumok életvonala egy felülről lefelé
RészletesebbenJ. Carelman: Leegyszer!sített számológép. Programozás I. A C programozás alapjai 1. Gyakorlat. Gyakorlatok
J. Carelma: Leegyszer!sített számológép Programozás I. A C programozás alapja 1. Gyakorlat 2 Gyakorlatok Hely, d"pot: D104, hétf" 10:55-12:35 Gyakorlatvezet"k: Heckeast Tamás, B603, heckeas@sze.hu Tormás
RészletesebbenKeresés képi jellemzők alapján. Dr. Balázs Péter SZTE, Képfeldolgozás és Számítógépes Grafika Tanszék
Keresés képi jellemzők alapján Dr. Balázs Péter SZTE, Képfeldolgozás és Számítógépes Grafika Tanszék Lusta gépi tanulási algoritmusok Osztályozás: k=1: piros k=5: kék k-legközelebbi szomszéd (k=1,3,5,7)
Részletesebben16. Az AVL-fa. (Adelszon-Velszkij és Landisz, 1962) Definíció: t kiegyensúlyozott (AVL-tulajdonságú) t minden x csúcsára: Pl.:
6. Az AVL-fa Adelszo-Velszkij és Ladisz, 96 Defiíció: t kiegyesúlyozott AVL-tulajdoságú t mide x csúcsára: bal x jobb x. Pl.: A majdem teljes biáris fa AVLtulajdoságú. Az AVL-fára, mit speciális alakú
RészletesebbenSzámelméleti alapfogalmak
Számelméleti alapfogalma A maradéos osztás tétele Legye a és b ét természetes szám, b, és a>b Aor egyértelme léteze q és r természetes számo, amelyere igaz: a b q r, r b Megevezés: a osztadó b osztó q
RészletesebbenMiskolci Egyetem Gépészmérnöki és Informatikai Kar Alkalmazott Informatikai Tanszék. Dr. Kulcsár Gyula egyetemi docens
Miskolci Egyetem Gépészméröki és Iformatikai Kar Alkalmazott Iformatikai Taszék Dr. Kulcsár Gyula egyetemi doces Iformatikai ifrastruktúra felődése Decetralizált Cetralizált Lazá csatolt Klies/szerver
Részletesebbenmodell, amiben csak bináris sok-egy kapcsolatok (link, memberowner,
Informatika szigorlat 10-es tétel: Adatmodellezés Adatmodellezésnek azt az absztrakciós folyamatot nevezzük, amelyben a valós (mikró)világ tényeit, valamint a tények közötti kapcsolatokat tükröző adatokat,
RészletesebbenMATEMATIKA TAGOZAT 5-8. BEVEZETŐ. 5. évfolyam
BEVEZETŐ Ez a helyi tanterv a kerettanterv Emelet matematika A változata alapján készült. Az emelt oktatás során olyan tanulóknak kívánunk magasabb szintű ismerteket nyújtani, akik matematikából átlag
RészletesebbenInnen. 2. Az. s n = 1 + q + q 2 + + q n 1 = 1 qn. és q n 0 akkor és csak akkor, ha q < 1. a a n végtelen sor konvergenciáján nem változtat az, ha
. Végtele sorok. Bevezetés és defiíciók Bevezetéskét próbáljuk meg az 4... végtele összegek értelmet adi. Mivel végtele sokszor em tuduk összeadi, emiatt csak az első tagot adjuk össze: legye s = 4 8 =,
RészletesebbenMetrikus terek. továbbra is.
Metrius tere továbbra is. Defiíció: Legye X egy halmaz, d : X X R egy függvéy. Azt modju, hogy d metria (távolság), ha.. 3. 4. d d d d x, x 0, x, y 0 x y, x, y dy, x, x, z dx, y dy, z. Az X halmazt a d
RészletesebbenIsmeretanyag Záróvizsgára való felkészüléshez
Ismeretanyag Záróvizsgára való felkészüléshez 1. Információmenedzsment az információmenedzsment értelmezése, feladatok különböző megközelítésekben informatikai szerepek, informatikai szervezet, kapcsolat
RészletesebbenMódszertani kísérlet az életpálya fogalmának formalizálására Előtanulmány a fiatal biológusok életpályakutatását célzó támogatott projekthez
[ξ ] Módszertai kísérlet az életpálya fogalmáak formalizálására Előtaulmáy a fiatal biológusok életpályakutatását célzó támogatott projekthez Soós Sádor ssoos@colbud.hu; 2009/9 http://www.mtakszi.hu/kszi_aktak/
RészletesebbenRELÁCIÓS ADATBÁZISSÉMÁK. Egyed-kapcsolat modellről átírás
RELÁCIÓS ADATBÁZISSÉMÁK Egyed-kapcsolat modellről átírás A RELÁCIÓS ADATMODELL Az adatokat egyszerűen reprezentálja: kétdimenziós adattáblákban Minden sor azonos számú oszlopból áll; egy sor egy rekord,
RészletesebbenFolytonos idejű rendszerek stabilitása
Folytoos idejű redszerek stabilitása Összeállította: dr. Gerzso Miklós egyetemi doces PTE MIK Műszaki Iformatika Taszék 205.2.06. Itelliges redszerek I. PTE MIK Mérök iformatikus BSc szak Stabilitás egyszerűsített
RészletesebbenMagas szintű adatmodellek Egyed/kapcsolat modell I.
Magas szintű adatmodellek Egyed/kapcsolat modell I. Ullman-Widom: Adatbázisrendszerek. Alapvetés. 4.fejezet Magas szintű adatmodellek (4.1-4.3.fej.) (köv.héten folyt.köv. 4.4-4.6.fej.) Az adatbázis modellezés
RészletesebbenSzabályozó szelepek (PN 6) VL 2 2-utú szelep, karima VL 3 3-járatú szelep, karima
Szabályozó szelepek (PN 6) V 2 2-utú szelep, karima V 3 3-járatú szelep, karima eírás V 2 V 3 A V 2 és a V 3 szelepek miőségi és költséghatékoy megoldást adak a legtöbb víz és hűtött víz alkalmazás eseté.
Részletesebben1 k < n(1 + log n) C 1n log n, d n. (1 1 r k + 1 ) = 1. = 0 és lim. lim n. f(n) < C 3
Dr. Tóth László, Fejezetek az elemi számelméletből és az algebrából (PTE TTK, 200) Számelméleti függvéyek Számelméleti függvéyek értékeire voatkozó becslések A τ() = d, σ() = d d és φ() (Euler-függvéy)
RészletesebbenJava programozási nyelv
Java programozási nyelv 2. rész Vezérlő szerkezetek Nyugat-Magyarországi Egyetem Faipari Mérnöki Kar Informatikai Intézet Soós Sándor 2005. szeptember A Java programozási nyelv Soós Sándor 1/23 Tartalomjegyzék
RészletesebbenEötvös Loránd Tudományegyetem Informatikai Kar. Analízis 1. Írásbeli tételek. Készítette: Szántó Ádám Tavaszi félév
Eötvös Lorád Tudomáyegyetem Iformatikai Kar Aalízis. Írásbeli tételek Készítette: Szátó Ádám 20. Tavaszi félév . Archimedes tétele. Tétel: a > 0 és b R : N : b < a. Bizoyítás: Idirekt úto tegyük fel, hogy
Részletesebben2.előadás. alapfogalmak, formális definíció
2.előadás Források: -Molnár Ágnes: Formális módszerek az informatikában (1), NetAkadámia Tudástár -dr. Pataricza András, dr. Bartha Tamás: Petri hálók: alapfogalmak, formális definíció Validáció és verifikáció
RészletesebbenFELADATOK a Bevezetés a matematikába I tárgyhoz
FELADATOK a Bevezetés a matematiába I tárgyhoz a számítástechia taár főisolai és a programozó matematius szao számára 2004 ovember 4 FIGYELEM: a számtech szaosoa csa a övetező feladato ellee: 2,6,7,8,9-13,16-25,27,31-33
RészletesebbenObjektum Orientált Szoftverfejlesztés (jegyzet)
Objektum Orientált Szoftverfejlesztés (jegyzet) 1. Kialakulás Kísérletek a szoftverkrízisből való kilábalásra: 1.1 Strukturált programozás Ötlet (E. W. Dijkstra): 1. Elkészítendő programot elgondolhatjuk
RészletesebbenFormális módszerek GM_IN003_1 Program verifikálás, formalizmusok
Formális módszerek GM_IN003_1 Program verifikálás, formalizmusok Program verifikálás Konkurens programozási megoldások terjedése -> verifikálás szükséges, (nehéz) logika Legszélesebb körben alkalmazott
Részletesebben10.M ALGEBRA < <
0.M ALGEBRA GYÖKÖS KIFEJEZÉSEK. Mutassuk meg, hogy < + +... + < + + 008 009 + 009 008 5. Mutassuk meg, hogy va olya pozitív egész szám, amelyre 99 < + + +... + < 995. Igazoljuk, hogy bármely pozitív egész
RészletesebbenAdatszerkezetek 2. Dr. Iványi Péter
Adatszerkezetek 2. Dr. Iványi Péter 1 Fák Fákat akkor használunk, ha az adatok között valamilyen alá- és fölérendeltség van. Pl. könyvtárszerkezet gyökér (root) Nincsennek hurkok!!! 2 Bináris fák Azokat
RészletesebbenPetri hálók: Alapelemek és kiterjesztések
Petri hálók: Alapelemek és kiterjesztések dr. Bartha Tamás dr. Pataricza András dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék Modellek a formális ellenőrzéshez Mivel nyújt többet
RészletesebbenModellellenőrzés. dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék
Modellellenőrzés dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék 1 Mit szeretnénk elérni? Informális vagy félformális tervek Informális követelmények Formális modell: KS, LTS, TA
RészletesebbenADATBÁZIS-KEZELÉS. Modellek
ADATBÁZIS-KEZELÉS Modellek MODELLEZÉS Információsűrítés, egyszerűsítés Absztrakciós lépésekkel eljutunk egy egyszerűbb modellig, mely hűen tükrözi a modellezni kívánt világot. ADATMODELL Információ vagy
RészletesebbenMatematika I. 9. előadás
Matematika I. 9. előadás Valós számsorozat kovergeciája +-hez ill. --hez divergáló sorozatok A határérték és a műveletek kapcsolata Valós számsorozatok mootoitása, korlátossága Komplex számsorozatok kovergeciája
RészletesebbenAdatbázisok - 1. előadás
Óbudai Egyetem Alba Regia Műszaki Kar (AMK) Székesfehérvár 2015. október 15. Köszönet A tárgyat korábban Kottyán László tanította. Köszönöm neki, hogy az általa elkészített
RészletesebbenDiszkrét Eseményű Rendszerek Diagnosztikája és Irányítása
Diszkrét és hibrid diagnosztikai és irányítórendszerek Diszkrét Eseményű Rendszerek Diagnosztikája és Irányítása Hangos Katalin Közlekedésautomatika Tanszék Rendszer- és Irányításelméleti Kutató Laboratórium
RészletesebbenINFORMATIKAI PROJEKTELLENŐR 30 MB. Átadás-átvételi dokumentáció. Kálmán Miklós és Rácz József MMK-Informatikai projektellenőr képzés 1
INFORMATIKAI PROJEKTELLENŐR 30 MB Átadás-átvételi dokumetáció Kálmá Miklós és Rácz József 2018. 02. 22. MMK-Iformatikai projektelleőr képzés 1 Átadás-átvételi dokumetáció 2 Az átadás-átvételi dokumetáció
Részletesebben3. MINTAFELADATSOR EMELT SZINT JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ
Oktatáskutató és Fejlesztő Itézet TÁMOP-3.1.1-11/1-01-0001 XXI. századi közoktatás (fejlesztés, koordiáció) II. szakasz MATEMATIKA 3. MINTAFELADATSOR EMELT SZINT 015 JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ Oktatáskutató
RészletesebbenStabilitás Irányítástechnika PE MI_BSc 1
Stabilitás 2008.03.4. Stabilitás egyszerűsített szemlélet példa zavarás utá a magára hagyott redszer visszatér a yugalmi állapotába kvázistacioárius állapotba kerül végtelebe tart alapjelváltás Stabilitás/2
RészletesebbenVéges matematika 1. feladatsor megoldások
Véges matematika 1 feladatsor megoldások 1 Háy olya hosszúságú kockadobás-sorozat va, melybe a csak 1-es és 2-es va; Egymástól függetleül döthetük a külöböző dobások eredméyéről, így a taultak szerit a
RészletesebbenMiskolci Egyetem Gépészmérnöki és Informatikai Kar Informatikai Intézet Alkalmazott Informatikai Intézeti Tanszék
Miskolci Egyetem Gépészméröki és Iformatikai Kar Iformatikai Itézet Alkalmazott Iformatikai Itézeti Taszék 2017/18 2. félév 10. Előadás Dr. Kulcsár Gyula egyetemi doces Matematikai modellek a termelés
RészletesebbenSzoftvertechnológia gyakorlat (BMF-NIK) Előkészítés. A csapat: Alma Aliz PROJEKTVEZETŐ. Barack Béla ADMINISZTRÁTOR. Citrom Cecília DEMONSTRÁTOR
SCHOÓCHER BANK Előkészítés A csapat: Alma Aliz PROJEKTVEZETŐ Barack Béla ADMINISZTRÁTOR Citrom Cecília DEMONSTRÁTOR Dió Dénes KAPCSOLATTARTÓ 2008/2009. tanév II. félév oldal 1 A FELADAT A projekt célja
Részletesebben3. Számelmélet. 1-nek pedig pontosan három. Hány pozitív osztója van az n számnak? OKTV 2012/2013; I. kategória, 1. forduló
. Számelmélet I. Feladatok 1. Háy égyzetszám osztója va a 7 5 5 7 számak?. Az pozitív egész számak potosa két pozitív osztója va, az + 1-ek pedig potosa három. Háy pozitív osztója va az + 01 számak? OKTV
RészletesebbenTémakörök. Structured Analysis (SA) Előnyök (SA) (SA/SD) Jackson Structured Programming (JSP) Szoftvertechnológia
Témakörök Struktúrált fejlesztés Szoftvertechnológia előadás Structured Analysis/Stuctured Design (SA/SD) Jackson Structured Programming (JSP) Jackson System Development e e (JSD) Data Structured Systems
RészletesebbenMi legyen az informatika tantárgyban?
Mi legyen az informatika tantárgyban? oktatás fő területei: digitális írástudás; számítástudomány; információs technológiák. Digitális írástudás szövegszerkesztés, adat vizualizáció, prezentáció, zeneszerkesztés,
RészletesebbenREOIL. növeli a transzformátorok élettartamát. www.ekofluid.sk/hu/
5 öveli a traszformátorok öveli a traszformátorok A techológia előyei A költségek csökketéseek folyamatos kéyszere és a zavartala eergiaellátás ehézségei szükségessé teszik a traszformátorok tervezett
Részletesebben