Now showing documents 1-1 of 1

    • Formalisation du concept de calculabilité effective

      Désilets, Jacques (Université de Sherbrooke, 1971)
      Une fonction sera dite calculable s'il existe un processus mécanique calculant la valeur de cette fonction pour des arguments quelconques. Cette phrase contient sans doute plusieurs points obscurs que nous nous proposons ...