tareas


Tabla de contenido













Lógica matemática
INTODUCCION
Las matemáticas es una parte de la lógica en la cual hay cuatro teorías que se te explicar durante el desarrollo deeste trabajo y los subcampos de estas.
Se te dirá los antecedentes de la lógica para entender más las matemáticas.
Estudia los sistemas formales en relación con el modo en el que codificannociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.
Concepto
La lógica matemática se encarga del razonamiento matemático
Estudia los sistemas formales enrelación con el modo en el que codifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.
Se dividen en cuatro subcampos que son:
Teoría modelos Teoría de la demostración
Teoría de conjuntos 
Teoría de la recursión
Subcampos de la lógica matemática
Teoría modelos
Estudia las estructuras matemáticas como grupos, cuerpos, teoría de conjuntos.Esta teoría está basada en axiomas y teoremas, define la semántica de otra teoría.
Una estructura es una cadena de signos matemáticos.
Esta teoría tiene enlaces son el álgebra y el álgebrauniversal
Teoría de la demostración
Las demostraciones su presentan como estructuras de datos  definidas que se construyen de acuerdo con los axiomas y reglas de inferencia de los sistemas lógico, lateoría de la demostración se ocupa de la sintaxis, en contraste con la teoría de modelos, que trata con la semántica.

Demostraciones formales e informales
Informales: se encuentran en la prácticadiaria de las matemáticas, muestran un resultado de manera clara pero igual de una manera intuitiva e inteligente.
Formales: son la teoría, se basan en la manipulación de signos que se puedenverificar automáticamente, se encarga de  propiedades de los sistemas deductivos.
Teoría de conjuntos
Es la que estudia las propiedades de los conjuntos es considerada como un objeto de sí misma, las...