Fonctions calculables

Fonctions calculables

data.idref

Export biblio

Identifiant pérenne de la notice : 027844536

URI de l'entité : http://www.idref.fr/027844536/id

Notice de type Rameau

Point d'accès autorisé

Fonctions calculables

Variante de point d'accès

Calculabilité, Concept de

[Nom commun]

Notices d'autorité liées

Autre Décidabilité (logique mathématique) - Voir aussi

Thèse de Church

Mathématiques constructives

Identifiants externes

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb119798658

Utilisation dans Rameau

Le point d'accès ne peut être employé que dans un point d'accès sujet

Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

Terme équivalent dans un autre système : Computable functionsDate de consultation du référentiel ou de la classification externe : 2017-02-09URI : http://id.loc.gov/authorities/subjects/sh85029469Code du système ou de la classification utilisé : LCSH

Terme équivalent dans un autre système : Fonctions calculablesDate de consultation du référentiel ou de la classification externe : 2000-09-12Code du système ou de la classification utilisé : RVMLaval

Informations sur la notice

Identifiant de la notice : 027844536

RCR créateur de la notice : 0004

Date de création : 07-07-1985

RCR dernier modificateur de la notice : 341720001

Date de dernière modification : 16-06-2021 à 10 h 37

... Références liées : ...