LOGICA E INFORMATICA

●Lógica e informática
Las relaciones entre la lógica y la informática son recíprocas. Aparte de la computación de la lógica, es decir, del uso efectivo del computador como instrumento para la solución de problemas lógicos, es interesante considerar lo que podríamos llamar lógica de la computación, entendiendo por tal el estudio de las relaciones de fundamentación de la lógica con respecto a lainformática, tanto en el plano de la teoría como en el de la técnica.
Desde el punto de vista estrictamente teórico, baste señalar que las teorías de la computabilidad (teoría de máquinas de Turing, teoría de funciones recursivas), que constituyen, por así decirlo, la ciencia a priori de la computación, son una de las grandes conquistas de la lógica matemática del siglo veinte. De hecho fueronideadas por mentes lógicas allá por los años treinta, antes de que fuese efectivamente construido ninguno de los modernos computadores digitales (el primero de los cuales, el MARK I de la Universidad de Harvard, vio la luz en mayo de 1944).
Desde el punto de vista tecnológico, las relaciones de la lógica con la informática son asimismo fundamentales, en el doble plano estructural y funcional. Desdedicho punto de vista tecnológico se suele distinguirse en el computador entre el hardware (palabra inglesa que podría traducirse literalmente por «maeterial duro»), que es la manufactura sólida de la máquina, y el software (literalmente «material blando»), que es el conjunto de cintas y material afín que sirve de soporte a los programas que regularan su funcionamiento. En la confección de loscircuitos que integran el «hardware», es decir, la estructura sólida del computador, juega un papel importante el conocimiento del álgebra de Boole (Lógica de circuitos). Por lo que respecta al ámbito del «software», que corresponde, por así decirlo, al plano funcional, los métodos de formalización, canonización y recursión propios de la lógica simbólica – que han servido también de base a larevolución lingüística de Chomsky – significan una valiosa ayuda en la confección de los lenguajes artificiales de programación.”
Los computadores digitales [ver Digital / Analog] son máquinas electrónicas que realizan cálculos aritméticos y lógicos de una manera automática y con arreglo a métodos de tipo discreto. Un computador digital consta de un cuerpo central integrado por:
a) una unidad dememoria, donde se almacenan datos e instrucciones,
b) una unidad central de proceso, donde se realizan los cálculos, y una serie de aparatos periféricos adosados al cuerpo central, que suelen consistir en:
c) una o más unidades de entrada, que son dispositivos a través de los cuales recibe el computador información del exterior.
Eventualmente, el computador puede estar también conectadocon memorias auxiliares que amplían su capacidad de almacenamiento de información.
Las órdenes necesarias para resolver un problema y los datos correspondientes son suministrados a través de las unidades de entrada al computador, que almacena en su memoria esa información y ejecuta luego en la unidad central los cálculos indicados, para emitir finalmente por las unidades de salida los resultadosrequeridos.
Lenguajes de programación
Son lenguajes artificiales, de sintaxis muy rigurosa, específicamente diseñados para impartir órdenes al computador. El lenguaje más propio del computador, o lenguaje de máquina tiene por único alfabeto el par de símbolos contenidos en el llamado «sistema binario»: los dígitos 0 y 1. El sistema binario tiene la ventaja, desde el punto de vista tecnológico, deque puede ser representado en el interior de la máquina mediante dispositivos materiales biestables (de dos estados). Un conmutador eléctrico ordinario es un ejemplo de dispositivo biestable: el paso de la corriente sería la materialización del dígito binario 1 y la ausencia de paso de corriente la materialización del 0.
Las frases en este lenguaje son largas series concatenadas de unos y...