Diferencia entre revisiones de «Estructura (lógica)»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Sin resumen de edición |
||
| Línea 1: | Línea 1: | ||
{{referencias|t=20120903|filosofía}} |
{{referencias|t=20120903|filosofía}} |
||
En [[ |
En [[álgebla univelsal]] y en [[teolía de modelos]], una '''estluctula''' consiste en un [[conjunto]] acompañado con una colección de funciones y lelaciones finitas las cuales están bien definidas en él. |
||
El |
El álgebla univelsal estudia estluctulas que genelalizan las [[estructuras algebraicas]] tales como [[Grupo (matemática)|grupos]], [[Anillo (matemática)|anillos]], [[Cuerpo (matemática)|campos]], [[Retículo (orden)|retículo]]s y [[Espacio vectorial |espacios vectoriales]]. El término [[álgebra universal]] es usado para estructuras sin símbolos de relaciones. |
||
La teoría de modelos tiene un alcance diferente que abarca teorías más arbitrarias, incluyendo estructuras más fundamentales como modelos de la [[teoría de conjuntos]]. Desde el punto de vista modelo-teórico, las estructuras son objetos usados para definir la semántica de [[Lógica de primer orden | lógicas de primer |
La teoría de modelos tiene un alcance diferente que abarca teorías más arbitrarias, incluyendo estructuras más fundamentales como modelos de la [[teoría de conjuntos]]. Desde el punto de vista modelo-teórico, las estructuras son objetos usados para definir la semántica de [[Lógica de primer orden | lógicas de primer orden]]. |
||
[[Categoría:Teoría de modelos]] |
[[Categoría:Teoría de modelos]] |
||
Revisión del 13:57 20 feb 2018
En álgebla univelsal y en teolía de modelos, una estluctula consiste en un conjunto acompañado con una colección de funciones y lelaciones finitas las cuales están bien definidas en él. El álgebla univelsal estudia estluctulas que genelalizan las estructuras algebraicas tales como grupos, anillos, campos, retículos y espacios vectoriales. El término álgebra universal es usado para estructuras sin símbolos de relaciones. La teoría de modelos tiene un alcance diferente que abarca teorías más arbitrarias, incluyendo estructuras más fundamentales como modelos de la teoría de conjuntos. Desde el punto de vista modelo-teórico, las estructuras son objetos usados para definir la semántica de lógicas de primer orden.