Glosario

Las siguientes no son definiciones formales sino ideas/nociones generales dadas en lenguaje coloquial o lenguaje no técnico o para poder entender mejor lo que estaré publicando 😊 

Se estará actualizando con cada post nuevo.

Algoritmo

Conjunto ordenado, finito de pasos bien definidos, no ambiguos. Los algoritmos pueden tener datos de entrada y estos datos pueden ser transformados en datos de salida.

Un algoritmo es cualquier programa escrito en cualquier lenguaje de programación.

Computable

Decimos que algo es computable si existe al menos una máquina de Turing que puede realizar esta tarea.

Notemos  que esta propiedad es algo fuerte, ya que dado que todas las computadoras existentes hasta ahora trabajan bajo este modelo, si algo es computable significa que puede ser realizado en cualquier computadora existente.

Demostración

(Dentro de las Matemáticas)

Argumento correcto para asentar la veracidad de un enunciado.

Dentro del sistema formal de las matemáticas, se pueden hacer afirmaciones o negaciones. Una demostración es una herramienta para verificar que una afirmación es verdadera o para refutar que lo es.

Máquina de Turing

Es el modelo teórico de computación bajo el que trabajan (directa o indirectamente) todas las computadoras construidas hasta ahora. 

Una forma de entender el modelo es: cualquier acción que pueda realizar una computadora puede ser traducida a una máquina teórica de Turing.

Por ejemplo, si una computadora puede sumar, entonces existe una máquina de Turing que también puede sumar.

 

Máquina de Turing que suma

Instagram (alerta nuevo post): https://www.instagram.com/mathandcss/

 

**El post debe entenderse como una explicación informal, parcial y que omite muchos detalles con fines informativos.**

Bibliografía

- Consultar bibliografía del post que contenga el término.