Visión general de etiquetas para: 'computabilidad'

Entradas en este sitio con 'computabilidad'

• TC: Conjuntos Recursivamente Enumerables. Indecidibilidad
  Se presentan en este capítulo los conjuntos recursivamente enumerables, y se estudian los primeros casos de separación entre éstos y los conjuntos recursivos por medio del
• TC: Funciones Recursivas
  Comenzaremos presentando tres procedimientos de definición de funciones. Intuitivamente, resultará evidente que si las funciones que se toman de partida para cada procedim
• TC: Programas y Funciones Computables
  Como ya comentamos en el capítulo anterior, para abordar cuestiones acerca de la computabilidad necesitamos elegir un  modelo de computación , que nos permita precisar lo
• TC: Preliminares
  Este capítulo está dedicado a introducir de forma muy somera los fundamentos de los conceptos y herramientas matemáticas que necesitaremos a lo largo del curso. Ha de tene
• ¿Se puede liberar la programación del estilo de von Neumann?
  Esta entrada contiene algunas notas extraídas de la charla que dio John Backus (pionero de la computación) al recibir el premio Turing en 1977. El punto más importante de
• Sobre la Inteligencia Artificial...
  La  Inteligencia Artificial (IA)  es un campo de investigación transdisciplinar que generalmente se relaciona con el desarrollo e investigación de sistemas que operan o ac
• Lo imposible (de Fernando Orejas)
  En su famoso artículo de 1936, del que ya se ha hablado en otras entradas de este blog, Turing hacía varias cosas notables. Primero, definía un modelo de máquina (la máqui
• Teoría Algorítmica de la Información
  La Teoría Algorítmica de la Información (AIT) es el resultado de poner la Teoría de la Información de Shannon y la Teoría de la Computabilidad de Turing en una coctelera y
• Teoría de la Computabilidad... ¿extinguida?
  A pesar de que con los nuevos planes de estudio asignaturas como TCO (Teoría de la Computabilidad) se dan por extinguidas, espero que su utilidad siga existiendo por medio

Etiquetas relacionadas