INFORMÁTICA. UNA DISCIPLINA BIO-PSICO-SOCIO-TECNO- CULTURAL Graciela Elisa Barchin


INFORMÁTICA. UNA DISCIPLINA BIO-PSICO-SOCIO-TECNO-
CULTURAL
Graciela Elisa Barchini1
Universidad Nacional de Santiago del Estero
Procedimiento mecánico: este concepto es primitivo, en el sentido de que
no se define a partir de otros.
Su significado es un procedimiento que tiene un número finito de pasos o procedimientos elementales que pueden ser seguidos mecánicamente
(sin necesidad de un esfuerzo mental adicional). Es decir que, en cada
paso, está claramente determinado cual es él o los pasos siguientes. La
forma más general de procedimiento mecánico es una máquina abstracta,
la máquina de Turing, que es el modelo formal de una computadora.
• Algoritmos de Markov: se puede pensar en el algoritmo como en un
mecanismo que toma una cadena de símbolos (los datos) y, aplicando
sucesivas transformaciones da como resultado otra cadena de símbolos.
Es una especie de "traductor" de un lenguaje en otro. Un ejemplo típico
de este punto de vista es el de los algoritmos de Markov o el de los
sistemas de reescritura.
• Función efectivamente calculable de los datos en los resultados. Tal
función es, en general, parcialmente definida pues para algunos datos
puede no haber solución. Una definición matemática propuesta para tal
tipo de funciones es la de función recursiva. Esta propuesta o tesis es
conocida como la tesis de Church.
Con el tiempo se ha demostrado que estos tres puntos de vista son
equivalentes. Resolver un problema computacional (o mejor, una clase
de problemas) significa: encontrar una máquina de Turing, o bien un
algoritmo de Markov o bien una función parcial recursiva que calcule o
reconozca las soluciones.
De estas tres formalizaciones la más difundida, en nuestra área, es la
máquina de Turing. La historia de la máquina Turing como modelo para
las ciencias cognoscitivas es especialmente interesante, pues arranca en
un campo muy ajeno a ellas, en la metamatemática.
La importancia de la máquina de Turing es triple
Por una parte, Turing abordó el problema decisorio (problema del
detenimiento), perteneciente a la metamatemática, mostró que no hay
algoritmo alguno para resolver el problema decisorio.
En segundo lugar, inspiró la construcción del computador digital de
propósito general, dando origen a la disciplina científica y a la tecnología
de la informática.
En tercer lugar, ofrece a los científicos cognoscitivos el modelo más útil
provisto hasta ahora para sus investigaciones.
Por otra parte, la teoría de la computabilidad explora la naturaleza de los
problemas que son accesibles a la mente humana y los clasifica en clases:
los demostrablemente irresolubles y los resolubles que admiten un
algoritmo para su solución.
Comprendida entre ambos grupos se encuentra una tercera categoría de
problemas los demostrablemente difíciles que, en principio, siempre es
posible resolver; para los cuales, solo se conocen algoritmos ineficientes.
La clase de problemas resolubles pueden por lo tanto descomponerse en
dos subclases: una formada por aquellos problemas que poseen algoritmos
eficientes de tiempo polinómico y la otra compuesta por los problemas
que solamente admiten algoritmos de tiempo exponencial.
A pesar de que estos dos grupos de problemas son bien distintos no
siempre es tarea fácil asignar a un problema dado a que categoría
pertenece.
En realidad, hay una clase muy interesante de problemas que parecen
ocupar una posición intermedia.
Es así como, Wood [20] califica a la teoría de la computabilidad como
un sistema de advertencia temprana (como la que se aplica para la
prevención de huracanes) que puede ahorrar a un solucionador de
problemas muchos desengaños y pérdida de energía y tiempo.
Esta concepción de la Informática como disciplina científica está
estrechamente vinculada con las denominadas Ciencias de la
Computación que se caracterizan por abordar los procesos que pueden ser (eficientemente) automatizados.
Fuente: INFORMÁTICA. UNA DISCIPLINA BIO-PSICO-SOCIO-TECNO-CULTURAL
Graciela Elisa Barchini1
Universidad Nacional de Santiago del Estero

Entradas populares de este blog

CERRAR SESIÓN o APAGAR EL EQUIPO.

Curso Excel 2010 4.3. Ampliar o reducir una selección

GLOSARIO CV: Tag