Buscar
- Filtrar resultados
- Ubicación
- Clasificación
- Incluir datos adjuntos
- https://espanol.libretexts.org/Humanidades/Filosofia/Conjuntos_Logica_Computacion_(Zach)/02%3A_Logica_de_primer_orden/05%3A_Sintaxis_y_Semantica/5.10%3A_Estructuras_cubiertas_para_idiomas_de_primer_ordenSe cubre una estructura si cada elemento del dominio es el valor de algún término cerrado.
- https://espanol.libretexts.org/Humanidades/Filosofia/Conjuntos_Logica_Computacion_(Zach)/02%3A_Logica_de_primer_orden/05%3A_Sintaxis_y_Semantica/5.03%3A_T%C3%A9rminos_y_F%C3%B3rmulasUna vez queL se da un lenguaje de primer orden, podemos definir expresiones construidas a partir del vocabulario básico deL. Estos incluyen en términos y fórmulas particulare...Una vez queL se da un lenguaje de primer orden, podemos definir expresiones construidas a partir del vocabulario básico deL. Estos incluyen en términos y fórmulas particulares.
- https://espanol.libretexts.org/Matematicas/Algebra_Abstracta_y_Geometrica/%C3%81lgebra_abstracta_del_primer_semestre%3A_un_enfoque_estructural_(Sklar)/02%3A_Grupos/2.01%3A_Operaciones_Binarias_y_EstructurasHasta el momento hemos estado discutiendo conjuntos. Se trata de objetos extremadamente simples, esencialmente matemáticos “bolsas de cosas”. Sin ninguna estructura añadida, su utilidad es muy limitad...Hasta el momento hemos estado discutiendo conjuntos. Se trata de objetos extremadamente simples, esencialmente matemáticos “bolsas de cosas”. Sin ninguna estructura añadida, su utilidad es muy limitada. Un conjunto sin estructura agregada no nos ayudará, digamos, a resolver una ecuación lineal. Lo que nos ayudará con tales cosas son objetos como grupos, anillos, campos y espacios vectoriales. Se trata de conjuntos equipados con operaciones binarias que nos permiten combinar elementos de conjunto
- https://espanol.libretexts.org/Humanidades/Filosofia/Conjuntos_Logica_Computacion_(Zach)/02%3A_Logica_de_primer_orden/06%3A_Las_teorias_y_sus_modelos/6.01%3A_Introducci%C3%B3nEl método axiomático y la lógica se hicieron el uno para el otro. La lógica formal proporciona las herramientas para formular teorías axiomáticas, para probar teoremas a partir de los axiomas de la te...El método axiomático y la lógica se hicieron el uno para el otro. La lógica formal proporciona las herramientas para formular teorías axiomáticas, para probar teoremas a partir de los axiomas de la teoría de una manera precisa, para estudiar las propiedades de todos los sistemas satisfaciendo los axiomas de manera sistemática.
- https://espanol.libretexts.org/Matematicas/Geometria/Geometr%C3%ADa_con_Introducci%C3%B3n_a_la_Topolog%C3%ADa_C%C3%B3smica_(Hitchman)/07%3A_Geometr%C3%ADa_en_Superficies/7.05%3A_SuperficiesEn topología se estudian aquellas características de un espacio que permanecen inalteradas si el espacio se estira o deforma continuamente de otra manera. Tales características de un espacio se llaman...En topología se estudian aquellas características de un espacio que permanecen inalteradas si el espacio se estira o deforma continuamente de otra manera. Tales características de un espacio se llaman características topológicas.