Logica Computacional

Las personas reactivas
Se ven afectadas por las circunstancias, las condiciones, el ambiente social... Sólo se sienten bien si su entorno está bien. Centran sus esfuerzos en el círculo de preocupación: en los defectos de otras personas, en los problemas del medio y en circunstancias sobre las que no tienen ningún control. No tienen la libertad de elegir sus propias acciones.
Las personasproactivas
Se mueven por valores cuidadosamente meditados y seleccionados: pueden pasar muchas cosas a su alrededor pero son dueñas de cómo quieren reaccionar ante esos estímulos. Centran sus esfuerzos en el círculo de influencia: se dedican a aquellas cosas con respecto a las cuales pueden hacer algo. Su energía es positiva, con lo cual amplían su círculo de influencia.
Las personas reactivas
Se venafectadas por las circunstancias, las condiciones, el ambiente social... Sólo se sienten bien si su entorno está bien. Centran sus esfuerzos en el círculo de preocupación: en los defectos de otras personas, en los problemas del medio y en circunstancias sobre las que no tienen ningún control. No tienen la libertad de elegir sus propias acciones.
Las personas proactivas
Se mueven por valorescuidadosamente meditados y seleccionados: pueden pasar muchas cosas a su alrededor pero son dueñas de cómo quieren reaccionar ante esos estímulos. Centran sus esfuerzos en el círculo de influencia: se dedican a aquellas cosas con respecto a las cuales pueden hacer algo. Su energía es positiva, con lo cual amplían su círculo de influencia.
La lógica computacional es básicamente usar los fundamentosde las matemáticas aplicándolas por completa en determinar funciones de una computadora. Es muy útil para la resolución de problemas en un ordenador.
Es usada para realizar con detalle algoritmos y operaciones para diseñar programas para computadora y resulta lo mismo que la lógica básica solamente con una aplicación hacia la materia de la informática.
La lógica computacional no es mas quelógica usándola en temas y problemas relacionados con la materia dela computación y es parte fundamental de la misma.
La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental a varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) dealgoritmos.
Es la ciencia de las proposiciones y las demostraciones que se basan en un razonamiento para llegar a una conclusión verdadera o falsa. Ejemplo.
Todos los hombres son mortales.
Sócrates es hombre por lo tanto es mortal
La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa«dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».
La lógica examina la validez de los argumentos en términos de su estructura, (estructura lógica), independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenidose pueda referir.
Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal».
Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo histórico, a partir del final del siglo XIX, y su formalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que algunos la consideran como Lógica matemática.
En el siglo XX lalógica ha pasado a ser principalmente la lógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia.1 Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática.

Tipos de lógica
Se pueden clasificar de la siguiente forma:
A.- Lógica formal: es conocida también como la lógica clásica o aristotélica, Aristóteles fue su creador, aunque...