Ressource pédagogique : Introduction à la calculabilité

Mots-clés :
Accéder aux ressources pédagogiques
cours / présentation - Date de création : 05-06-2013
Auteur(s) : Christophe PAPAZIAN
Partagez !

Présentation de: Introduction à la calculabilité

Informations pratiques sur cette ressource

Langue du document : Français
Type pédagogique : cours / présentation
Niveau : master, formation continue
Durée d'exécution : 1 heure 23 secondes
Contenu : image en mouvement
Document : video/mp4
Taille : 291.92 Mo
Droits d'auteur : libre de droits, gratuit
Droits réservés à l'éditeur et aux auteurs.

Description de la ressource pédagogique

Description (résumé)

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 .

"Domaine(s)" et indice(s) Dewey

  • Analyse numérique (518)
  • Vérification, essai, mesure, débogage (005.14)

Thème(s)

Intervenants, édition et diffusion

Éditeur(s)

Diffusion

Document(s) annexe(s) - Introduction à la calculabilité

Partagez !

AUTEUR(S)

  • Christophe PAPAZIAN

ÉDITION

Académie de Versailles

INRIA (Institut national de recherche en informatique et automatique)

EN SAVOIR PLUS

  • Identifiant de la fiche
    12892
  • Identifiant
    oai:canal-u.fr:12892
  • Schéma de la métadonnée
  • Entrepôt d'origine
    Canal-U
  • Date de publication
    05-06-2013