Resultats de la cerca

...ó. Tradueix al llenguatge informàtic la notació de subconjunts tradicional de la matemàtica. tindria un equivalent en llenguatge [[Haskell]] (que permet declarar llistes il·limitades) ...

...nicions d'estructures recursives donant els casos de definició i un axioma de clausura indicant que cap altra cosa forma part del definit. # Si <math>t_1</math> i <math>t_2</math> són arbres, i ''x'' és un element de ''T'', llavors ''Node(<math>t_1</math>,x,<math>t_2</math>)'' és un arbre. ...

...'' (1, ''y'' ) = ''f'' ( ''x'' ,2) } és un problema d'unificació sintàctic de primer ordre que té la substitució { ''x'' [[↦]] 1, ''y'' ↦ 2 } com a única ...[Term rewriting|reescriptura de termes]] i anàlisi [[Protocol criptogràfic|de protocols criptogràfics]].<ref>{{Ref-web|url=https://www.cs.bu.edu/fac/snyd ...

...Math|cis}} és una abreviatura de la combinació de funcions a la part dreta de la [[fórmula d'Euler]] : <ref>{{Ref-web|títol=Cis|url=https://mathworld.wol és a dir, " {{Math|cis}} " és un [[acrònim]] de " {{Math|Cos ''i'' Sin}} ". ...

...isme]]s a morfismes de manera que la [[composició de funcions|composició]] de morfismes i les identitats es preservin. ...màtiques)|funcions contínues]]. Avui dia, els funtors s'utilitzen a través de les matemàtiques modernes per relacionar diverses categories. ...

...ormàtica]], l'operació '''mòdul''' troba el [[Residu (aritmètica)|residu]] de la [[divisió]] d'un nombre entre un altre (aquest residu també se sol anome ...resultat indicat anteriorment, sinó que s'expressarà el quocient en forma de fracció decimal. ...

En [[teoria de la computació]], la '''funció d'Ackermann''' és una [[funció recursiva]] qu Fent servir la premissa de la majoració, ha d'existir un valor <math>k</math> tal que <math> Ack(x)+1 ...

...té un significat especial relacionat amb l'[[extrapolació]] en el context de [[sèrie divergent|sèries divergents]]. ...icar els termes omesos. Així, la suma de tots els [[nombres naturals]] des de l'1 fins a 100 és 1 + 2 + ... + 99 + 100 = 5050. ...

...descriu a continuació. El matemàtic [[Richard Bellman]] va inventar la '''programació dinàmica''' el [[1953]]. ...rtida, i després fent servir aquestes solucions per a triar el millor camí de tots ells. En general, es poden resoldre problemes amb subestructures òptim ...

...|llenguatge seqüencial]], com a extensió a un llenguatge existent o com un llenguatge completament nou. ...models de programació seqüencial i paral·lel, en farem una breu descripció de cadascun d'ells:<ref>{{Ref-web|títol=Introduction to Parallel Computing|url ...

...de les branques de la [[matemàtica]] i en algunes àrees de les [[ciències de la computació]] i [[física teòrica]]. Foren proposades per [[Samuel Eilenbe == Definició de categoria == ...

...gràfica]] del logaritme en base 2 creua l'[[eix x]] a 1 i passa pels punts de coordenades {{nowrap|(2, 1)}}, {{nowrap|(4, 2)}} i {{nowrap|(8, 3)}}. Per e ...ix. La corba s'aproxima, per valors positius de ''x'' propers a 0, a l'eix de les ordenades ''y'', però no hi arriba, ja que no hi ha cap potència d'un n ...

...n treballa Peyton Jones. GHC ha pres humorísticament el sobrenom "Glorious Haskell Compiler". ...kell d'[[Utrecht]]").<ref>[http://www.cs.uu.nl/wiki/UHC web del Compilador Haskell d'Utrecht] {{Webarchive|url=https://web.archive.org/web/20140722154257/http ...

Característiques del [[llenguatge de programació]] [[Haskell]] ...reducció d'expressions, per [[#reducció beta del càlcul lambda en notació Haskell|l'aplicació sistemàtica d'una funció al primer paràmetre]], obtenint una fu ...

[[Fitxer:IBM Blue Gene P supercomputer.jpg|miniatura|[[Supercomputadora]] de '''computació paral·lela''' [[Blue Gene]]/P d'IBM]] ...l paradigma dominant en l'arquitectura informàtica, principalment en forma de processadors multi nucli.<ref name="View-Power">Asanovic, Krste et al. (Dec ...

...ts sota el ''mapa de Collatz'', saltant els nombres parells. La conjectura de Collatz afirma que tots els camins eventualment porten cap a 1.]] La '''conjectura de Collatz''' és un dels problemes no resolts més famosos de les [[matemàtiques]]. La [[conjectura]] es pregunta si repetir dues [[opera ...