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...
    El campo de la Inteligencia Artificial (IA) clásica aparece en los años 50 como resultado de la comprensión del cerebro por medio de la neurociencia, las nuevas teorías ma
  • 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

matemáticas, yutzu