calculable
61Fonctions calculables — Calculabilité La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est une branche de la logique mathématique et de l informatique théorique. Alors que la notion intuitive de fonction calculable est aussi vieille que les …
62Incalculable — Calculabilité La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est une branche de la logique mathématique et de l informatique théorique. Alors que la notion intuitive de fonction calculable est aussi vieille que les …
63Théorie de la calculabilité — Calculabilité La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est une branche de la logique mathématique et de l informatique théorique. Alors que la notion intuitive de fonction calculable est aussi vieille que les …
64Théorie de la récursion — Calculabilité La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est une branche de la logique mathématique et de l informatique théorique. Alors que la notion intuitive de fonction calculable est aussi vieille que les …
65Algorithm characterizations — The word algorithm does not have a generally accepted definition. Researchers are actively working in formalizing this term. This article will present some of the characterizations of the notion of algorithm in more detail. This article is a… …
66RÉCURSIVITÉ — Les (semi ) fonctions récursives ont été introduites pour donner un équivalent mathématique à la notion métamathématique intuitive de (semi ) fonction effectivement ou mécaniquement calculable (cf. LOGIQUE MATHÉMATIQUE, chap. 4). Par souci de… …
67Ricardo Zamora Trophy — The Ricardo Zamora Trophy ( es. Trofeo Ricardo Zamora) is a football (soccer) award, established by Spanish newspaper MARCA in 1958. The award goes to the goalkeeper who has the lowest goals to games ratio. [Similar to goals against average in… …
68Busy beaver — Castor affairé Pour les articles homonymes, voir castor. Le castor affairé, dont le nom a été proposé par le mathématicien hongrois Tibor Radó, est l un des premiers exemples de fonction non calculable. Un castor affairé est une machine de Turing …
69Castor Affairé — Pour les articles homonymes, voir castor. Le castor affairé, dont le nom a été proposé par le mathématicien hongrois Tibor Radó, est l un des premiers exemples de fonction non calculable. Un castor affairé est une machine de Turing à n états qui… …
70Castor affaire — Castor affairé Pour les articles homonymes, voir castor. Le castor affairé, dont le nom a été proposé par le mathématicien hongrois Tibor Radó, est l un des premiers exemples de fonction non calculable. Un castor affairé est une machine de Turing …
