Ciencias
de la computación
Las ciencias de la computación o ciencias
computacionales son aquellas
que abarcan las bases teóricas de la información y la computación, así como su aplicación en sistemas comunicacionales. Existen diversos campos o disciplinas
dentro de las ciencias de la computación o ciencias comunicacionales; algunos
resaltan los resultados específicos del cómputo (como los gráficos por computadora), mientras que
otros (como la teoría de la complejidad computacional) se relacionan
con propiedades de los algoritmos usados al realizar cómputos y otros se
enfocan en los problemas que requieren la implementación de cómputos. Por
ejemplo, los estudios de la teoría de lenguajes de programación describen un cómputo, mientras que la programación
de computadoras aplica lenguajes de programación específicos para desarrollar una
solución a un problema computacional específico.
La informática se refiere al tratamiento automatizado
de la información de una forma útil y oportuna. No se debe confundir el
carácter teórico de esta ciencia con otros aspectos prácticos como el uso de Internet.
Informática
La informática, también llamada en América computación,
es una ciencia que estudia
métodos, procesos, técnicas, con el fin de almacenar, procesar y transmitir información y datos en formato digital. La informática se ha desarrollado rápidamente a
partir de la segunda mitad del siglo XX, con la aparición de tecnologías tales
como el circuito integrado, Internet y el teléfono móvil.
El vocablo informática proviene del alemán informatik acuñado
por Karl
Steinbuch en 1957. Pronto, adaptaciones locales del
término aparecieron en francés, italiano, español, rumano, portugués y
holandés, entre otras lenguas, refiriéndose a la aplicación de las computadoras
para almacenar y procesar la información. El término es una contracción de las palabras information y automatic (información
automática). En lo que hoy día conocemos como informática confluyen muchas de
las técnicas, procesos y máquinas (computadoras) que el hombre ha desarrollado
a lo largo de la historia para apoyar y potenciar su capacidad de memoria, de
pensamiento y de comunicación.
La Carrera de Computación e
Informática forma profesionales capaces de planear, diseñar,
organizar, producir, operar y dar soporte técnico a los sistemas electrónicos
para el procesamiento de datos, a los sistemas de programación de base de datos
y de aplicación del equipo de cómputo, así como efectuar el control digital de
procesos automáticos.
Esta teoría explora los límites de la posibilidad
de solucionar problemas mediante algoritmos. Gran parte de las ciencias
computacionales están dedicadas a resolver problemas de forma algorítmica, de
manera que el descubrimiento de problemas imposibles es una
gran sorpresa. La teoría de la computabilidad es útil para no tratar de
resolver algoritmicamente estos problemas, ahorrando así tiempo y esfuerzo.
Los problemas se clasifican en esta teoría de
acuerdo a su grado de imposibilidad:
·
Los computables son
aquellos para los cuales sí existe un algoritmo que siempre los resuelve cuando
hay una solución y además es capaz de distinguir los casos que no la tienen.
También se les conoce como decidibles,resolubles o recursivos.
·
Los semicomputables son
aquellos para los cuales hay un algoritmo que es capaz encontrar una solución
si es que existe, pero ningún algoritmo que determine cuando la solución no
existe (en cuyo caso el algoritmo para encontrar la solución entraría a un bucle
infinito). El ejemplo clásico por excelencia es el problema de la parada. A estos problemas
también se les conoce como listables, recursivamente
enumerables o reconocibles, porque si se enlistan todos
los casos posibles del problema, es posible reconocer a
aquellos que sí tienen solución.
·
Los incomputables son
aquellos para los cuales no hay ningún algoritmo que los pueda resolver, no
importando que tengan o no solución. El ejemplo clásico por excelencia es el problema de la implicación lógica, que consiste
en determinar cuándo una proposición lógica es un teorema;
para este problema no hay ningún algoritmo que en todos los casos pueda
distinguir si una proposición o su negación es un teorema.