Licenca
To delo je na voljo pod pogoji slovenske licence Creative Commons 2.5:
priznanje avtorstva - nekomercialno - deljenje pod enakimi pogoji.
Celotna licenca je na voljo na spletu na naslovu http://creativecommons.org/licenses/by-nc-sa/2.5/si/. V skladu s to licenco je dovoljeno vsakemu uporabniku delo razmnoževati, distribuirati, javno priobčevati, dajati v najem in tudi predelovati, vendar samo v nekomercialne namene in ob pogoju, da navede avtorja oziroma avtorje in izdajatelja tega dela. Če uporabnik delo predela, kar pomeni, da ga spremeni, preoblikuje, prevede ali uporabi to delo v svojem delu, lahko predelavo dela ponudi na voljo le pod pogoji, ki so enaki pogojem iz te licence oziroma pod enako licenco.
Program
Iz izkušenj že vemo, da je program postopek za reševanje problema, zapisan v nekem programskem jeziku. Tako kot problem ima tudi program svoj vhod in izhod: vhod sestavljajo vsi podatki, ki jih program pridobi iz zunanjega sveta (npr. z uporabnikovim vnosom), izhod pa tvorijo podatki, ki jih program zunanjemu svetu sporoči kot svoj rezultat (npr. tako, da jih izpiše na zaslon).
Kdaj lahko rečemo, da program rešuje določen problem? Takrat, ko se program za vsak veljaven vhod problema ustavi in ustvari pričakovani izhod. Pogoj, da se mora program prej ali slej ustaviti (končati svoje izvajanje), se morda zdi samoumeven, vendar bomo pozneje videli, da ni čisto tako. Napišimo program za problem MIN3. Možnosti je kar precej, ena od njih pa je ta:
Naš program prejme vhod tako, da ga uporabnik vnese s pomočjo tipkovnice, dobljeni izhod pa izpiše na zaslon. Seveda pa to ni edina možnost: lahko bi denimo brali iz datoteke in vanjo tudi pisali.
Ali naš program dejansko rešuje obravnavani problem? Ali se za vsako trojico celih števil ustavi in izpiše pravilen (torej pričakovani) rezultat? Ustavljivost ni vprašljiva: ker program vsebuje samo branje, izpis in pogojne stavke, se bo tako ali drugače vedno ustavil. Kako pa bi preverili pravilnost? Lahko bi na primer tvorili tisoč različnih trojic celih števil in za vsako preverili izhod. Vendar pa to ne bi zadoščalo, saj bi morali pravilnost preveriti za vsako možno trojico, teh pa je seveda neskončno. Kako lahko kljub temu pokažemo pravilnost programa, bomo videli nekoliko pozneje.
Vaja
Napiši program, ki rešuje problem množenja dveh pozitivnih celih števil. Da bo naloga zanimivejša, za hip pozabi na pythonov operator *.
Vaja
Napiši program, ki rešuje problem računanja ostanka pri deljenju celih števil a in b, pri čemer je a ≥ 0 in b > 0. Da bo naloga zanimivejša, za hip pozabi na pythonove operatorje *, / in %.