Algoritem: Razlika med redakcijama

Izbrisana vsebina Dodana vsebina
m -- v delu
Vrstica 16:
== Neformalna definicija ==
Neformalna definicija bi lahko bila "sklop pravil, ki natančno opredeljuje zaporedje operacij",<ref>Stone 1973:4</ref>  ki bi vključeval vse računalniške programe (vključno s programi, ki ne izvajajo numeričnih izračunov) in (na primer) kateri koli predpisani [[Birokracija|birokratski]] postopek<ref>
{{Navedi knjigo|last=Simanowski|first=Roberto|authorlink=Roberto Simanowski|title=The Death Algorithm and Other Digital Dilemmas|url=https://books.google.com/books?id=RJV5DwAAQBAJ|series=Untimely Meditations|volume=14|location=Cambridge, Massachusetts|publisher=MIT Press|date=2018|page=147|isbn=9780262536370|accessdate=27 May 2019|quote=[...] the next level of abstraction of central bureaucracy: globally operating algorithms. |archiveurl=https://web.archive.org/web/20191222120705/https://books.google.com/books?id=RJV5DwAAQBAJ|archivedate=December 22, 2019}}</ref> ali kuharski [[Kuharski recept|recept]].<ref>{{Navedi knjigo|last=Dietrich|series=MIT Cognet library|accessdate=22 July 2020|isbn=9780262731447|page=11|publication-date=2001|publisher=MIT Press|location=Cambridge, Massachusetts|url=https://books.google.com/books?id=-wt1aZrGXLYC|first=Eric|title=The MIT Encyclopedia of the Cognitive Sciences|editor-link=|editor-first=Robert Andrew|editor-last=Wilson|chapter=Algorithm|year=1999|quote=An algorithm is a recipe, method, or technique for doing something.}}</ref>
</ref> ali kuharski [[Kuharski recept|recept]].<ref>
{{Navedi knjigo|last=Dietrich|series=MIT Cognet library|accessdate=22 July 2020|isbn=9780262731447|page=11|publication-date=2001|publisher=MIT Press|location=Cambridge, Massachusetts|url=https://books.google.com/books?id=-wt1aZrGXLYC|first=Eric|title=The MIT Encyclopedia of the Cognitive Sciences|editor-link=|editor-first=Robert Andrew|editor-last=Wilson|chapter=Algorithm|year=1999|quote=An algorithm is a recipe, method, or technique for doing something.}}
</ref>
 
Na splošno je program lahko algoritem le v primeru, če se sčasoma ustavi<ref>Stone simply requires that "it must terminate in a finite number of steps" (Stone 1973:7–8).</ref> - čeprav so včasih [[Neskončna zanka|neskončne zanke]] tudi zaželene.
Vrstica 25 ⟶ 22:
Prototipni primer algoritma je [[Evklidov algoritem]], ki se uporablja za določitev največjega skupnega delitelja dveh celih števil; primer (obstajajo tudi drugi) je opisan v zgornjem [[Diagram poteka|diagramu poteka]] in tudi v kasnejšem poglavju.
 
Spodnji citat iz {{Harvard citation text|Boolos|Jeffrey|1974, 1999|ref=CITEREFBoolosJeffrey1999}} ponuja neformalni pomen besede "algoritem":<blockquote>Nobeno človeško bitje ne more pisati dovolj hitro, dovolj dolgo ali majhno† (†"majhno in še manjše brez omejitve ... poskušali bi pisati na molekule, na atome, na elektrone"), da bi zapisalo enega za drugim imena vseh članov preštevne neskončne množice. Toda ljudje lahko naredimo v primeru nekaterih preštevnih neskončnih množic nekaj enako uporabnega: lahko damo ''izrecna navodila za določanje '''n-'''tega člana množice'' za poljubni končni ''n''. Takšna navodila moramo podati nazorno v obliki, ki ''ji lahko sledi računalniški stroj'' ali ''človek, ki je sposoben izvajati le nekaj osnovnih operacij s simboli.''<ref>Boolos and Jeffrey 1974,1999:19</ref></blockquote>
Spodnji citat iz
 
{{Harvard citation text|Boolos|Jeffrey|1974, 1999|ref=CITEREFBoolosJeffrey1999}} ponuja neformalni pomen besede "algoritem":<blockquote>Nobeno človeško bitje ne more pisati dovolj hitro, dovolj dolgo ali majhno† (†"majhno in še manjše brez omejitve ... poskušali bi pisati na molekule, na atome, na elektrone"), da bi zapisalo enega za drugim imena vseh članov preštevne neskončne množice. Toda ljudje lahko naredimo v primeru nekaterih preštevnih neskončnih množic nekaj enako uporabnega: lahko damo ''izrecna navodila za določanje '''n-'''tega člana množice'' za poljubni končni ''n''. Takšna navodila moramo podati nazorno v obliki, ki ''ji lahko sledi računalniški stroj'' ali ''človek, ki je sposoben izvajati le nekaj osnovnih operacij s simboli.''<ref>Boolos and Jeffrey 1974,1999:19</ref></blockquote>
 
 
== Formalizacija ==