Canal-U

Mon compte
Inria

Introduction à la calculabilité


Copier le code pour partager la vidéo :
<div style="position:relative;padding-bottom:56.25%;padding-top:10px;height:0;overflow:hidden;"><iframe src="https://www.canal-u.tv/video/inria/embed.1/introduction_a_la_calculabilite.12892?width=100%&amp;height=100%" style="position:absolute;top:0;left:0;width:100%;height: 100%;" width="550" height="306" frameborder="0" allowfullscreen scrolling="no"></iframe></div> Si vous souhaitez partager une séquence, indiquez le début de celle-ci , et copiez le code : h m s
Auteur(s) :
PAPAZIAN Christophe

Producteur Canal-U :
Inria
Contacter le contributeur
J’aime
Imprimer
partager facebook twitter Google +

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 .

  •  
  •  
    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)
  •  
    Langue : Français
    Mots-clés : calculabilité, calcul informatique, Georg Cantor (1845-1918)
 

commentaires

Ajouter un commentaire Lire les commentaires
*Les champs suivis d’un astérisque sont obligatoires.
Aucun commentaire sur cette vidéo pour le moment (les commentaires font l’objet d’une modération)
 

Dans la même collection

 Des besoins en calcul de plus en plus performant
 Optimisation et Incertitudes sont-elles compatibles ?
 Les mathématiques cachées du trafic routier
 Rendre l’informatique plus verte
 La linguistique expérimentale sur le web
 Architecture de calcul stochastique
 Les réseaux WiFi : principes et performances
 L'intelligence ambiante
 Probabilité et Informatique : du modèle à l'algorithme
 L’analyse non lisse pour la modélisation et la simulation
 Intelligence artificielle et reconnaissance visuelle
 Objets connectés et communications sans fil : fuites de données et traçage
 Propagation d'espèces en biologie
 Apport de l'informatique à la génomique des cancers
 Modélisation de l'évolution des espèces
 Optimisation multi-objectifs
 Modélisation de nano-structures
 Architectures multi-coeurs, fiabilité et optimisation
 Langages et sémantique
 Statistique des événements extrêmes
 HPC, architectures et performances
 Smartphones et vie privée
 Arithmétique et calcul
 Grands systèmes informatiques
 Systèmes de prévision numérique en environnement
 Internet, un réseau de réseaux : fonctionnement et organisation
 Femmes et informatique
 Détection d'objets sur des images
 Bio-informatique et applications
 Internet et sécurité des données
 Les réseaux radio de la ville numérique : 1ère partie
 Les réseaux radio de la ville numérique : 2ème partie
 Géométrie numérique : du réel au virtuel : 1ère partie
 Géométrie numérique : du réel au virtuel : 2ème partie
 Théorie algorithmique de l'information
 Technologie des moteurs de recherche sur le web : systèmes de gestion des données
 Les nombres et l'ordinateur
 Éléments d'algorithmique : mariages stables
 Interprétation de contenus d'images (Visual object recognition) : 1ère partie
 Interprétation de contenus d'images (Visual object recognition) : 2eme partie
 Modélisation mathématique en biologie : quand les gènes jouent la montre : 1ère partie
 Modélisation mathématique en biologie : quand les gènes jouent la montre : 2ème partie
 Comment se déplacent les robots ? : 1ère partie
 Comment se déplacent les robots ? : 2ème partie
 Reconnaissance d'activités en environnement "intelligent"
 Le hasard fait bien les choses : 1ère partie
 Le hasard fait bien les choses : 2ème partie
 Les robots, des puces plein la tête
 Epistémologie de l'informatique et applications
 Accès aux vidéos en ligne : comment repousser les limites des tuyaux ?: 1ère partie
 Accès aux vidéos en ligne : comment repousser les limites des tuyaux ?: 2ème partie
 Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
 Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie
 Création de mondes virtuels animés : 1ère partie
 Création de mondes virtuels animés : 2ème partie
 Algorithmes et génomes : analyse informatique de l'information génétique : 1ere partie
 Algorithmes et génomes : analyse informatique de l'information génétique : 2ème partie
 Premiers principes des langages de programmation
 Les machines d'aujourd'hui et de demain
 Introduction à l'algorithmique, structures de contrôle et de données
 Résolutions numériques de problèmes, quelques grandes familles d'algorithmes
 Codage et cryptographie
 Quelques rudiments de calculabilité et de complexité
 Algorithmes de transmission et de recherche de l'information dans les réseaux de communication
 La recherche d'information, les moteurs de recherche et le pageRank
 Expériences sur l’enseignement d’informatique en Tunisie
 Combien d’objets dans une image ?
 Pourquoi mon ordinateur calcule faux?
 L'imagerie satellitaire : une aide à l'enseignement de l'informatique
 Calcul en précision arbitraire
 L’informatique dans les sciences de la vie
 Expériences personnelles dans l’enseignement de l’informatique et du monde numérique
 Les algorithmes de classement utilisés dans les moteurs de recherche
FMSH
 
Facebook Twitter Google+
Mon Compte