LÓGICA : Se enfoca en el estudio de alternativas, ayudas de inferencia.
Nos permita que la ciencia se vuelva investigación.



ALGORITMIA
Es la ciencia que estudia el comportamiento de los algoritmos:

-como se crean.
-que característica.
-cual es el procedimiento.
-cuales so las representaciones.



ALGORITMO:.
Conjunto de pasos secuenciales que permiten la solución de un problema. 

Ejemplo:.
hallar el mayor entre los tres hijos de una familia. 

edades de los hermanos.



CARACTERÍSTICAS:
- Preciso: indica el orden de realización de cada paso.
- Debe estar definido.
- Debe ser finito : simplemente el algoritmo debe de terminar.
- Debe ser legible: debe de haber claridad en su forma de escritura o representación. 


REPRESENTACIÓN:
Es la forma de escribir lo algoritmos.

1. DFD ( Diagrama de Flujo de Datos)
representación con figuras geométricas de un algoritmo.


2. SEUDOCODIGO O lenguaje natural:
Usando palabras de nuestro mismo idioma, facilita la comprensión de la lógica.





3. Estructura o rectangular:
Se basa en una construcción geométrica con rectángulos.

Escribir y probar los algoritmos.



EDITOR DFD




EDITOR PSEINT







ENTRADA     --------->         PROCEDIMIENTO     -------- >         SALIDA
 Son los datos                  Son las operaciones                      Es el resultado que              
necesarios que                necesarias para                               debe entregar los
se deben conocer           resolver el                                          resultados
del problema                     problema
descrito


Ejemplo:

Multiplicar dos números

ENTRADA: factor 1 y factor 2

PROCESAMIENTO: factor 1 * factor 2

SALIDA: el resultado de la multiplicación , producto.

LÓGICA PROPOSICIONAL

¿Que es una proposición?

Una proposición es una frase o sentencia declarativa que es verdadera o falsa pero no ambas cosas a la vez. El cálculo proposicional se encarga del estudio de las relaciones lógicas entre proposiciones.

¿Que es un valor lógico?

 Es una expresión no proposicional, es decir no se le puede asignar un valor de verdad. 
Valor lógico o valor de verdad se refiere a que si podes decir si la proposición es verdadera o falsa, darle un valor que en este caso no se puede.

¿Que es un corrector lógico ó operador lógico?

En lógica, una conectiva lógica, o simplemente conectiva, (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.

Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos diádicos) que unen dos frases, que pueden ser consideradas los operandos de la función. También es común considerar a la negación como un conectivo monádico.

Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de muchos sistemas lógicos, principalmente la lógica proposicional y la lógica de predicados.

En programación se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa.

Cuales son las tablas de verdad para:

A. una proposición:

B. dos proposiciones:

C. tres proposiciones:

REPRESENTACIÓN DE UN ALGORITMO

Los algoritmos pueden ser expresados de muchas maneras, incluyendo al lenguaje natural, pseudocódigo, diagramas de flujo y lenguajes de programación entre otros. Las descripciones en lenguaje natural tienden a ser ambiguas y extensas. El usar pseudocódigo y diagramas de flujo evita muchas ambigüedades del lenguaje natural. Dichas expresiones son formas más estructuradas para representar algoritmos; no obstante, se mantienen independientes de un lenguaje de programación específico.

La descripción de un algoritmo usualmente se hace en tres niveles:

 1.Descripción de alto nivel. Se establece el problema, se selecciona un modelo matemático y se explica el algoritmo de manera verbal, posiblemente con ilustraciones y omitiendo detalles.

 2.Descripción formal. Se usa pseudocódigo para describir la secuencia de pasos que encuentran la solución.

 3. Implementación. Se muestra el algoritmo expresado en un lenguaje de programación específico o algún objeto capaz de llevar a cabo instrucciones.

También es posible incluir un teorema que demuestre que el algoritmo es correcto, un análisis de complejidad o ambos. 

DFD:

DFD es un editor de diagramas de flujo con el cual puedes dar forma gráfica a un gran número de algoritmos, ejecutarlos y depurarlos en caso de hallar errores.

En la barra superior de DFD se agrupan los objetos necesarios para la construcción de los diagramas. Se parte siempre de una plantilla con un estado inicial y uno final, conectados por una flecha

PSEUDOCÓDIGO 

Pseudocódigo Es un lenguaje artificial e informal que ayuda a los programadores a desarrollar algoritmos. El Pseudocódigo es similar al lenguaje cotidiano; es cómodo y amable con el usuario, aunque no es realmente in verdadero lenguaje de computadora. No se ejecutan en las computadoras mas bien sirven para ayudar al programadora razonar un programa antes de intentar escribirlo en algún lenguaje. Un programa ejecutado en Pseudocódigo puede ser fácilmente convertido en un programa en C++, si es que esta bien elaborado

ESTRUCTURADO

EJEMPLO