Resultats de la cerca
Es mostren 2 resultats
asserció
Electrònica i informàtica
Proposició que assegura que en un determinat punt d’un programa es compleix certa condició.
Els casos més habituals d’assercions són les precondicions propietats que cal que compleixin les dades per a poder executar un fragment de codi determinat, les postcondicions propietats que compleixen les dades un cop s’ha executat un segment de codi determinat, els invariants de les iteracions propietats que compleixen les dades en pas de la iteració i els invariants de la representació propietats que compleix la representació de les dades, independentment del valor exacte que contingui Les assercions permeten entendre el comportament d’un programa, i raonar sobre la seva…
iteració
Electrònica i informàtica
Execució d’una sèrie d’instruccions d’un programa per a un valor del paràmetre, que serà repetida successivament fins que aquest valor no hagi arribat a un valor que permeti entrar en un procés lògic i sortir, així, d’aquesta sèrie de repeticions.
El conegut garbell d’Eratòstenes per a determinar quins nombres d’un conjunt són primers és una iteració en cada pas se suprimeixen els nombres divisibles per un nombre determinat i els passos es van repetint, canviant el valor del divisor, fins que ja no es puguin suprimir més elements del conjunt La iteració és una de les estructures principals dins el paradigma de la programació imperativa El conjunt de passos que es van repetint s’anomena cos de la iteració, i la condició d’aturada de la repetició, condició de la iteració les condicions que compleixen les dades després de cada execució…