¿Que es la lógica computacional?
Es una lógica utilizada en las ciencias de la computación, se utiliza fundamentalmente en los circuitos electrónicos y consta de un razonamiento bivalente, es decir con 1 y 0 o verdadero y falso.
Es decir que el pensamiento computacional es “el proceso de pensamiento que interviene en la formulación de los problemas y sus soluciones, de manera que las soluciones se representen de forma que pueda ser realizada por un procesador de información”
Estados altos y bajos
Dentro de la informática el 1 y el 0 se utilizan para representar los estados de "alto" y "bajo", respectivamente, en sistemas binarios. El sistema binario es la base fundamental del lenguaje de la computadora, donde toda la información se representa utilizando solo dos símbolos: 1 y 0.
El estado "alto" se refiere a la presencia de una señal eléctrica o a la presencia de un estado lógico verdadero, mientras que el estado "bajo" indica la ausencia de una señal eléctrica o un estado lógico falso. Estos estados son la base de la lógica digital y se utilizan para representar datos y realizar operaciones en sistemas informáticos, desde la transmisión de información hasta la ejecución de programas.
Algebra de Boole
Un poco de contexto....
La finalidad de la Electrónica Digital es procesar la información. Para ello utiliza las operaciones definidas por George Boole en su «investigación sobre las leyes del pensamiento», publicada en 1854. En una época de triunfo de las matemáticas en la tarea de «modelizar» el mundo físico, George Boole dio también forma matemática a la combinación de proposiciones; Boole introdujo, a la vez, un lenguaje formal (la lógica proposicional) y una estructura matemática (el álgebra de Boole) capaz de representar y de validar tal lenguaje.
Casi un siglo después, en 1938, al estudiar los complejos circuitos de relés que se utilizaban en la comunicación telefónica, Claude E. Shannon demostró que las operaciones booleanas son aptas para describir los circuitos con conmutadores y, también, para expresar cálculos en el sistema de numeración de base 2. Shannon estableció la posibilidad de utilizar la misma estructura matemática (el álgebra de Boole) como soporte de un sistema de numeración y cálculo (el sistema binario) y proporcionó una forma de «construir» las operaciones del álgebra booleana mediante la conexión de dispositivos físicos (los conmutadores).
Boole y Shannon fijaron los «cimientos» conceptuales para el procesamiento digital de la información. Gracias a ellos disponemos de un lenguaje formalizado capaz de expresar la combinación de proposiciones, de un sistema de numeración capaz de soportar cálculos aritméticos y de una forma de «materializar» (es decir, de construir máquinas capaces de ejecutar) tanto el lenguaje como el sistema de numeración.
La base matemática que soporta todo esto corresponde a la estructura de álgebra de Boole de dos elementos (el 0 y el 1): álgebra booleana binaria. Las «máquinas digitales», aunque solamente «saben» trabajar con el 0 y el 1 (una lógica dual muy limitada), son capaces de manejar, a más alto nivel (por programación), la lógica difusa, las redes neuronales, la inferencia matemática, la inteligencia artificial...
Compuertas Lógicas
¿Que es una compuerta logica?
Las compuertas lógicas son dispositivos que operan con estados lógicos y funcionan igual que una calculadora, de un lado ingresan los datos, ésta realiza una operación, y finalmente, se muestra el resultado. Cada una de las compuertas lógicas se las representa mediante un Símbolo, y la operación que realiza (Operación lógica) se corresponde con una tabla, llamada Tabla de Verdad.
Son pequeños circuitos digitales integrados cuyo funcionamiento se adapta a las operaciones y postulados del álgebra de Boole.