Introduction à la calculabilité

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 les propriétés qui se dégagent de tous les systèmes de programmation ? et les conséquences qui vont en découler .

Disciplines : Analyse numérique,Vérification, essai, mesure, débogage
Mots-clés : calculabilité,calcul informatique,Georg Cantor (1845-1918)
Type de document : image en mouvement
Type de ressource : lecture
Niveau : master,formation continue
Auteurs ou éditeurs : Christophe PAPAZIAN,Académie de Versailles,INRIA (Institut national de recherche en informatique et automatique)