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

DATOS

Constantes

Una constante es una partida de datos que permanecen sin cambios en el programa (durante el desarrollo y ejecución).

Ejemplos:                     

3.1416 (valor de pi, este valor no debe variar)

2000 (año en que según Nostradamus se acabaría el mundo XD)

‘a’ (primera letra del alfabeto)

“ESPOL” (nombre de mi querida universidad)

Variables

Una variable es una partida de datos cuyo valor puede cambiar en el programa (durante el desarrollo y ejecución).

Los diferentes tipos de variables dependen del lenguaje de programación, por lo general estas suelen ser enteras, reales, carácter, lógicas y de cadena.

Tanto las variables como las constantes tienen un nombre o identificador generalmente conformado por caracteres alfanuméricos (ciertos lenguajes de programación admiten el carácter de subrayado ‘_’ como válido en los identificadores), y el primero de éstos debe ser una letra.








INTRODUCCIÓN AL MANEJO DE LA INFORMACIÓN

Estructura de información (datos)
Es una agrupación de datos que tengan el mismo tipo o la misma información del mismo tipo.

Archivo de información
Este es un conjunto de registros.

Base de datos
Conjuntos de archivos del mismo tipo.

Bases de datos inteligentes
Es un sistema de información que es la que puede tomar decisiones por si sola (inteligencia artificial o sistema experto.