Las estructuras, que interpretan el lenguaje de una teoría (los valores de los

símbolos de la estructura en una interpretación teórica de conjuntos)

relacionan los objetos de diversos tipos para formar el sistema estudiado.
Estas estructuras permiten a los objetos de cada tipo jugar diversos papeles en
el sistema. De acuerdo con estos papeles, los objetos pueden ser interpretados
como objetos complejos, a pesar de su naturaleza básica de los elementos
puros.
Las teorías genéricas admiten 2 tipos de estructuras (y por la causa de los
símbolos de la estructura): operadores y predicados.

Un operador es una operación entre los tipos interpretados. Por el lado de la

teoría antes de interpretación, cada símbolo del operador viene con los datos
de su aridad (o lista de los argumentos vista como lugares alrededor del
símbolo), el tipo de cada argumento (que recorrerá el tipo interpretado), y el
único tipo de todos sus valores (resultados de la operación).
Los símbolos constantes (o constantes) de una teoría son sus nularios
símbolos de operador.
Los operadores unarios (que son funciones) serán llamados aquí funtores (esto
no tiene que confundirse con el concepto de funtor en la teoría de categorías).

La lista de tipos está completada con el tipo booleano, interpretada como el

par de elementos 1 («verdadero») y 0 («falso»). Una variable de este tipo
(fuera de la teoría) se llama una variable booleana.
Un para-operador es un operador generalizado que permite al tipo booleano
estar entre sus tipos de argumentos y resultados.
Un (lógico) conectivo es un para-operador sólo con argumentos y valores
booleanos.
Un predicado es un para-operador con valores booleanos y por lo menos un
argumento, pero que no sea booleano.
urante una época el cálculo convencional y métodos sencillos fueron suficientes para
resolver los problemas que se presentaban. Pero cuando la industrialización trajo consigo
la producción en masa y con ello el crecimiento en el tamaño y en la diversidad de los
problemas a resolver, hubo que crear técnicas más sofisticadas. Fue durante la segunda
guerra mundial (de ahí el nombre de Investigación de Operaciones militares) que dio inicio
una revolución, la cual aún continua, en el desarrollo de las técnicas matemáticas
de carácter algorítmico-numéricas, para la solución de este tipo de problemas. Con la
invención y la evolución de la computadora, es ahora posible resolver complejos problemas
de optimización, de logística, o simular múltiples escenarios para un proceso, en períodos
de tiempo que hace sólo algunas décadas hubieran sido inconcebibles. Dentro de las
técnicas más usadas en la investigación de operaciones se puede citar a la optimización
clásica, la programación lineal y no lineal, la teoría de control óptimo, la simulación, las
técnicas heurísticas y la teoría de redes entre otras.
Últimamente ha tomado auge una nueva especialidad. La Matemática Educativa, que ofrece
un enfoque, desde el punto de vista de las teorías del conocimiento, para la aplicación de
técnicas didácticas en la enseñanza de las matemáticas, facilitando así su comprensión.
Para comprender más el tema trataremos temas relacionados con:
 1. La teoría matemática de la información
2. La teoria matemática del control

Este reporte presenta los efectos sobre los aprendizajes de un diseño didáctico, con la
finalidad de enseñar Sistemas Matemáticos de Símbolos (SMS) en un primer curso
universitario de Álgebra Lineal, basado en la retroalimentación a los estudiantes a partir de
su desempeño en tareas de resolución de ejercicios. Se reporta complementariamente el
estudio de la incidencia de esta intervención en los desempeños de los alumnos en un
curso de Cálculo. Se utilizó un diseño experimental con un grupo experimental (GE) y uno
de control (GC), con un test inicial y otro final para evaluar desempeños. Se clasificó a los
estudiantes mediante el test inicial en dos categorías (calificación alta- calificación baja) y
se estableció que los de calificación alta de GE consiguieron desempeños en el test final
significativamente mayores que los correspondientes de GC (se utilizó una prueba de
Mann-Whitney). No se detectaron diferencias entre los subgrupos de estudiantes de
calificación baja. Los integrantes de GE tuvieron desempeño significativamente mayor que
los de GC en la tarea de Cálculo (se utilizó un Student’s t-text). Estos resultados permiten
utilizar este diseño en grupos de estudiantes con alta calificación inicial, y desafía a buscar
estrategias alternativas para enseñar a los de menor calificación.

En realidad, los sistemas de ecuaciones se pueden clasificar por diversos

motivos, es decir, atendiendo a diversas propiedades de los mismos. Por
ejemplo, se pueden clasificar según el grado de las ecuaciones. Tendríamos
entonces:

 Sistema lineal: si todas las ecuaciones son lineales.

 Sistema no lineal: si no todas las ecuaciones son lineales.

De estos dos tipos de sistemas, nosotros estamos tratando en esta Unidad

los sistemas lineales.

Por otro lado, también se pueden clasificar los sistemas según el número de
ecuaciones o de incógnitas que tengan, es decir, podríamos hablar entonces
de:

 Sistemas de dos ecuaciones.

 Sistemas de tres ecuaciones.
 etc. . . . .

O bien de:

 Sistemas de una incógnita.

 Sistemas de dos incógnitas.
 Sistemas de tres incógnitas.
 etc. . . . .