Témakörök. Egyed-kapcsolat modell. Alapfogalmak

Méret: px
Mutatás kezdődik a ... oldaltól:

Download "Témakörök. Egyed-kapcsolat modell. Alapfogalmak"

Á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. 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észletesebben

24. 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 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észletesebben

Bánsághi Anna anna.bansaghi@mamikon.net. 2014 Bánsághi Anna 1 of 31

Bá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észletesebben

Részletes szoftver tervek ellenőrzése

Ré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észletesebben

Sorozatok A.: Sorozatok általában

Sorozatok 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észletesebben

Pl.: 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.?

Pl.: 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észletesebben

ALGEBRA. egyenlet megoldásait, ha tudjuk, hogy egész számok, továbbá p + q = 198.

ALGEBRA. 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észletesebben

Kvantum párhuzamosság Deutsch algoritmus Deutsch-Jozsa algoritmus

Kvantum 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észletesebben

Alapszintű formalizmusok

Alapszintű 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észletesebben

Eseme nyalgebra e s kombinatorika feladatok, megolda sok

Eseme 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észletesebben

30 MB INFORMATIKAI PROJEKTELLENŐR. Kálmán Miklós és Rácz József. Tervezési dokumentáció Rendszerterv

30 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észletesebben

Modell alapú tesztelés mobil környezetben

Modell 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észletesebben

Diszkrét matematika II., 3. előadás. Komplex számok

Diszkré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észletesebben

Szoftvertechnológia gyakorlat (OE-NIK) Előkészítés. A csapat: Alma Aliz PROJEKTVEZETŐ. Barack Béla ADMINISZTRÁTOR. Citrom Cecília DEMONSTRÁTOR

Szoftvertechnoló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észletesebben

Elsőbbségi (prioritásos) sor

Első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észletesebben

Formális nyelvek és automaták vizsgához statisztikailag igazolt várható vizsgakérdések

Formá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észletesebben

Eö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á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észletesebben

Adat és folyamat modellek

Adat é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észletesebben

VII. A határozatlan esetek kiküszöbölése

VII. 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észletesebben

Adatbázis rendszerek 6.. 6. 1.1. Definíciók:

Adatbá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észletesebben

Algoritmizálás. Horváth Gyula Szegedi Tudományegyetem Természettudományi és Informatikai Kar

Algoritmizá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észletesebben

Bevezetés az informatikába

Bevezeté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észletesebben

1. ALGORITMUSOK MŰVELETIGÉNYE

1. 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észletesebben

n akkor az n elem összes ismétléses ... k l k 3 k 1! k 2!... k l!

n 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észletesebben

f (M (ξ)) M (f (ξ)) Bizonyítás: Megjegyezzük, hogy konvex függvényekre mindig létezik a ± ben

f (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észletesebben

Adatbázisok I 2012.05.11. Adatmodellek komponensei. Adatbázis modellek típusai. Adatbázisrendszer-specifikus tervezés

Adatbá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észletesebben

A 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 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észletesebben

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:

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: 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észletesebben

A statisztikai vizsgálat tárgyát képező egyedek összességét statisztikai sokaságnak nevezzük.

A 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észletesebben

Hiba! Nincs ilyen stílusú szöveg a dokumentumban.-86. ábra: A példa-feladat kódolási változatai

Hiba! 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észletesebben

Az adatmodelleket többféleképpen is csoportosíthatjuk. Egyik csoportosítás:

Az 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észletesebben

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:

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: 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észletesebben

A 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 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észletesebben

Adatmodellek komponensei

Adatmodellek 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észletesebben

SZÁ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) 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észletesebben

Matematikai statisztika

Matematikai 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észletesebben

Sorbanállási modellek

Sorbaná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észletesebben

A 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 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észletesebben

XXVI. Erdélyi Magyar Matematikaverseny Zilah, február II.forduló -10. osztály

XXVI. 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észletesebben

Statisztika 1. zárthelyi dolgozat március 21.

Statisztika 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észletesebben

Kombinatorika. Variáció, permutáció, kombináció. Binomiális tétel, szita formula.

Kombinatorika. 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észletesebben

Programfejlesztési Modellek

Programfejleszté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észletesebben

A figurális számokról (IV.)

A 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észletesebben

1. A radioaktivitás statisztikus jellege

1. 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észletesebben

Függvényhatárérték-számítás

Fü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

( 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észletesebben

LOGO. Kvantum-tömörítés. Gyöngyösi László BME Villamosmérnöki és Informatikai Kar

LOGO. 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észletesebben

A könyv tartalomjegyzéke

A 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észletesebben

A Venn-Euler- diagram és a logikai szita

A 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észletesebben

Programozá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 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észletesebben

Projektalapító okirat. Projektindító dokumentum 30 MB. Projektalapító okirat. Projektindító dokumentum. Projektalapító okirat

Projektalapí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észletesebben

Lajkó Károly Kalkulus I. példatár mobidiák könyvtár

Lajkó 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észletesebben

Sorozatok, határérték fogalma. Függvények határértéke, folytonossága

Sorozatok, 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észletesebben

Eseményalgebra, kombinatorika

Esemé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észletesebben

VÉLETLENÍTETT ALGORITMUSOK. 1.ea.

VÉ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észletesebben

Gyakorló feladatok II.

Gyakorló 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 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észletesebben

Dr. Mileff Péter

Dr. 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észletesebben

J. Carelman: Leegyszer!sített számológép. Programozás I. A C programozás alapjai 1. Gyakorlat. Gyakorlatok

J. 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észletesebben

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

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 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észletesebben

16. Az AVL-fa. (Adelszon-Velszkij és Landisz, 1962) Definíció: t kiegyensúlyozott (AVL-tulajdonságú) t minden x csúcsára: Pl.:

16. 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észletesebben

Számelméleti alapfogalmak

Szá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észletesebben

Miskolci Egyetem Gépészmérnöki és Informatikai Kar Alkalmazott Informatikai Tanszék. Dr. Kulcsár Gyula egyetemi docens

Miskolci 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észletesebben

modell, amiben csak bináris sok-egy kapcsolatok (link, memberowner,

modell, 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észletesebben

MATEMATIKA TAGOZAT 5-8. BEVEZETŐ. 5. évfolyam

MATEMATIKA 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észletesebben

Innen. 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

Innen. 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észletesebben

Metrikus terek. továbbra is.

Metrikus 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észletesebben

Ismeretanyag Záróvizsgára való felkészüléshez

Ismeretanyag 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észletesebben

Mó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ó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észletesebben

RELÁ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 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észletesebben

Folytonos idejű rendszerek stabilitása

Folytonos 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észletesebben

Magas szintű adatmodellek Egyed/kapcsolat modell I.

Magas 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észletesebben

Szabályozó szelepek (PN 6) VL 2 2-utú szelep, karima VL 3 3-járatú szelep, karima

Szabá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észletesebben

1 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

1 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észletesebben

Java programozási nyelv

Java 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észletesebben

Eö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á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észletesebben

2.előadás. alapfogalmak, formális definíció

2.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észletesebben

FELADATOK a Bevezetés a matematikába I tárgyhoz

FELADATOK 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észletesebben

Objektum Orientált Szoftverfejlesztés (jegyzet)

Objektum 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észletesebben

Formális módszerek GM_IN003_1 Program verifikálás, formalizmusok

Formá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észletesebben

10.M ALGEBRA < <

10.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észletesebben

Adatszerkezetek 2. Dr. Iványi Péter

Adatszerkezetek 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észletesebben

Petri hálók: Alapelemek és kiterjesztések

Petri 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észletesebben

Modellellenő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 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észletesebben

ADATBÁZIS-KEZELÉS. Modellek

ADATBÁ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észletesebben

Matematika I. 9. előadás

Matematika 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észletesebben

Adatbázisok - 1. előadás

Adatbá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észletesebben

Diszkrét Eseményű Rendszerek Diagnosztikája és Irányítása

Diszkré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észletesebben

INFORMATIKAI 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 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észletesebben

3. MINTAFELADATSOR EMELT SZINT JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ

3. 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észletesebben

Stabilitás Irányítástechnika PE MI_BSc 1

Stabilitá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észletesebben

Véges matematika 1. feladatsor megoldások

Vé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észletesebben

Miskolci Egyetem Gépészmérnöki és Informatikai Kar Informatikai Intézet Alkalmazott Informatikai Intézeti Tanszék

Miskolci 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észletesebben

Szoftvertechnológia gyakorlat (BMF-NIK) Előkészítés. A csapat: Alma Aliz PROJEKTVEZETŐ. Barack Béla ADMINISZTRÁTOR. Citrom Cecília DEMONSTRÁTOR

Szoftvertechnoló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észletesebben

3. 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ó

3. 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észletesebben

Témakörök. Structured Analysis (SA) Előnyök (SA) (SA/SD) Jackson Structured Programming (JSP) Szoftvertechnológia

Té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észletesebben

Mi legyen az informatika tantárgyban?

Mi 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észletesebben

REOIL. növeli a transzformátorok élettartamát. www.ekofluid.sk/hu/

REOIL. 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