LÓGICA DE PROGRAMACIÓN

Mapa conceptual Lógica de programación

Comienza Ya. Es Gratis
ó regístrate con tu dirección de correo electrónico
Rocket clouds
LÓGICA DE PROGRAMACIÓN por Mind Map: LÓGICA DE PROGRAMACIÓN

1. Precedencia de los conectivos lógicos

2. Lógica de conjuntos

2.1. Proposiciones

2.1.1. Enunciado, frase o expresión

2.1.1.1. Clasificado como verdadero o falso

2.2. Valor de las proposiciones

2.2.1. Representan con letras minúsculas del alfabeto (p,q,r,s,t,...)

2.2.1.1. p: enunciado o proposición

2.3. Negación de una proposición

2.3.1. Convertir en falsa, si es verdadera o en verdadera si es falsa

2.4. Proposiciones simples y compuestas

2.4.1. Forma sencilla (atómica o simple); + de un verbo, objetos o sujetos (compuesta)

2.5. Tablas de Verdad

2.5.1. De la conjunción

2.5.2. De la disyunción inclusiva

2.5.3. De la disyunción exclusiva

2.5.4. Del Condicional

2.5.5. Del Bicondicional

2.6. Conectivos Lógicos

2.6.1. Conjunción

2.6.2. Disyunción Inclusiva

2.6.3. Disyunción Exclusiva

2.6.4. Condicional

2.6.5. Bicondicional

2.7. Lenguaje de la lógica proposicional

2.7.1. Alfabeto de la lógica proposicional

2.7.2. Sintaxis de la lógica proposicional

2.7.3. Transformación a prefijo

2.7.4. Semántica de la lógica proposicional

2.8. Notación Prefija

2.8.1. Árbol de formación

2.9. Formalización de proposiciones

3. Teoría de conjuntos

3.1. Rama de la lógica matemática que estudia las propiedades y relaciones de los conjuntos

3.2. Representación y operaciones entre conjuntos

3.2.1. Operaciones básicas

3.3. Problema de aplicación

3.3.1. Números naturales

3.3.1.1. Estos son los números con los que estamos más cómodos: 1, 2, 3, 4, 5, 6, ...hasta el infinito

3.3.1.1.1. Se designa con la letra mayúscula N.

3.3.2. Racionales

3.3.2.1. Los números fraccionarios surgen por la necesidad de medir cantidades continuas y las divisiones inexactas. Medir magnitudes continuas tales como la longitud, el volumen y el peso, llevó al hombre a introducir las fracciones.

3.3.2.1.1. Se designa con la letra Q

3.3.3. Enteros

3.3.3.1. El conjunto de los números enteros comprende los números naturales y sus números simétricos. Esto incluye los enteros positivos, el cero y los enteros negativos

3.3.3.1.1. Se designa por la letra mayúscula Z

4. Disciplina que se encarga del razonamiento, deducción y conclusión

4.1. Conectar conceptos, justificar una idea o solucionar problemas,

5. Cálculo proposicional

5.1. Interpretaciones Booleanas

5.2. Equivalencia Lógica

5.2.1. Fórmulas Lógicamente Equivalentes

5.2.2. Equivalencia Lógica y bicondicional

5.2.3. Equivalencias Clásicas

5.3. Validez o Tautología

5.4. Tableros semánticos

5.5. Resolución proposicional

6. Argumentos y reglas de inferencia

6.1. Argumentos

6.2. Análisis de razonamientos

6.3. Reglas de inferencia (demostrada con tablas de verdad)

6.3.1. Regla del Modus Ponens (MP)

6.3.1.1. Afirmando afirmo

6.3.2. Regla del Doble Negación (DN)

6.3.3. Regla del Tollendo Tollens (TT)

6.3.3.1. Negando Niego

6.3.4. Regla del Adjunción (A)

6.3.5. Regla I Simplificación (IS)

6.3.6. Regla de Tollendo Ponens (TP)

6.3.6.1. Negando afirmo

6.3.7. Regla II Simplificación (II.S)

6.3.8. Regla Transitiva (T)

6.3.9. Regla Conmutativa (C)

6.3.10. Regla Bicondicional (B)

6.3.11. Regla de Dilema (D)

6.3.12. Regla de Simplificación Disyuntiva (S.D)

6.3.13. Regla Condicional Contrarrecíproca (C.C)

6.3.14. Regla de Silogismo hipotético (SH)

7. Programacion lógica

7.1. Secciones, hechos y reglas

7.1.1. Sección Predicates

7.1.2. Sección Clauses – Hechos

7.1.3. Sección Goal – Objetivo

7.1.4. Comentarios

7.2. Unificación

7.3. Motor de inferencia

7.4. Entrada, cálculo y salida

7.4.1. Área de un rectángulo

7.4.2. Raíz cuadrada

7.5. Recursión

7.5.1. El factorial

7.5.2. Ciclo entrada-cálculo-salida

8. Cálculo de predicados

8.1. Términos

8.2. Predicados

8.3. Argumentos variables y fórmulas atómicas

8.4. Sintaxis de la lógica de predicados

8.5. Cuantificador universal

8.6. Cuantificador existencial

8.7. Equivalencias entre cuantificadores