Común
Teoría de modelos
rama de la lógica matemática que estudia las estructuras matemáticas
Teoría de modelos
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 de conjuntos, en relación con las teorías axiomáticas y la lógica matemática. La teoría de modelos permite atribuir una interpretación semántica a las expresiones puramente formales de los lenguajes formales. Además permite estudiar en sí mismos los conjuntos de axiomas, su completitud, consistencia, independencia mutua, y permiten introducir un importante número de cuestiones metalógicas.
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis