Iteráció, rekurzió, indukció. Iteráció iterációs módszer –egy adott műveletsort egymás után, többször végrehajtani megvalósítás –ciklusokkal pl. –hatványozás.

Slides:



Advertisements
Hasonló előadás
A digitális számítás elmélete
Advertisements

Készítette: Kosztyán Zsolt Tibor
Determinisztikus programok. Szintaxis: X : Pvalt program változók E : Kifkifejezések B : Lkiflogikai kifejezések C : Utsutasítások.
HIKGHB Németh Gábor LUF9NV Simon Attila. A programozás alapjai előadás Híradástechnikai Tanszék.
Rekurzió (Horváth Gyula és Szlávi Péter előadásai felhasználásával)
INFOÉRA Dinamikus programozás (Horváth Gyula és Szlávi Péter előadásai felhasználásával) Juhász István-Zsakó László: Informatikai képzések.
Euklidészi gyűrűk Definíció.
4. VÉGES HALMAZOK 4.1 Alaptulajdonságok
Programozási nyelvek.
Bernoulli Egyenlőtlenség
MI 2003/5 - 1 Tudásábrázolás (tudásreprezentáció) (know- ledge representation). Mondat. Reprezentá- ciós nyelv. Tudás fogalma (filozófia, pszichológia,
C A C nyelv utasításai.
Bizonyítási stratégiák
Programozás I. Horváth Ernő.
OPERÁCIÓKUTATÁS Kalmár János, 2012 Tartalom A nulla-egy LP megoldása Hátizsák feladat.
AVL fák.
Determinisztikus véges automaták csukva nyitva m s kbsm csukva nyitva csukva nyitva csukvanyitva 1. Példa: Fotocellás ajtó s b m m= mindkét helyen k= kint.
Reprezentációs függvény. Adva egy adattípus absztrakt és konkrét specifikációja: d a = ( A, F, E a ); d c = ( C, G, E c ); A = {A 0,..., A n };C = {C 0,...,
1. előadás. 1.) Szoftverfejlesztés, mint mérnöki tevékenység. Számítási eszközfejlődés. Számítási eszközfejlődés: hazai viszonyok. Mérföldkő: Simula 67.Klasszikus.
1. előadás. 1.) Szoftverfejlesztés, mint mérnöki tevékenység. Számítási eszközfejlődés. Számítási eszközfejlődés: hazai viszonyok. Mérföldkő: Simula 67.Klasszikus.
A számfogalom bővítése
Programozás I. Ciklusok
A digitális számítás elmélete
Ismétlő struktúrák.
Ciklusok: 3. Hátultesztelő ciklus
Ciklusok: 2. Előltesztelő ciklus
Lénárt Szabolcs Páll Boglárka
A rekurzió Páll Éve Boglárka.
Önálló labor munka Csillag Kristóf 2005/2006. őszi félév Téma: „Argument Mapping (és hasonló) technológiákon alapuló döntéstámogató rendszerek vizsgálata”
Ciklusok (iterációk).
A Birodalmi lépegetőtől… Egy játék matematikája. Egyszer volt… Ha megnőnek a gyerekek, akkor a matematikusnak marad a solitaire :( Van k darab doboz 1-től.
A KOMBINATORIKA TÁRGYA
1 Hernyák Zoltán Web: Magasszintű Programozási Nyelvek I. Eszterházy.
1 Hernyák Zoltán Web: Magasszintű Programozási Nyelvek I. Eszterházy.
Érvelés, bizonyítás, következmény, helyesség
Ekvivalenciák nyitott mondatok között Két nyitott mondatot ekvivalensnek mondunk, hha tetszőleges világban ugyanazok az objektumok teszik őket igazzá.
Levezetési szabályok kvantorokra  -bevezetés (egzisztenciális általánosítás, EG)  -kiküszöbölés (univerzális megjelenítés, UI)  -kiküszöbölés (EI):
A kondicionális törvényei
Gráf szélességi bejárása SzB(G,p). Tetszőleges gráf, melyben a p csúcsot választottam kiindulónak: A gráfnak megfelelő fa:
Nevezetes algoritmusok
Programozási tételek.
Logikai programozás 2..
Koncepció: Specifikáció: e par exp i = eb imp bod ib Specifikáció elemzése: tulajdonságok felírása a koncepció alapján + tulajdonságok bizonyítása.
Számítógéppel támogatott problémamegoldás
Programozási tételek.
Logikai programozás 3.. ISMÉTLÉS Elágazás-szervezés: a/ B :- A 11, A 12, …, A 1n. B :- A 21, A 22, …, A 2k. … B :- A m1, A m2, …, A mr. b/ B :- (A 11,
Algoritmizálás, adatmodellezés tanítása 8. előadás.
Ekvivalenciák nyitott mondatok között Két nyitott mondatot ekvivalensnek mondunk, hha tetszőleges világban ugyanazok az objektumok teszik őket igazzá.
Nemrekurzív programozás ÜA LISP tartalmaz nemrekurzív eszközöket is, mivel azonban funkcionális nyelv, ezeket is függvényként használhatjuk. ÜSokszor a.
INFOÉRA 2006 Nagypontosságú aritmetika II.
C++2. Ciklusok elöltesztelő (for, while) A ciklusmag feldolgozása előtt történik a vizsgálat  lehet, hogy egyszer sem fut le. A soronkövetkező iteráció.
Adatszerkezetek és algoritmusok 2008/ Algoritmus Az algoritmus szó eredete a középkori arab matematikáig nyúlik vissza, egy a i.sz. IX. században.
1 Megerősítéses tanulás 4. előadás Szita István, Lőrincz András.
Strukturált programozás.  A strukturált programozás jelenti valamennyi ma használatos programtervezési módszer alapját  Széles körben elfogadott az.
Hatékony-e a rekurzió? FÉLEGYHÁZI TAMÁS GÁBOR 1 Kovács Magda-díj pályázat 2015/16.
Valószínűségszámítás és statisztika előadások
Mediánok és rendezett minták
II. konzultáció Analízis Sorozatok Egyváltozós valós függvények I.
Beépített függvények használata programozáskor
Bevezetés a programozásba Algoritmikus gondolkodás
Lineáris keresés Keresés (N,A,sorszam) i := 1
ITERÁCIÓ.
Algoritmusok szerkezete
Elméleti probléma: vajon minden következtetés helyességét el tudjuk dönteni analitikus fával (véges sok lépésben)? Ha megengedünk végtelen sok premisszás.
Rekurzió (Horváth Gyula és Szlávi Péter előadásai felhasználásával)
ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)
Hatványozás azonosságai
Készítette: Sinkovics Ferenc
Algoritmus készítés.
Készítette: Sinkovics Ferenc
Előadás másolata:

Iteráció, rekurzió, indukció

Iteráció iterációs módszer –egy adott műveletsort egymás után, többször végrehajtani megvalósítás –ciklusokkal pl. –hatványozás –faktoriális

Rekurzió rekurzív programozás –egy eljárás önmagát hívja –egyszerűbb, áttekinthetőbb mint az iteráció pl. –hatványozás –faktoriális

Indukció Indukciós bizonyítás –S(n) egy tetszőleges állítás 1.Megnézzük, hogy az alapesetre igaz-e az állítás alapeset S(0) S(k), 0 < k ≤ n 2.Indukciós hipotézis feltesszük, hogy S(0), S(1), … S(n) igaz 3.Indukciós lépés S(0), S(1), … S(n)-ből következik S(n+1) 4.Következtetés S(n) igaz minden n-re (illetve n ≥ k-ra)