Está en la página 1de 4

LA COMPUTACIN

Lateora de la computacines un conjunto de conocimientos racionales,


sistematizados y funcionales que se centran en el estudio de laabstraccinde
los procesos que ocurren en la realidad con el fin de reproducirlos con ayuda
desistemas formales, es decir, a travs de cdigos de caracteres
einstruccioneslgicas, reconocibles por el ser humano, con capacidad de
sermodeladasen las limitaciones de dispositivos que procesan informacin y que
efectan clculos como, por ejemplo, elordenador. Para ello, se apoya en
lateora de autmatas, a fin de simular y estandarizar dichos procesos, as como
para formalizar los problemas y darles solucin.

HISTORIA
La teora de la computacin comienza propiamente a principios del siglo XX, poco antes que las computadoras electrnicas
fuesen inventadas. En esta poca varios matemticos se preguntaban si exista un mtodo universal para resolver todos
los problemas matemticos. Para ello deban desarrollar la nocin precisa de mtodo para resolver problemas, es decir, la
definicin formal dealgoritmo.
Algunos de estos modelos formales fueron propuestos por precursores comoAlonzo ChurchSe ha mostrado que estos
modelos son equivalentes en el sentido de que pueden simular los mismos algoritmos, aunque lo hagan de maneras
diferentes. Entre los modelos de cmputo ms recientes se encuentran loslenguajes de programacin, que tambin han
mostrado ser equivalentes a los modelos anteriores; esto es una fuerte evidencia de laconjetura de Church-Turing, de
que todo algoritmo habido y por haber se puede simular en una mquina de Turing, o equivalentemente, usando funciones
recursivas. En 2007 Nachum Dershowitz y Yuri Gurevich publicaron una demostracin de esta conjetura basndose en
ciertaaxiomatizacinde algoritmos.1
Uno de los primeros resultados de esta teora fue la existencia de problemas imposibles de resolver algoritmicamente,
siendo elproblema de la paradael ms famoso de ellos. Para estos problemas no existe ni existir ningn algoritmo que los
pueda resolver, no importando la cantidad de tiempo o memoria se disponga en una computadora. Asimismo, con la llegada
de las computadoras modernas se constat que algunos problemas resolubles en teora eran imposibles en la prctica,
puesto que dichas soluciones necesitaban cantidades irrealistas de tiempo o memoria para poderse encontrar.....

MI BIOGRAFA
Mi nombre es Jeison Stiven Cruz Cruz, nac en Chiquinquir el
da 13 de mayo de 1999 en Chiquinquir, actualmente vivo con
mis padres y mi hermano, mi pap se llama David Alberto Cruz
Castro, Mi mam Fanny Cristiana Cruz Parra, y mi hermano
David Ferney Cruz Cruz, cuando salga de grado 11 quisiera
estudiar Ingeniera de sistemas, me gusta el baloncesto, tocar
guitarra, salir a montar bicicleta, me gusta el dibujo tcnico
una carrera secundaria seria arquitectura si Dios me lo
permite.