										Programozási tételek

Egyszerű programozási tételek:


Összegzés tétele: Ebben az esetben a bemenő sorozat elemeinek összegét akarjuk meghatározni.

Megszámlálás tétele: A megszámlálás során egy sorozat bizonyos feltételeinek megfelelő elemeinek számát határozzuk meg. Gyakorlatilag végigmegyünk a sorozat elemein, és közben, ha az aktuális elem megfelel a feltételnek, akkor a számlálónkat továbbléptetjük.

Eldöntés tétele: Az eldöntés tétele azt adja meg, hogy a sorozat tartalmaz-e adott tulajdonságnak megfelelő elemet. A megoldás során addig vizsgáljuk a sorozat elemeit, amíg nem találunk adott tulajdonságnak megfelelő elemet, vagy amíg a sorozat végére érünk. Ez a tétel eredményként egy logikai változót ad meg, mely igaz, ha a sorozatnak volt adott tulajdonságú eleme, és hamis, ha nem volt.