Estudie la lógica oracional como primer encuentro con la lógica matemática. Esto incluye tablas de verdad y el uso de "y" "o" y "no" en lógica simbólica. Este nivel de estudio también debe incluir lógica de primer orden, que agrega cuantificadores como "para todos" y "existe" al lenguaje.
Continúe con la teoría de la prueba, que es el estudio de la manipulación simbólica. Esto requerirá un lenguaje formal que consta de un conjunto de símbolos y una sintaxis. Estos elementos comprenden fórmulas que se utilizan para construir axiomas para las teorías de ese lenguaje.
Avanzar a la teoría de modelos de primer orden, que describe las estructuras que satisfarán un conjunto de axiomas. Se utilizan fórmulas lógicas para determinar los conjuntos que pueden definirse en una estructura determinada.
Empiece un estudio de la teoría de conjuntos. Esto debe incluir conjuntos infinitos muy grandes para mostrar que un "conjunto" es un concepto ambiguo.
A continuación, retome la teoría de la recursividad. Este campo es el estudio de la pertenencia a un conjunto dado determinando qué se puede calcular sobre ese conjunto en un número finito de pasos. La teoría de la recursividad involucra conceptos tales como estructuras de grado, ideas sobre reducibilidad y computabilidad relativa.
Este artículo fue escrito por un escritor profesional, corregido y verificado a través de un sistema de auditoría multipunto, en un esfuerzo por garantizar que nuestros lectores solo reciban la mejor información. Para enviar sus preguntas o ideas, o simplemente para obtener más información, consulte nuestra página sobre nosotros: enlace a continuación.