Resultados de la búsqueda
Ir a la navegación
Ir a la búsqueda
Resultados por título de página
- [[Archivo:Hott_book_cover.png|miniaturadeimagen|Portada de ''Homotopy Type Theory: Univalent Foundations of Mathematics''.]] …o objetos a los cuales se aplican las intuiciones de la [[Homotopía|teoría de homotopía]] abstracta.<ref name="Hottbook">{{cita libro …2 kB (405 palabras) - 11:53 29 ene 2024
Resultados por texto de página
- [[Archivo:Hott_book_cover.png|miniaturadeimagen|Portada de ''Homotopy Type Theory: Univalent Foundations of Mathematics''.]] …o objetos a los cuales se aplican las intuiciones de la [[Homotopía|teoría de homotopía]] abstracta.<ref name="Hottbook">{{cita libro …2 kB (405 palabras) - 11:53 29 ene 2024
- consistente de estructuras algebraicas …(según sea la [[teoría de categorías|categoría]]) que forman un [[complejo de cadenas]] …1 kB (205 palabras) - 17:31 30 mar 2024
- …permitía el mismo comportamiento de «Tipo en tipo» que explota la paradoja de Girard. …a cube|doi=10.1016/S0049-237X(06)80015-7}}</ref> {{Rp|352}}como un sistema de tipo puro con …6 kB (921 palabras) - 20:40 15 dic 2024
- {{Ficha de software | desarrollador = Henri Cohen, Karim Belabas, et al., en la Universidad de Burdeos 1 …2 kB (389 palabras) - 09:58 20 oct 2024
- …Un grafo de 6 [[Vértice (teoría de grafos)|vértices]] y 7 [[Arista (teoría de grafos)|aristas]].]] …l concepto de [[grafo]] TAD desciende directamente del concepto matemático de grafo. …4 kB (605 palabras) - 01:20 31 ago 2021
- …al, final y cero|objeto inicial]] de la [[Teoría de categorías|categoría]] de [[F-álgebra]]s para un [[Funtor|endofunctor]] F dado. Proporcionan un marco …o de un solo elemento, el [[Objeto inicial, final y cero|objeto terminal]] de la categoría. Un álgebra para este endofuntor es un conjunto <math>X</math> …1 kB (200 palabras) - 23:12 4 feb 2024
- [[Image:Cauer response.png|thumb|Respuesta de un filtro de Cauer.]] …edes y diseño de filtros. El diseño fue publicado en 1958, 13 años después de su muerte. …2 kB (346 palabras) - 20:36 24 ene 2024
- …evitar la aparición de paradojas en el [[Cálculo lambda|cálculo lambda sin tipos]]. …e tipo, mientras que el polimorfismo y la dependencia no pueden expresarse de esta forma. …6 kB (823 palabras) - 05:18 14 abr 2024
- …as geotécnicas de un terreno, como parte de las técnicas de reconocimiento de un [[reconocimiento geotécnico]]. …acción lo suficientemente elevada, que puede venir dada por el peso propio de la maquinaria hincadora (penetrómetro en camión), o mediante el anclaje al …3 kB (467 palabras) - 19:49 22 oct 2019
- …a diferencia de las [[partícula elemental|partículas elementales]] que son de dimensión cero, como un [[punto (geometría)|punto]]. …ad cuántica]], que no ha sido descrita consistentemente antes de la teoría de cuerdas. …4 kB (689 palabras) - 23:59 12 abr 2024
- [[Archivo:Travel time histogram total n Stata.png|miniaturadeimagen|Ejemplo de un histograma]] …Comúnmente, la distribución de la frecuencia suele visualizarse con el uso de [[histograma]]. …3 kB (454 palabras) - 23:14 11 sep 2024
- …le para todos los jugadores. En un juego bayesiano, el carácter incompleto de la información significa que al menos un jugador no está seguro del tipo de …ifica que este tipo de juegos también se utilizan para analizar escenarios de [[información perfecta|información imperfecta]]. …6 kB (1000 palabras) - 11:25 19 abr 2024
- **[[Olimpiadas matemáticas]]. Véase sin embargo: [[Olimpiada Internacional de Matemática]]. **[[Teoría de tipos]] ([[w:en:Type theory]]) …2 kB (250 palabras) - 09:10 9 may 2009
- …cas]], una '''función corta''' es una [[Función matemática|función]] ''f'' de un [[espacio métrico]] ''X'' en otro espacio métrico ''Y'' tal que {{Control de autoridades}} …890 bytes (155 palabras) - 20:14 14 oct 2023
- …Sieve of Eratosthenes.gif|miniaturadeimagen|Animación relativa a la criba de Eratóstenes. ]] …los aparentemente insuperables, en el camino de la acumulación de términos de errores. …5 kB (776 palabras) - 17:22 28 feb 2023
- …entre los tipos que los componen. Tienen especial relevancia en el diseño de lenguajes tipados, puesto que determinan cuándo es posible sustituir un tip …oat</code>, y se dice que las funciones son ''covariantes'' en los valores de retorno.<ref name="reynolds" /><ref name=":1">{{Cita libro|apellidos=Giusep …6 kB (912 palabras) - 20:40 20 mar 2024
- …ión]] entre anillos que conserva las [[estructura algebraica|estructuras]] de ambos como anillos. Dado que existen distintos tipos de anillos, hay que particularizar la definición. …6 kB (1078 palabras) - 06:21 2 mar 2025
- …atemáticas]] que preservan la estructura interna. Por ejemplo, en [[teoría de conjuntos]], los morfismos son las [[Función matemática|funciones entre con …ero no toda categoría es concreta, por tanto estos no son los únicos tipos de morfismos. …7 kB (1077 palabras) - 21:21 27 oct 2024
- …ón entre dos distribuciones de grado en [[red libre de escala|redes libres de escala]] y [[red aleatoria|redes aleatorias]].]] …'' que sería entendido igualmente como la [[distribución de probabilidad]] de un grado en la red.<ref>"Linked: The New Science of Networks", Albert-Lászl …5 kB (790 palabras) - 15:21 28 ene 2024
- …de la Elección Social]], en la [[teoría de juegos]], para la [[resolución de conflictos]] , entre otras áreas. …os jugadores y sus preferencias, y otros criterios para evaluar la calidad de la división. …3 kB (531 palabras) - 09:02 17 ene 2025