16 résultats : calculabilité

Recherche en cours

Par mots-clef = calculabilité

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

16 résultats

page 2 sur 2

résultats 11 à 16

Introduction à la calculabilité

Description : Qu'est-ce que le calcul en Informatique ? Dans la première partie on s'intéresse à l'aspect épistémologique : comment s'est-on interessé au problème de la calculabilité en informatique ? on abordera ensuite les bases de la calculabilité : qu'est-ce qu'un système de programmation ? quelles sont ...

Mots clés : calculabilité, calcul informatique, Georg Cantor (1845-1918)

Date : 05-06-2013

Droits : Droits réservés à l'éditeur et aux auteurs.

Introduction à la calculabilité

Ajouter à mon panier

Accéder aux documents

Variabilité, limite, stabilité en informatique

Description : Variabilité, limite, stabilité : en informatique, il y a plusieurs façons de donner du sens à ces termes, que l’on considère les technologies, la programmation, ou la théorie du calcul. Quelques pistes de réflexion...

Mots clés : algorithme, problème de la décision, calculabilité, technologie, langage de programmation, algorithme génétique, fuscia

Date : 20-02-2007

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Variabilité, limite, stabilité en informatique

Ajouter à mon panier

Accéder au document

Algorithmes, mode d’emploi

Description : Les algorithmes permettent de mécaniser calculs et traitements. Ils sont à la base du moindre programme où se combinent leurs ingrédients. Leur étude révèle les potentiels et les limites de l’informatique.

Mots clés : algorithme, machine de Turing, calculabilité, thèse de Church, complexité, fuscia

Date : 27-11-2008

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Algorithmes, mode d’emploi

Ajouter à mon panier

Accéder au document

La pensée informatique

Description : Peut-on définir un mode de pensée spécifique à l’informatique ? La pensée informatique est présentée ici comme un ensemble d’attitudes et de connaissances universellement applicables.

Mots clés : calculabilité, puissance de calcul, raisonnement par récurrence, parallélisation, abstraction, recherche en informatique, fuscia

Date : 15-01-2009

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

La pensée informatique

Ajouter à mon panier

Accéder au document

Théorie des langages

Description : Ce cours vise à définir de façon rigoureuse ce que sont les langages, à trouver des moyens de les spécifier et des techniques pour reconnaître si un mot appartient à un langage, ainsi qu'éventuellement sa structure. Ces techniques sont utilisées dans les outils les plus courants du programmeur : ...

Mots clés : théorie des langages, langage formel, compilation, langage de programmation, automate fini, grammaire syntagmatique, analyseur, calculabilité

Date : 01-09-2011

Droits : Ressource libre d'accès, propriété conjointe des auteurs et de l'établissement d'appartenance.

Alan Turing, itinéraire d’un précurseur

Description : Retracer le parcours scientifique d’Alan Turing c’est explorer en mathématiques, surprendre en physique et recommencer en biologie… C’est suivre un cheminement intellectuel qui témoigne d’une grande liberté d’esprit.

Mots clés : histoire de l'informatique, Alan Turing, calcul, calculabilité, philosophie des sciences, fuscia

Date : 21-12-2012

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Alan Turing, itinéraire d’un précurseur

Ajouter à mon panier

Accéder au document

Rebondir