Logica Computacional

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) de algoritmos.

Circuitos computacionales[editar • editar código]

El nivel menos abstracto dentro de una computadora está constituido por circuitos electrónicos que responden a diferentes señales eléctricas, siguiendo los patrones de la lógica booleana; esto es, compuertas lógicas que devuelven un valor dependiendo de las entradas que se le dan al sistema. Existen ocho compuertas lógicas básicas con las cuales se pueden formar sistemas muy complejos: AND, OR, Inverter, Buffer, NAND, NOR, XOR y XNOR. Todas ellas son representadas mediante un símbolo y una tabla de valores de verdad, que es simplemente un cuadro donde se ubican todas las posibles entradas y los valores que devolvería la compuerta dados dichos valores.

Todo sistema computacional, por muy complejo que sea, no está compuesto por más que circuitos electrónicos que únicamente entienden un lenguaje binario. La lógica computacional se encarga de modelar y optimizar tales sistemas a este nivel.

Lógica computacional

La lógica es la capacidad de pensar en soluciones alternativas. Se remonta a la época de Aristóteles en la que desarrolló reglas para establecer un razonamiento encadenado.

La lógica es una rama del conocimiento que nos permite determinar que algo está aprobado por la razón como bien deducido o bien pensado. En pocas palabras en la forma más obvia y más fácil de hacer algo.

La lógica es muy importante, ya que determina la manera en que se puede resolver un problema. Es un nivel de abstracción sin el cual no es posible estructurar los pasos que generen lo que esperamos obtener.

La computadora trabaja con una lógica especial, exacta y matemática.

Aunque tal vez no te hayas dado cuenta, todas las acciones que realizas en la computadora están haciendo uso de esta lógica en la forma de procedimientos o secuencias de pasos que hay que realizar para lograr lo que se quiere.

Para poner a prueba tu agilidad mental, te recomiendo que descargues la presentación de PowerPoint "Pruebas de Lógica" dando clic en cualquier parte de este párrafo.

Algoritmo

Un algoritmo es un conjunto de pasos, instrucciones o acciones que se deben seguir y ejecutar de manera ordenada para alcanzar un fin deseado, un algoritmo es una especie de receta, de instrucciones para resolver n problema.

Los algoritmos son modos de resolución de problemas; cabe aclarar que no sólo son aplicables a la actividad intelectual, sino también a todo tipo de problemas relacionados con actividades cotidianas.

Los algoritmos llevan a cabo un proceso y por lo tanto, son ejecutados por un procesador, que es cualquier ente que ejecute el algoritmo. Puede ser humano o bien una computadora.

Se pueden clasificar en dos tipos:

• CUALITATIVOS. Son todos aquellos pasos o instrucciones descritos por medio de palabras que sirven para llegar a la obtención de una respuesta o solución de un problema cualquiera. Por ejemplo: la búsqueda de la definición de una palabra en un diccionario, encontrar un número telefónico en un directorio, escribir una receta de cocina, o el modo de usar un extintor de fuego.

•

• CUANTITATIVOS. Son aquéllos en los que sí intervienen cálculos numéricos. Por ejemplo: el cálculo de la nómina en una empresa, la conversión de unidades físicas o el cálculo del volumen de un sólido.

Características de los algoritmos

Ser preciso. Las actividades o pasos del algoritmo deben desarrollarse en orden estricto, ya que el desarrollo de cada paso debe seguir un orden lógico.

Ser definido. Esto quiere decir que siempre que se ejecute con los mismos datos, el resultado será el mismo. No puede

...