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