Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría…10 kB (1489 palabras) - 11:19 19 abr 2024
En teoría de conjuntos, el axioma de elección,[1] es un axioma que postula que para cada familia de conjuntos no vacíos, existe otro conjunto que contiene…26 kB (3091 palabras) - 10:25 11 abr 2024- En teoría de la computabilidad y en teoría de la complejidad computacional, un problema indecidible es un problema de decisión para el cual es imposible…6 kB (790 palabras) - 19:42 6 nov 2020
- En lógica matemática, el teorema de compacidad establece que un conjunto (posiblemente infinito) de fórmulas bien formadas de la lógica de primer orden…3 kB (368 palabras) - 11:21 19 abr 2024
- En lógica, una teoría es un conjunto de proposiciones dentro de un lenguaje formal que es semánticamente completo en el sentido de que todo [i[teoría de…9 kB (1079 palabras) - 20:53 22 ago 2023
- En álgebra universal y en teoría de modelos, una estructura consiste en una colección de elementos acompañada a su vez por una colección de funciones y…1 kB (109 palabras) - 17:50 13 jun 2021
AnyLogic es una herramienta desarrollada por The AnyLogic Company que incluye todos los métodos de simulación más comunes en práctica hoy. A principios…25 kB (3001 palabras) - 03:39 24 ene 2024- En lógica, dos fórmulas son equisatisfactibles si la primera fórmula es satisfactible siempre que la segunda fórmula lo fuera también, y viceversa. En…2 kB (258 palabras) - 16:27 30 dic 2023
- En teoría de modelos, una disciplina dentro de la lógica matemática, un modelo no-estándar es un modelo de una teoría axiomática que no es isomorfo al…1 kB (182 palabras) - 00:26 21 dic 2022
- En lógica matemática, específicamente en la disciplina de la teoría de modelos, el límite de Fraïssé (también llamado construcción de Fraïssé o amalgamación…9 kB (1177 palabras) - 17:03 10 oct 2023
- En lógica, especialmente en lógica matemática, una simbología enumera y describe los signos no lógicos de un lenguaje formal. En álgebra universal, enumera…10 kB (1398 palabras) - 17:19 28 abr 2024
- En lógica matemática y filosofía, la paradoja de Skolem es una aparente contradicción que surge del teorema de Löwenheim-Skolem descendente. Thoralf Skolem…18 kB (2460 palabras) - 16:23 11 mar 2024
- En lógica matemática, el espectro de una oración es el conjunto de números naturales que ocurren como el tamaño de un modelo finito en el que una sentencia…10 kB (1430 palabras) - 22:59 10 feb 2024
- En la teoría de modelos, los juegos de Ehrenfeucht–Fraïssé (también llamados juegos back-and-forth) es una técnica para determinar si dos estructuras son…8 kB (1131 palabras) - 14:07 25 ene 2020
- En lógica matemática, una teoría es completa si es consistente y para cada fórmula cerrada en el lenguaje de la teoría, o bien es demostrable o su negación…3 kB (293 palabras) - 17:09 28 feb 2023
- En lógica de primer orden, una teoría de primer orden está dada por un conjunto de axiomas en algún idioma. El presente artículo enumera algunos de los…40 kB (5633 palabras) - 15:58 22 abr 2024
