Skip to main content

Home/ eCulture/ Group items tagged problème de la décidabilité Alan Turing enigma machine de Turing Turing

Rss Feed Group items tagged

philippesalamank

La machine de Turing - 1 views

  •  
    La machine de Turing est un modèle de machine abstrait introduit en 1936 par le chercheur anglais Alan Turing [...] il propose une réponse [...] [au] problème de la décidabilité soit en substance: existe-t-il un algorithme qui décide si un énoncé formel dans un système logique est valide ou non.
1 - 1 of 1
Showing 20 items per page