Programozási alapismeretek 5. előadás. ELTE 2/482014. 07. 14.2014. 07. 14.2014. 07. 14.  Programozási tételek – a lényeglényeg  Sorozatszámítás Sorozatszámítás.

Az előadások a következő témára: "Programozási alapismeretek 5. előadás. ELTE 2/482014. 07. 14.2014. 07. 14.2014. 07. 14.  Programozási tételek – a lényeglényeg  Sorozatszámítás Sorozatszámítás."— Előadás másolata:

1 Programozási alapismeretek 5. előadás

2 ELTE 2/482014. 07. 14.2014. 07. 14.2014. 07. 14.  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.

3 ELTE 3/482014. 07. 14.2014. 07. 14.2014. 07. 14. 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.

4 ELTE 4/482014. 07. 14.2014. 07. 14.2014. 07. 14. 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.

5 ELTE 5/482014. 07. 14.2014. 07. 14.2014. 07. 14. 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.

6 ELTE 6/482014. 07. 14.2014. 07. 14.2014. 07. 14. 1. 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.

7 ELTE 7/482014. 07. 14.2014. 07. 14.2014. 07. 14. 1. 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.

8 ELTE 8/482014. 07. 14.2014. 07. 14.2014. 07. 14. 1. 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.

9 ELTE 9/482014. 07. 14.2014. 07. 14.2014. 07. 14. 1. 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.

10 ELTE 10/482014. 07. 14.2014. 07. 14.2014. 07. 14. 1. 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.

11 ELTE 11/482014. 07. 14.2014. 07. 14.2014. 07. 14. 1. 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.

12 ELTE 12/482014. 07. 14.2014. 07. 14.2014. 07. 14. 1. 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.

13 ELTE 13/482014. 07. 14.2014. 07. 14.2014. 07. 14. 2. 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.

14 ELTE 14/482014. 07. 14.2014. 07. 14.2014. 07. 14. 2. 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.

15 ELTE 15/482014. 07. 14.2014. 07. 14.2014. 07. 14. 2. 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.

16 ELTE 16/482014. 07. 14.2014. 07. 14.2014. 07. 14. 2. 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.

17 ELTE 17/482014. 07. 14.2014. 07. 14.2014. 07. 14. 2. 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.

18 ELTE 18/482014. 07. 14.2014. 07. 14.2014. 07. 14. 2. 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.

19 ELTE 19/482014. 07. 14.2014. 07. 14.2014. 07. 14. 3. 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.

20 ELTE 20/482014. 07. 14.2014. 07. 14.2014. 07. 14. 3. 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.

21 ELTE 21/482014. 07. 14.2014. 07. 14.2014. 07. 14. 3. 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.

22 ELTE 22/482014. 07. 14.2014. 07. 14.2014. 07. 14. 3. 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.

23 ELTE 23/482014. 07. 14.2014. 07. 14.2014. 07. 14. 3. 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.

24 ELTE 24/482014. 07. 14.2014. 07. 14.2014. 07. 14. 3. 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.

25 ELTE 25/482014. 07. 14.2014. 07. 14.2014. 07. 14. 4. 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.

26 ELTE 26/482014. 07. 14.2014. 07. 14.2014. 07. 14. 4. 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.

27 ELTE 27/482014. 07. 14.2014. 07. 14.2014. 07. 14. 4. 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.

28 ELTE 28/482014. 07. 14.2014. 07. 14.2014. 07. 14. 4. 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.

29 ELTE 29/482014. 07. 14.2014. 07. 14.2014. 07. 14. 4. 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.

30 ELTE 30/482014. 07. 14.2014. 07. 14.2014. 07. 14. 4. 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.

31 ELTE 31/482014. 07. 14.2014. 07. 14.2014. 07. 14. 4. 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.

32 ELTE 32/482014. 07. 14.2014. 07. 14.2014. 07. 14. 5. 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.

33 ELTE 33/482014. 07. 14.2014. 07. 14.2014. 07. 14. 5. 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.

34 ELTE 34/482014. 07. 14.2014. 07. 14.2014. 07. 14. 5. 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.

35 ELTE 35/482014. 07. 14.2014. 07. 14.2014. 07. 14. 5. 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.

36 ELTE 36/482014. 07. 14.2014. 07. 14.2014. 07. 14. 5. 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.

37 ELTE 37/482014. 07. 14.2014. 07. 14.2014. 07. 14. 5. 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.

38 ELTE 38/482014. 07. 14.2014. 07. 14.2014. 07. 14. 6. 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.

39 ELTE 39/482014. 07. 14.2014. 07. 14.2014. 07. 14. 6. 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.

40 ELTE 40/482014. 07. 14.2014. 07. 14.2014. 07. 14. 6. 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.

41 ELTE 41/482014. 07. 14.2014. 07. 14.2014. 07. 14. 6. 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.

42 ELTE 42/482014. 07. 14.2014. 07. 14.2014. 07. 14. 6. 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.

43 ELTE 43/482014. 07. 14.2014. 07. 14.2014. 07. 14. 6. 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.

44 ELTE 44/482014. 07. 14.2014. 07. 14.2014. 07. 14. 6. 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.

45 ELTE 45/482014. 07. 14.2014. 07. 14.2014. 07. 14. 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.

46 ELTE 46/48 2014. 07. 14.2014. 07. 14.2014. 07. 14. 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  … 2014. 07. 14.2014. 07. 14.2014. 07. 14.46/48Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

47 ELTE 47/48 2014. 07. 14.2014. 07. 14.2014. 07. 14. 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  … 2014. 07. 14.2014. 07. 14.2014. 07. 14.47/48 Horváth - Papné - Szlávi - Zsakó: Programozási alapismeretek 5.

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