Programozási alapismeretek 5. előadás

ELTE 2/  Programozási tételek – a lényeglényeg  Sorozatszámítás Sorozatszámítás  Eldöntés Eldöntés  Kiválasztás Kiválasztás  Keresés Keresés  Megszámolás Megszámolás  Maximumkiválasztás Maximumkiválasztás  Programozás tételek – visszatekintésvisszatekintés  Programozási tételek felhasználásafelhasználása Tartalom Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 3/ Programozási tételek (PrT) lényege Célja: Bizonyíthatóan helyes sablon, amelyre magasabb szinten lehet építeni a megol- dást. (A fejlesztés gyorsabb és biztonsá- gosabb.) Szerkezete: 1. absztrakt feladat specifikáció [+program- specifikáció] 2. absztrakt algoritmus Egy fontos előzetes megjegyzés: A bemenet legalább egy sorozat… Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 4/ Programozási tételek (PrT) lényege Felhasználásának menete: 1. a konkrét feladat specifikálása 2. a specifikációban a PrT-ek megsejtése 3. a konkrét feladat és az absztrakt feladat paramétereinek egymáshoz rendelése 4. a konkrét algoritmus „generálása” a megsejtett PrT-ek absztrakt algoritmu- sok alapján, 3. szerint átparaméterezve 5. hatékonyítás programtranszformációk- kal Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 5/ Programozási tételek Mi az, hogy programozási tétel? Típusfeladat általános megoldása.  Sorozat  érték  Sorozat  sorozat  Sorozat  sorozatok  Sorozatok  sorozat Sorozat  érték Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 6/ Sorozatszámítás Feladatok: 1. Ismerjük egy ember havi bevételeit és kiadá- sait. Adjuk meg, hogy év végére mennyivel nőtt a vagyona! 2. Ismerjük egy autóversenyző körönkénti ide- jét. Adjuk meg az átlagkörének idejét! 3. Adjuk meg az N számhoz az N faktoriális ér- tékét! 4. Ismerjük egy iskola szakköreire járó tanulóit, szakkörönként. Adjuk meg, kik járnak szak- körre! 5. Ismerünk N szót. Adjuk meg a belőlük össze - állított mondatot! Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 7/ Sorozatszámítás Mi bennük a közös? N „valamiből” kell kiszámolni „kumuláltan” egy „valamit”! Pl.  – bevétel/köridő;  – faktoriális;  – szakkörös; & – szó Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 8/ Sorozatszámítás Specifikáció:  Bemenet: N:Egész, X:Tömb[1..N:Valami]  Kimenet: S:Valami  Előfeltétel: N  0  Utófeltétel: S=F(X[1..N]) F:  – N tagú összeg;  – N tényezős szorzat;  – N halmaz uniója; & – N szöveg konkatenációja … Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 9/ Sorozatszámítás  Probléma: F: N paraméteres művelet, ahol az N válto- zó.  Megoldás: Visszavezetjük 2-paraméteres műveletre (pl.  helyett +) és egy null-elemre (+ esetén a 0). F(X[1..N])= f(F(X[1..N–1]),X[N]), ha N>0 F(–)=F 0 … és a többi esetén mi az f/F 0 ?  – ?/?  – ?/? & – ?/? Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 10/ Sorozatszámítás Specifikáció (a végleges) :  Bemenet: N:Egész, X:Tömb[1..N:Valami]  Kimenet: S:Valami  Előfeltétel: N  0  Utófeltétel: S=F(X[1..N])  Definíció: Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 11/ Sorozatszámítás Algoritmus:  esetén: S:=F 0 i=1..N S:=f(S,X[i]) S:=0 i=1..N S:=S+X[i] Szum(X[1..N]):= Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 12/ Sorozatszámítás Specifikáció:  Bemenet: N:Egész, Be,Ki:Tömb[1..N:Egész]  Kimenet: S:Egész  Előfeltétel: N  0 és  i (1  i  N): Be[i],Ki[i]  0  Utófeltétel: S= Be[i]–Ki[i] Algoritmus: S:=0 i=1..N S:=S+Be[i] – Ki[i] Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 13/ Eldöntés Feladatok: 1. Egy természetes számról döntsük el, hogy prímszám-e! 2. Egy szóról mondjuk meg, hogy egy hónap- nak a neve-e! 3. Egy tanuló év végi osztályzatai alapján álla- pítsuk meg, hogy bukott-e! 4. Egy szóról adjuk meg, hogy van-e benne ma- gánhangzó! 5. Egy számsorozatról döntsük el, hogy mono- ton növekvő-e! 6. Egy tanuló év végi jegyei alapján adjuk meg, hogy kitűnő-e! Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 14/ Eldöntés Mi bennük a közös? Döntsük el, hogy N „valami” között van-e adott tulajdonsággal rendelkező elem! Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 15/ Eldöntés Specifikáció:  Bemenet: N:Egész, X:Tömb[1..N:Valami]  Kimenet: Van:Logikai  Előfeltétel: N  0  Utófeltétel: Van=  i(1  i  N): T(X[i]) Megjegyzés: A T tulajdonság egy logikai függvényként adható meg. Minden elemről megvizsgálható, hogy ren- delkezik-e az adott tulajdonsággal. Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 16/ Eldöntés Algoritmus 1 : Algoritmus 2 : i:=1 i  N és nem T(X[i]) i:=i+1 Van:=i  N i:=0 Van:=Hamis i<N és nem Van i:=i+1 Van:=T(X[i]) Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 17/ Eldöntés Feladatvariáns: … az összes elem olyan-e … Specifikáció (csak a különbség) :  Kimenet: Mind:Logikai  Utófeltétel : Mind=  i(1  i  N): T(X[i]) Algoritmus: i:=1 i  N és nem T(X[i]) i:=i+1 Mind:=i>N Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 18/ Eldöntés Specifikáció:  Bemenet: N:Egész, Jegy:Tömb[1..N:Egész]  Kimenet: Bukott:Logikai  Előfeltétel: N  0 és  i (1  i  N): Jegy[i]  [1..5]  Utófeltétel: Bukott=  i (1  i  N): Jegy[i]=1 Algoritmus: i:=1 i  N és Jegy[i]  1 i:=i+1 Bukott:=i  N Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 19/ Kiválasztás Feladatok: 1. Ismerjük egy ember havi bevételeit és kiadá- sait. Év végére nőtt a vagyona. Adjunk meg egy hónapot, amikor nőtt a vagyona! 2. Adjuk meg egy természetes szám egytől kü- lönböző legkisebb osztóját! 3. Adjuk meg egy magyar szó egy magánhang- zóját! 4. Adjuk meg egy hónapnévről a sorszámát! Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 20/ Kiválasztás Mi bennük a közös? N „valami” közül kell megadni egy adott tulajdonságút, ha tudjuk, hogy ilyen elem biztosan van. Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 21/ Kiválasztás Specifikáció:  Bemenet: N:Egész, X:Tömb[1..N:Valami]  Kimenet: Ind:Egész  Előfeltétel: N>0 és  i (1  i  N): T(X[i])  Utófeltétel: 1  Ind  N és T(X[Ind]) Megjegyzés: A T tulajdonság egy logikai függvényként adható meg, minden elemről megtudható, hogy rendelke- zik-e az adott tulajdonsággal. Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 22/ Kiválasztás Algoritmus: Megjegyzés: Többlet tudás: a megoldás az első adott tulajdonságú elemet adja meg – a program tudhat többet annál, mint amit várunk tőle. Hogy kellene az utolsót megadni? i:=1 nem T(X[i]) i:=i+1 Ind:=i Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 23/ Kiválasztás Specifikáció:  Bemenet: Szó:Szöveg  Kimenet: MH:Egész  Előfeltétel: hossz(Szó)>0 és  i (1  i  hossz(Szó)): magánhangzóE(Szó[i])  Utófeltétel: 1  MH  hossz(Szó) és magánhangzóE(Szó[MH])  Definíció: magánhangzóE: Karakter  Logikai magánhangzóE(c):= nagybetű(c)  {'A',…,'Ű'} Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 24/ Kiválasztás Algoritmus: Megjegyzés: a kódoláskor a nagybetűsítő toupper függvénynél ügyelni kell az ékezetes betűkre! (L. 4. előadásban.)4. előadás i:=1 nem magánhangzóE(Szó[i]) i:=i+1 MH:=i Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 25/ Keresés Feladatok: 1. Ismerjük egy ember havi bevételeit és kiadá- sait. Év végére nőtt a vagyona. Adjunk meg egy hónapot, amikor nem nőtt a vagyona! 2. Adjuk meg egy természetes szám egy 1-től és önmagától különböző osztóját! 3. Adjuk meg egy ember nevében egy „ a ” be - tű helyét! 4. Adjunk meg egy tanulóra egy tárgyat, ami- ből megbukott! 5. Adjuk meg egy számsorozat olyan elemét, amely nagyobb az előzőnél! Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 26/ Keresés Mi bennük a közös? N darab „valami” közül kell megadni egy adott tulajdonságút, ha nem tudjuk, hogy ilyen elem van-e. Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 27/ Keresés Specifikáció:  Bemenet: N:Egész, X:Tömb[1..N:Valami]  Kimenet: Van:Logikai, Ind:Egész  Előfeltétel: N  0  Utófeltétel: Van=  i (1  i  N): T(X[i]) és Van  1  Ind  N és T(X[Ind]) Tehát a feladat „egyik fele” az eldöntésből, a „másik fele” a kiválasztásból jön. Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 28/ Keresés Algoritmus 1 : Megjegyzés: Többlet tudás: a megoldás az első adott tulajdonsá- gú elemet adja meg. i:=1 i  N és nem T(X[i]) i:=i+1 Van:=i  N Van Ind:=i  I N Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 29/ Keresés Algoritmus 2 : Megjegyzés: Többlet tudás: a megoldás az első adott tulajdonsá- gú elemet adja meg. i:=0 Van:=Hamis i<N és nem Van i:=i+1 Van:=T(X[i]) Van Ind:=i  I N Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 30/ Keresés Specifikáció:  Bemenet: N:Egész, Jegy:Tömb[1..N:Egész]  Kimenet: Bukott:Logikai, T:Egész  Előfeltétel: N  0 és  i (1  i  N): Jegy[i]  [1..5]  Utófeltétel: Bukott=  i (1  i  N): Jegy[i]=1 és Bukott  1  T  N és Jegy[T]=1 Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 31/ Keresés Algoritmus: i:=1 i  N és Jegy[i]  1 i:=i+1 Bukott:=i  N Bukott T:=i  I N Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 32/ Megszámolás Feladatok: 1. Ismerjük egy ember havi bevételeit és kiadá- sait. Adjunk meg, hogy hány hónapban nőtt a vagyona! 2. Adjuk meg egy természetes szám osztói szá- mát! 3. Adjuk meg egy ember nevében levő „a” be- tűk számát! 4. Adjunk meg az éves statisztika alapján, hogy hány napon fagyott! 5. Adjuk meg N születési hónap alapján, hogy közöttük hányan születtek télen! Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 33/ Megszámolás Mi bennük a közös? N darab „valamire” kell megadni, hogy hány adott tulajdonságú van közöttük. Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 34/ Megszámolás Specifikáció:  Bemenet: N:Egész, X:Tömb[1..N:Valami]  Kimenet: Db:Egész  Előfeltétel: N  0  Utófeltétel: Db= Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 35/ Megszámolás Algoritmus: Db:=0 i=1..N T(X[i]) Db:=Db+1  I N Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 36/ Megszámolás Specifikáció:  Bemenet: N:Egész, Hó:Tömb[1..N:Egész]  Kimenet: Db:Egész (télen születettek)  Előfeltétel: N  0 és  i (1  i  N): Hó[i]  [1..12]  Utófeltétel: Db= Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 37/ Megszámolás Algoritmus: Kérdés: Mi lenne, ha az előfeltétel (  i (1  i  N): Hó[i]  [1..12]) nem teljesülne? Db:=0 i=1..N Hó[i]<3 vagy Hó[i]=12 Db:=Db+1  I N Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 38/ Maximumkiválasztás Feladatok: 1. Ismerjük egy ember havi bevételeit és kiadá- sait. Adjunk meg, hogy melyik hónapban nőtt legjobban a vagyona! 2. Adjuk meg N ember közül az ábécében utol- sót! 3. Adjuk meg N ember közül azt, aki a legtöbb ételt szereti! 4. Adjunk meg az éves statisztika alapján a leg- melegebb napot! 5. Adjuk meg N születésnap alapján azt, akinek idén először van születésnapja! Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 39/ Maximumkiválasztás Mi bennük a közös? N darab „valami” közül kell megadni a legnagyobbat (vagy a legkisebbet). Fontos: Ha legalább 1 elemünk van, akkor legna- gyobb (legkisebb) is biztosan van közöttük! Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 40/ Maximumkiválasztás Specifikáció:  Bemenet: N:Egész, X:Tömb[1..N:Valami]  Kimenet: Max:Egész  Előfeltétel: N>0  Utófeltétel: 1  Max  N és  i (1  i  N): X[Max]  X[i] Megjegyzések:  Léteznie kell a  :Valami  Valami  Logikai rende- zési relációnak;  a sorszám általánosabb, mint az érték, ezért legtöbb- ször a sorszámot adjuk meg. Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 41/ Maximumkiválasztás Algoritmus: Megjegyzés: Többlet tudás: ha több maximális érték is van, akkor közülük az elsőt kapjuk meg. Kérdések: Hogyan lesz belőle utolsó maximális? Hogyan lesz belőle (első) minimális? Max:=1 i=2..N X[i]>X[Max] Max:=i  I N Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 42/ Maximumkiválasztás (maximális értékkel) MaxÉrt:=X[1] i=2..N X[i]>MaxÉrt MaxÉrt:=X[i]  Specifikáció:  Kimenet: MaxÉrt:Valami  Utófeltétel:  i (1  i  N): MaxÉrt=X[i] és  i (1  i  N): MaxÉrt  X[i] Algoritmus: I N Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 43/ Maximumkiválasztás Specifikáció:  Bemenet: N:Egész, Hó,Nap:Tömb[1..N:Egész], Kimenet: Első:Egész  Előfeltétel: N>0 és  i(1  i  N): (Hó[i]  [1..12] és Nap[i]  [1..31])  Utófeltétel: 1  Első  N és  i(1  i  N): (Hó[Első]<Hó[i] vagy Hó[Első]=Hó[i] és Nap[Első]  Nap[i]) Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 44/ Maximumkiválasztás Algoritmus: Első:=1 i=2..N Hó[i]<Hó[Első] vagy Hó[i]=Hó[Első] és Nap[i]<Nap[Első] Első:=i  I N Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 45/ Programozási tételek – visszatekintés 1. Sorozatszámítás (összegzés) Sorozatszámítás 2. Eldöntés Eldöntés 3. Kiválasztás Kiválasztás 4. Keresés Keresés 5. Megszámolás Megszámolás 6. Maximumkiválasztás Maximumkiválasztás +1. Madártávlatból újra… Madártávlatból Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 46/ PrTek felhasználása Árulkodó jelek (tételek madártávlatból) :  a PrT-felismeréshez – a specifikáció kimenete:  egy logikai érték  eldöntéseldöntés  egy sorozat, amelynek azonos a hossza a bementi sorozatéval  másolás… ... az utófeltételben szerepel:  egy sorozatművelet (Σ, Π …)  sorozatszámítás sorozatszámítás  … /48Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

ELTE 47/ Programozási tételek felhasználása Árulkodó jelek (tételek madártávlatból) :  PrT-kombináláshoz:  a kimenet egy logikai érték  eldöntés tétel egy másik tétel tulajdonságának megvalósítójaeldöntés  a kimenet egy sorozat  másolás, kiválogatás … előfeldolgozó bármely másik PrT számára  … /48 Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

Programozási alapismeretek 5. előadás vége