Stage de DEA. Rapport de stage.On définit des opérateurs de limites sur les fonctions. A l'aide de ces opérateurs, on définit de nouvelles classes de fonctions par clôture. On compare ces classes avec les fonctions élémentairement calculables (définies à partir de machines de Turing). On obtient ainsi une caractérisation des fonctions élémentairement calculables sous forme de clôture. || We define some limit operators with which we create a few new sets of functions as closures. We compare those classes with elementary computable functions, that are defined with Turing machines. This way, we have obtained a caracterization of elementary
Nous introduisons une hiérarchie de notions de calcul généralisé. L'idée est de regrouper en une not...
cote interne IRCAM: Giavitto11gNone / NoneNational audienceDans les années 1930, plusieurs notions d...
Une fonction sera dite calculable s'il existe un processus mécanique calculant la valeur de cette fo...
Stage de DEA. Rapport de stage.On définit des opérateurs de limites sur les fonctions. A l'aide de c...
Il existe de nombreux modèles de calcul sur les réels. Ces différents modèles calculent diverses fon...
Il existe de nombreux modèles de calcul sur les réels. Ces différents modèles calculent diverses fon...
Limit computable functions can be characterized by Turing jumps on the inputside or limits on the ou...
UN VIEUX RÊVE DEVIENT RÉALITÉ En 1936, le mathématicien britannique Alan Turing et le logicien améri...
Nous nous plaçons dans le modèle de calcul BSS sur des structures arbitraires. Nous présentons de no...
AbstractIn effective analysis, various classes of real numbers are discussed. For example, the class...
La calculabilité est centrée autour de la notion de fonction calculable telle que définie par Church...
Abstract. We explore two analogies between computability theory and a basic model of learning, namel...
International audienceCellular automata are discrete dynamical systems and a model of computation. T...
In this paper, we present the environment LIMITES based on the Computer Algebra System MuPAd. This e...
Recently, using a limit schema, we presented an analog and machine independent algebraic characteriz...
Nous introduisons une hiérarchie de notions de calcul généralisé. L'idée est de regrouper en une not...
cote interne IRCAM: Giavitto11gNone / NoneNational audienceDans les années 1930, plusieurs notions d...
Une fonction sera dite calculable s'il existe un processus mécanique calculant la valeur de cette fo...
Stage de DEA. Rapport de stage.On définit des opérateurs de limites sur les fonctions. A l'aide de c...
Il existe de nombreux modèles de calcul sur les réels. Ces différents modèles calculent diverses fon...
Il existe de nombreux modèles de calcul sur les réels. Ces différents modèles calculent diverses fon...
Limit computable functions can be characterized by Turing jumps on the inputside or limits on the ou...
UN VIEUX RÊVE DEVIENT RÉALITÉ En 1936, le mathématicien britannique Alan Turing et le logicien améri...
Nous nous plaçons dans le modèle de calcul BSS sur des structures arbitraires. Nous présentons de no...
AbstractIn effective analysis, various classes of real numbers are discussed. For example, the class...
La calculabilité est centrée autour de la notion de fonction calculable telle que définie par Church...
Abstract. We explore two analogies between computability theory and a basic model of learning, namel...
International audienceCellular automata are discrete dynamical systems and a model of computation. T...
In this paper, we present the environment LIMITES based on the Computer Algebra System MuPAd. This e...
Recently, using a limit schema, we presented an analog and machine independent algebraic characteriz...
Nous introduisons une hiérarchie de notions de calcul généralisé. L'idée est de regrouper en une not...
cote interne IRCAM: Giavitto11gNone / NoneNational audienceDans les années 1930, plusieurs notions d...
Une fonction sera dite calculable s'il existe un processus mécanique calculant la valeur de cette fo...