Resultats de la cerca
Es mostren 3 resultats
correctesa
Electrònica i informàtica
Absència d’errors o de defectes, especialment dels que poden tenir conseqüències negatives en l’execució de programes o de procediments.
Normalment es distingeix entre correctesa parcial , que és l’acord entre el procediment especificat i allò executat, i la correctesa total , que afegeix a l’anterior una prova o garantia d’acabament de l’execució en un temps finit
metallenguatge
Lògica
Electrònica i informàtica
Lingüística i sociolingüística
Llenguatge emprat per a descriure un altre llenguatge.
L’instrumental lingüístic que utilitza el metallenguatge procedeix d’un llenguatge natural determinat i serveix per a descriure aquest mateix llenguatge o un altre de qualsevol El lingüista que escriu la gramàtica d’una llengua, el lexicògraf que redacta un diccionari, l’informàtic que descriu un llenguatge de programació, o el lògic que estudia la validesa o correctesa formal d’un enunciat, tots ho fan en metallenguatge El metallenguatge es manifesta també en el llenguatge colloquial frases tals com “Què vol dir llibertat en basc", “Per a vosaltres "'mestre’ i “mestra' sonen…
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ó…