Documentos de Académico
Documentos de Profesional
Documentos de Cultura
INTRODUCCIN A LA INFORMTICA
Actividad de Proceso
ACTIVIDAD N 4
Elabore un listado de ejemplos de las tres formas de pensamiento detallados anteriormente, teora, abstraccin y
diseo.
El paradigma de la teora tiene sus races en la matemtica y la lgica, cuyo legado nos permite trabajar con
algoritmos complejos y sutiles. El paradigma de la abstraccin se vincula a la larga tradicin del mtodo cientfico,
cuyo legado nos permite formular y probar hiptesis sobre algoritmos, mquinas y modelos. El paradigma del
diseo en tanto, se origina en la larga tradicin de la ingeniera, cuyo legado nos capacita para disear mquinas
capaces de calcular correctamente, y de procesar informacin en dominios en los que se desarrolla el trabajo
humano.
La Informtica es considerada una disciplina y una profesin de ah que, quien se desempee laboralmente en ese
campo deba ser competente en estas tres formas de pensar.
TEORA
Los antiguos griegos utilizaron la teora cuando desarrollaron el mtodo axiomtico y estudiaron los criterios
formales del razonamiento.
La invencin de Napier de los logaritmos, implic la teora.
Los trabajos de Galileo implicaban teora, al emplear tcnicas matemticas para trabajar con sus modelos.
El uso del modelo de Boole para obtener conclusiones es un ejemplo de la aplicacin de la teora.
Leibniz utiliz la teora, en la investigacin de la aritmtica binaria.
El conocimiento y utilizacin por parte de von Neumann, de los trabajos de Gdel y Turing contribuyeron a la
teora.
ABSTRACCIN
Los antiguos griegos utilizaron abstraccin cuando consideraron el razonamiento ordinario, observaron sus
patrones y formularon otros nuevos.
Los babilonios, y egipcios utilizaron la abstraccin al definir estndares de problemas, tales como el del inters
compuesto.
La introduccin del lgebra de Vite, implicaba abstraccin, esto es, expresar problemas de forma simblica.
Los trabajos de Galileo implicaban, abstraccin, porque utilizaban la matemtica para modelizar eventos y
procesos del mundo real, obtuvieron resultados para comprobar sus hiptesis.
El intento de utilizacin de smbolos en la modelizacin del razonamiento de Boole muestra la utilizacin de la
abstraccin.
Fuente: http://ocw.upm.es/ciencia-de-la-computacion-e-inteligencia-artificial/fundamentosprogramacion/otrosrecursos/brevehistoriainformatica.pdf