Resultats de la cerca
Es mostren 250 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 validesa per tant,…
subadditivitat
Matemàtiques
Propietat d’una funció f tal, que, per a tot x, y del seu domini, essent x+y del domini, compleix f(x+y) ≤f(x) + f(y) o bé f(x+y) ≥f(x) + f(y).
Si es compleix la igualtat, hom parla aleshores d' additivitat
independència estocàstica
Matemàtiques
Relació entre dos esdeveniments A i B d’un espai de probabilitat en la qual es compleix que la possibilitat que es donin A i B alhora és igual al producte de les probabilitats que es donin A i B independentment, és a dir, P(A ∩B) = P(A) · P(B)
.
Quan això es compleix, els esdeveniments A i B són anomenats independents
presidiari | presidiària
nus
Electrònica i informàtica
Punt d’un circuit o d’una xarxa on conflueixen més de dos conductors o més de dues branques.
En tot nus es compleix sempre la primera de les lleis de Kirchhoff
joc
Jocs
Activitat física o mental que té com a principal fi la diversió o l’entreteniment de qui l’executa.
Ultra l’aspecte recreatiu, el joc infantil compleix la funció didàctica de connectar l’infant amb el món exterior
semiologia gràfica
Geografia
Ciència que estudia el conjunt de regles que permeten la utilització d’un sistema gràfic de signes per a transmetre una informació.
Aquest sistema gràfic de signes s’anomena llenguatge gràfic o cartogràfic i compleix les normes establertes de la percepció visual
fórmula de Stirling
Matemàtiques
Expressió matemàtica que permet de calcular, aproximadament, el factorial d’un nombre n, si és molt més gran que 1.
L’exactitud del resultat és tant més bona com més gran és n Hom l’escriu Val a dir que, per a qualsevol valor de n , es compleix
espai afí
Matemàtiques
Caràcter d’un conjunt A
respecte a un espai vectorial E
, amb el qual hom pot definir una aplicació E
× A → A.
Es compleix que per a tot parell v , a , on v pertany a E i a pertany a A , li correspon l’element v + a de A , i que verifica les propietats L’espai afí s’estudia dins el context de la geometria analítica
irretroactivitat
Dret
Principi jurídic segons el qual un fet no pot ésser punit per una llei posterior a la seva comissió.
Aquest principi, fonamentat en el principi jurídic de legalitat nullum crimen sine lege , té per excepció el cas del qui compleix condemna per una llei anterior a la comissió del delicte i pot beneficiar-se d’una llei posterior, sempre que aquesta sigui més benigna