La computadora

Definición de Computadora

Ordenador (en España), computer. Dispositivo electrónico compuesto básicamente de procesador, memoria y dispositivos de entrada/salida. Poseen parte física (hardware) y parte lógica (software), que se combinan entre sí para ser capaces de interpretar y ejecutar instrucciones para las que fueron programadas. Una computadora suele tener un gran software llamado sistemaoperativo que sirve como plataforma para la ejecución de otras aplicaciones o herramientas.

En las computadoras se produce lo que se conoce como el Ciclo de Procesamiento de la Información, que consta de entrada, procesamiento, salida y almacenamiento.

Teoría de la computación

De Wikipedia, la enciclopedia libre

Saltar a navegación, búsqueda
|[pic] |Este artículo o secciónnecesita referencias que aparezcan en una publicación acreditada, como revistas especializadas,|
| |monografías, prensa diaria o páginas de Internet fidedignas. |
| |Puedes añadirlas así o avisar al autor principal del artículo en su página de discusión pegando: {{subst:Aviso |
| |referencias|Teoría dela computación}} ~~~~ |

La teoría de la computación es una ciencia, en particular una rama de la matemática y de la computación que centra su interés en el estudio y definición formal de los cómputos.
Se le llama cómputo a la obtención de una solución o resultado (generalmente en el sentido matemático/aritmético deltérmino), a partir de ciertos datos o entradas utilizando para ello un proceso o algoritmo.

Historia [editar]

Desde épocas antiguas, los cómputos han existido y se han efectuado de manera mental o asistida por rudimentos como cuentas, lápiz y papel, o tablas.
Los antecedentes de la computación mecánica, pueden trazarse hasta épocas antiguas, con el desarrollo de artefactos para asistir elproceso de los cálculos matemáticos mentales, por ejemplo el ábaco, la regla de cálculo o el quipu.
Aunque quizás sea más propicia como ejemplo precursor, la célebre calculadora griega de Antikythera, utilizada según los expertos para asistir en cálculos astronómicos, y considerada por muchos como la primera computadora. Otro ejemplo precursor son las máquinas sumadoras de Blaise Pascal. Aparatos quedemuestran una notable pericia de sus creadores en el conocimiento sobre la forma de elaborar los cálculos deseados, al grado de poder representarlos en la forma de mecanismos más o menos elaborados.
Sin embargo, la teoría de la computación como ciencia comienza propiamente a principios del siglo XX, poco antes que las computadoras electrónicas fuesen inventadas.
En ese época varios matemáticosse preguntaban qué clase de problemas de la matemática, podían resolverse por "métodos simples" y cuales no. Y para ello debían en principio desarrollar una definición de "método para resolver problemas", es decir, necesitaban el desarrollo de una noción formal (matemática) de lo que es un cálculo/algoritmo y la aritmética lógica.

Durante el siglo XIX y XX diversas corrientes filosóficasallanaron el camino de la computación a partir de las definiciones de sistemas formales. Destacando Kurt Gödel y Bertrand Russell entre otros.
Varias definiciones y modelos formales de lo que es un cálculo fueron propuestos por precursores del dominio como Alan Turing y Alonzo Church; entre esos modelos están la máquina de Turing, las funciones recursivas, y el cálculo Lambda. Todos los cuales se hademostrado posteriormente que son equivalentes en expresividad computacional, es decir, todos pueden representar la misma clase de cómputos o algoritmos, aunque lo hagan de maneras diferentes.
Se asume normalmente que las computadoras electrónicas son también equivalentes en capacidad de cómputo a cualquiera de esos tres modelos mencionados anteriormente, pero no existe una prueba formal de...