Inicio
Al azar
Cercanos
Acceder
Configuración
Donaciones
Acerca de Wikipedia
Limitación de responsabilidad
Buscar
Categoría
:
Teoría de modelos
Idioma
Vigilar
Editar
Clasificación Unesco
: 1102.10
Páginas en la categoría «Teoría de modelos»
Herramientas:
Gráfico
•
Intersección
•
Página aleatoria
•
Búsqueda interna
•
Tráfico
Esta categoría contiene las siguientes 16 páginas:
Teoría de modelos
A
AnyLogic
Axioma de elección
C
Compacidad (lógica)
E
Equisatisfactibilidad
Espectro de una sentencia
Estructura (lógica)
J
Juego de Ehrenfeucht–Fraïssé
L
Límite de Fraïssé
N
Modelo no-estándar
P
Paradoja de Skolem
Problema indecidible
S
Simbología (lógica)
T
Teoría (lógica)
Teoría completa
Anexo:Teorías de primer orden