Mit tanuljak Algoritmusok Tervezése és Elemzése tárgyra?

Ezen feladatok megoldását javaslom megtanulni:

Első:

wp(y := 0; while z 6= 0 do y := y + z; z := z − 1 od, x = y)

= wp(y := 0,wp(while z 6= 0 do y := y + z; z :=

z − 1 od, x = y))

wp(while z 6= 0 do y := y + z; z := z − 1 od, ; x = y) =

∃i ≥ 0.Pi

, ahol

P0 = z = 0 ∧ x = y

P1 = wp(y := y + z; z := z − 1, z = 0 ∧ x = y) =

wp(y := y + z, wp(z := z − 1, z = 0 ∧ x = y)) = wp(y :=

y + z, z − 1 = 0 ∧ x = y)) = z − 1 = 0 ∧ x = y + z =

z = 1 ∧ x = y + 1

Második:

P2 = wp(y := y + z, wp(z := z − 1, z = 1 ∧ x = y + 1)) =

wp(y := y + z, z − 1 = 1 ∧ x = y + 1)) = z − 1 = 1 ∧ x =

y + 1 + z = z = 2 ∧ x = y + 3

P3 = z = 3 ∧ x = y + 6

Pi = z = i ∧ x = y + z(z + 1)/2, ha i ≥ 0.

∃i ≥ 0.Pi = ∃i ≥ 0.(z = i ∧ x = y + z(z + 1)/2) = (∃i ≥

0.z = i) ∧ x = y + z(z + 1)/2 = z ≥ 0 ∧ x = y + z(z + 1)/2

wp(y := 0, z ≥ 0 ∧ x = y + z(z + 1)/2) = z ≥ 0 ∧ x =

z(z + 1)/2

Egy kis elmélet hozzá:

Az adatszerkezetek jellemzői,

műveletei és alkalmazási

lehetőségei.

Infixes kifejezés konvertálása

postfixessé,

Postfixes kifejezés kiértékelése,

Programverem,

Strukturáltság vizsgálata,

stb.

Rekurzív definícióból rekurzív algoritmus

n!

Fibonacci-számok

klasszikus problémák rekurzív algoritmusai és azok szemléltetése.

Dinamikus adatszerkezet

A fa, mint adatszerkezet

speciális fák,

az adatszerkezet műveletei

(inicializáció, bővítés, törlés,

keresés),

algoritmusai.

Sok sikert!