-
- Date de réalisation : 5 Juin 2013
- Durée du programme : 61 min
- Classification Dewey : Analyse numérique, Vérification, essai, mesure, débogage
-
- Catégorie : Conférences
- Niveau : niveau Master (LMD), Formation continue
- Disciplines : Mathématiques, Informatique, Informatique
- Collections : Science Info Lycée Profs : conférences de formation des professeurs du secondaire en science informatique.
- ficheLom : Voir la fiche LOM
-
- Auteur(s) : PAPAZIAN Christophe
- producteur : Académie de Versailles , INRIA (Institut national de recherche en informatique et automatique)
Dans la même collection
























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 .
commentaires
Ajouter un commentaire Lire les commentaires