Resultats de la cerca

...ges de programació, sobretot en els [[Programació funcional|llenguatges de programació funcionals]]. Per exemple, la definició del tipus [[arbre binari]] amb info ...

En [[matemàtiques]], un '''espai funcional''' és un conjunt d'[[funció matemàtica|aplicacions]] d'una certa forma d'un * En [[anàlisi funcional]], també es poden trobar espais funcionals amb les aplicacions lineals cont ...

...esentar enunciats quantificats en [[lògica de primer ordre]]. Les eines de programació simbòlica és una altra aplicació dels grafs de termes, que són capaços de r ...na de transformació de grafs que proporciona codi [[C Sharp (llenguatge de programació)|C#]] o ensamblats .NET. ...

[[Categoria:Programació funcional]] ...

...descriu a continuació. El matemàtic [[Richard Bellman]] va inventar la '''programació dinàmica''' el [[1953]]. En resum, la programació dinàmica fa ús de: ...

...a consistència de [[Lògica proposicional|la lògica proposicional]] veritat-funcional ( [[Emil Post]] 1920) * Prova de la completesa semàntica de la lògica proposicional veritat-funcional ( [[Paul Bernays]] 1918), <ref name="reflections">Hao Wang, [https://books. ...

...n benefici de la regressió isotònica és que no està limitada per cap forma funcional, com ara la linealitat imposada per [[Regressió lineal|la regressió lineal] ...per calcular la regressió isotònica (monòtònica) per a [[R (llenguatge de programació)|R]], <ref name="cir">{{Ref-web|cognom=Oron|nom=Assaf|títol=Package 'cir'|u ...

...com a operacions principals la [[Recursivitat|recursió]] i la [[composició funcional|composició]] i formen un [[subconjunt]] estricte de les [[Funció recursiva| ...uring-complet; Floop és d'aquests últims, com la majoria de llenguatges de programació existents. ...

{{Infotaula llenguatge de programació * [[Go (llenguatge de programació)|Go]]<ref name="hgophers">{{ref-web|url=https://talks.golang.org/2014/hello ...

...conjunt d'[[Equació lineal|equacions lineals]] en lloc d'un problema de [[programació quadràtica]] convexa (QP) per als SVM clàssics. Els classificadors SVM de m ...s distribucions [[Probabilitat prèvia|de probabilitats prèvies]] a l'espai funcional, com <math>P[f] \propto \exp \left( { - \beta \left\| {\hat Pf} \right\|^2 ...

...lel Programming, 20.2 133–158 (1991),</ref> La implementació d'un model de programació paral·lel pot prendre la forma d'una [[Biblioteca informàtica|biblioteca]] Per entendre la diferència que hi ha entre els models de programació seqüencial i paral·lel, en farem una breu descripció de cadascun d'ells:<re ...

...nt extrems relatius) de [[funcional]]s continus definits sobre algun espai funcional.<ref>{{GEC|0239860}}</ref> ...l òptim, generalitzant el càlcul de variacions.<ref name="ferguson"/> La [[programació dinàmica]] de [[Richard Bellman]] és una alternativa al càlcul de variacion ...

...style V \times W</math>. En altres paraules, cada funcional bilineal és un funcional al producte tensorial, i viceversa. :'''Llengüatges de programació multidimensionals''': ...

...icacions a la [[lògica matemàtica]] i a la [[semàntica dels llenguatges de programació|semàntica]] (màquines abstractes categòriques) van venir més tard. ...de tipus per a [[intuïcionisme]]s lògics, amb aplicacions en [[programació funcional]] i en teoria de dominis, en què es pren una categoria cartesiana tancada c ...

...itat de producció i precisió en el [[mecanització]] per la seva estructura funcional i perquè els valors tecnològics de la mecanització estan guiats per l'[[ord ...èric va estar caracteritzada per un desenvolupament anàrquic dels codis de programació. Cada constructor feia servir el seu particular. ...

...redundant|redundància]], com ara la redundància de programari en forma de programació en versió N, i es troba comunament en sistemes informàtics tolerants a fall ...llançament de vehicles Saturn i sistemes de '''redundància modular triple funcional (FTMR)''', els votants també es '''tripliquen'''. S'utilitzen tres votants ...

...eballen d'aquesta manera. Una altra possibilitat més costosa és la divisió funcional, mantenint una unitat d'execució per a cada component del vector. L'alt cos ...isperses són molt habituals en problemes reals, per això, el llenguatge de programació ha de poder subministrar els medis per emmagatzemar-les de forma eficient s ...

== Programació == El 1998 es va construir una rèplica funcional del SSEM per celebrar el 50 aniversari de l'execució del seu primer program ...

Amb el llenguatge de programació [[Python]] es pot calcular el factorial d'enters arbitràriament grans, limi ...rs personals]], tot i que molts [[Llenguatge de programació|llenguatges de programació]] admeten tipus d'enters de longitud variable capaços de calcular valors mo ...

...uació diferencial|equacions diferencials]], l'[[àlgebra de matrius]], la [[programació matemàtica]] i altres [[mètodes computacionals]].<ref name="Chiang">{{ref-l ...]].</ref> Els resultats de Von Neumann es van veure com un cas singular de programació lineal, on el model de von Neumann utilitza només matrius no negatives. L'a ...