¿QUÉ DEBE DE SABER DE LÓGICA UNA PERSONA EDUCADA?

...

La ciencia matemática

El renacimiento inicia una nueva era en la cual se permite la revitalización de la ciencia y las matemáticas. Los representantes más destacados de esta etapa son Descartes, Newton y Leibniz. Este periodo abarca de los 1500 a los 1800.

---------------------------------------------------------------

3.0 LA IMPORTANCIA DE LA LÓGICA EN LAS CIENCIAS DE LA COMPUTACIÓN[pic 1]

La lógica desde su creación ha sido de gran utilidad en el ámbito informático ya que por medio del se ha logrado obtener un gran desarrollo de este medio ya que sus aportes a servido para que el auge de la computación cada vez valla aumentando debido a solución de problemas presentes en la actualidad La relevancia de los métodos finitarios es que entre ellos se encuentra uno que consiste en ejecutar una lista de instrucciones precisas que produzca, independientemente de quién las ejecute, y después de un tiempo finito, un objeto determinado. El concepto que se puede abstraer de este método es el de algoritmo. El hecho de que el resultado de la ejecución de las instrucciones sea independiente del ejecutante significa que éstas pueden ser ejecutadas por una máquina.

Dichos aportes son:

- Algebra de Bool, en el diseño y fabricación de circuitos.

- Lógica de Predicados, específicamente Algebra Relacional, en los Lenguajes de Consulta de Bases de Datos.

- Lógicas Temporales, en la verificación de sistemas con concurrencia

- Lógicas Modales en Lenguaje Natural y Representación de Conocimiento.

- Restricciones de Lógica de Primer Orden, en Programación Lógica .

- Calculo Lambda, en Programación Funcional.

- Teoría de Tipos, en diseño y construcción de Lenguajes de Programación.

- Semántica Formal, en el diseño y estudio de Programas y Lenguajes de Programación.

- Lógica de Hoare, en Verificación de Programas.

- Teoría de Modelos Finitos, en Bases de Datos y en Complejidad Estructural.

- Deducción Automática, en Verificación de Programas.

- Lógicas de Punto Fijo, y otras extensiones y restricciones de la Lógica de Primer Orden, en Complejidad Estructural.

- En lo que se refiere al futuro de la lógica, casi cualquier afirmación lleva implícito el riesgo de equivocarse, cualquier predicción es aventurada. Pero aun así, no deja de ser interesante especular sobre el futuro. Tres predicciones, por ejemplo, son:

- Que el problema P versus NP será resuelto, en el marco de la lógica, antes del 2020.

- Que durante el siglo XXI, se logrará un avance significativo, aunque limitado, en Razonamiento Automatizado, que permitirá el desarrollo de algunas áreas de Inteligencia Artificial en dominios de conocimiento restringidos.

4.0 LÓGICAEl término “Lógica” deriva del Griego Clásico “Logos” el cual originalmente significaba “palabra”, o “lo que se habla”

En la concepción Aristotélica, se entiende por "lógica" la ciencia que estudia los razonamientos y pensamientos.

También aristoteles la define como “El arte de la argumentación correcta y verdadera”.

En la actualidad existe una gran condotacion entre la lógica y la psicología, La lógica no debe ser confundida con la psicología: ya que la lógica está relacionada con la racionalidad y la estructura de los conceptos, estudia el pensamiento en sí, asignándole valores de verdad, y la psicología estudia el cómo y porqué que se crean los pensamientos en relaciona con el autor o emisor de éstos.

Se ha podido identificar dos tipos de lógica la lógica formal y la informal.

La “Lógica Formal”, a diferencia de la anterior, se refiere al estudio de argumentos racionales en forma estrictamente esquematizada y organizada. Parte de la base que uno razona bien e intenta mejorar a niveles superiores el razonamiento.

La “Lógica Informal”, por lo común, se dedica al análisis de los conceptos y procedimientos involucrados y usados para elaborar conclusiones a partir de información dada.

5.0 PROGAMACIÓN

La programación, es el proceso de diseñar, codificar, depurar y mantener el código fuente de programas de computadora. El código fuente es escrito en un lenguaje de programación. El propósito de la programación es crear programas que exhiban un comportamiento deseado. El proceso de escribir código requiere frecuentemente conocimientos en varias áreas distintas, además del dominio del lenguaje a utilizar, algoritmos especializados y lógica formal. Programar no involucra necesariamente otras tareas tales como el análisis y diseño de la aplicación (pero sí el diseño del código), aunque sí suelen estar fusionadas en el desarrollo de pequeñas aplicaciones.

[pic 2]

5.1 Historia

Para crear un programa, y que la computadora lo interprete y ejecute las instrucciones escritas en él, debe escribirse en un lenguaje de programación. En sus inicios las computadoras interpretaban solo instrucciones en un lenguaje específico, del más bajo nivel, conocido como código máquina, siendo éste excesivamente complicado para programar. De hecho solo consiste en cadenas de números 1 y 0 (sistema binario). Para facilitar el trabajo de programación, los primeros científicos, que trabajaban en el área, decidieron reemplazar las instrucciones, secuencias de unos y ceros, por palabras o abreviaturas provenientes del inglés; las codificaron y crearon así un lenguaje de mayor nivel, que se conoce como Assembly o lenguaje ensamblador. Por ejemplo, para sumar se podría usar la letra A de la palabra inglesa add (sumar). En realidad escribir en lenguaje ensamblador es básicamente lo mismo que hacerlo en lenguaje máquina, pero las letras y palabras son bastante más fáciles de recordar y entender que secuencias de números binarios. A medida que la complejidad de las tareas que realizaban las computadoras aumentaba, se hizo necesario disponer de un método sencillo para programar.