-
- 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)
Introduction à la calculabilité
Dans la même collection
Polyèdres et synthèse de programmes
Modélisation de la croissance des micro-organismes
Quelques algorithmes de calcul d'enveloppe convexe en 2D
Les mathématiques et la physique dans les effets spéciaux et les jeux vidéo
Caches, montrez-vous !
Théorie de l’appariement et applications actuelles
Copier le code pour partager la vidéo :
Polyèdres et synthèse de programmes
Modélisation de la croissance des micro-organismes
Quelques algorithmes de calcul d'enveloppe convexe en 2D
Les mathématiques et la physique dans les effets spéciaux et les ...
Caches, montrez-vous !
Théorie de l’appariement et applications actuelles
« Pirater » l’humain. Données, manipulations et enjeux éthiques
Le numérique face aux enjeux environnementaux et sociétaux
Des besoins en calcul de plus en plus performant
Les mathématiques de l'intelligence artificielle
Vers la navigation sociale des véhicules autonomes
Comment les plantes font-elles des mathématiques ?
Ordonnancement pour systèmes temps réel : conception et ...
Calcul reconfigurable: quand le programme est un circuit.
Perception multimodale et interaction sociable
Optimisation et Incertitudes sont-elles compatibles ?
Les mathématiques cachées du trafic routier
Rendre l’informatique plus verte
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