Kihagyás

4. előadás

Programozási tételek

Exisztenciális kvantor szumma szerű leírása (pl, eldöntés utófeltétele)

\[ \underset{x=1}{\stackrel{n}{\exists}} T(x) \]

A sorozatban x a sorozat 1-től n. eleméig tartalmaz T tulajdonságú elemet.

  1. Összegzés (sorozatszámítás)
  2. Megszámlálás
  3. Maximum (és minimum) kiválasztás
  4. Keresés
  5. Eldöntés
  6. Kiválasztás

Összetett programozási tételek

Sorozat -> Sorozat

Másolás

Kiválogatás

Hasonló a kiválasztáshoz, de az ÖSSZES elemet visszaadja, ami megfelel a követelményeknek.

Szétválogatás

N darab „valami” közül kell megadni az összes, adott T tulajdonsággal rendelkezőt, illetve nem rendelkezőt! Azaz az összes bemeneti elemet „besoroljuk” a kimenet valamely sorozatába.

Dinamikus tömb

Mérete futás közben növelhető.