Introduction à la calculabilité

Auteur(s) : PAPAZIAN CHRISTOPHE    05-06-2013  Éditeur(s) : Académie de Versailles   , INRIA (Institut national de recherche en informatique et automatique)   ;     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 les propriétés qui se dégagent de tous les systèmes de programmation ? et les conséquences qui vont en découler . Mots-clés libres : calculabilité, calcul informatique Classification générale : Mathématiques Informatique Accès à la ressource : http://www.canal-u.tv/video/fuscia/introduction_a_... rtmp://fms2.cerimes.fr/vod/fuscia/introduction.la.... http://www.canal-u.tv/video/fuscia/dl.1/introducti... Conditions d'utilisation : Droits réservés à l'éditeur et aux auteurs

DONNEES PEDAGOGIQUES Type pédagogique : cours / présentation DONNEES TECHNIQUES Format : video/x-flv Taille : 291.92 Mo Durée d'exécution : 1 heure 23 secondes

Exporter au format XML