Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 17335
Label UNT Conférences

le (1h31m43s)

Premiers principes des langages de programmation

Dans cette vidéo, Gilles Dowek fait un cours introductif, à destination des Professeurs des Lycées, de la Science Informatique (et de ses quatre piliers: Algorithme, Langage, Machine, Information) complété d'une analyse fine de la sémantique des ingrédients des algorithmes (instruction, affectation de valeurs à une variable, déclaration, séquence, test, boucle, état) indépendamment du langage informatique utilisé. Il donne les fondamentaux qui permettent aux enseignants d'enseigner l'algorithmique en seconde ou de faire connaitre les objets numériques dans les enseignements d'option. Ce cours a été donné en juin 2009 et juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA ...
Voir la vidéo
Label UNT Conférences

le (1h25m52s)

Les machines d'aujourd'hui et de demain

Dans cette vidéo, Albert Cohen montre les liens entre la science informatique et l'architecture des ordinateurs, donc leur conception. Il explique les outils logiciels permettant de profiter des performances des processeurs (du compilateur aux outils liés au système d'exploitation). Sur les processeurs classiques, il suffit de compiler (de traduire en langage machine) le programme pour l'exécuter et lui permettre d'accéder aux ressources de l'ordinateur. Sur les nouveaux processeurs, il y a une vraie rupture et les interactions entre architectures de machines et langages de programmation deviennent de vrais défis scientifiques passionnants. Un exemple est celui des langages de programmation pour ...
Voir la vidéo
Label UNT Conférences

le (1h1m23s)

Codage et cryptographie

Dans cet exposé, Daniel Augot, aborde à partir du petit jeu Marienbad et la fonction "ou exclusif", les mécanismes algébriques et algorithmiques qui fondent les mécanismes de chiffrage et de codage utilisés en informatique. Plus précisément, les nimbers (ou nombres de Grundy) sont définis pour formaliser ces éléments, ils constituent une belle structure algébrique de corps commutatif infini de caractéristique deux. Leurs applications au codage pour transmettre un signal dans un canal, à la stéganographie (insertion de messages dans une image ou un objet numérique) et au chiffrement par flot sont détaillées.Ce cours a été donné en juin 2010 lors ...
Voir la vidéo
Label UNT Conférences

le (1h21m10s)

Quelques rudiments de calculabilité et de complexité

Dans cet exposé, Paul Gastin, à travers des exemples concrets tel que le jeu du Sudoku, pose les deux problématiques fondamentales de l'algorithmique théorique que sont calculabilité et complexité, en définissant les notions et en donnant des jalons historiques de Hilbert à Gödel et Turing sur les grandes étapes des idées à ce sujet. Il définit les classes de complexité et donne quelques clés pour les évaluer.Ce cours a été donné en juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA à destination des professeurs de mathématiques d'Ile de France. Il est composé d'une présentation et d'une ...
Voir la vidéo
Label UNT

le (2h7s)

Introduction à l'algorithmique, structures de contrôle et de données

Dans cet exposé, François Laroussinie introduit la notion d'algorithme à travers ces éléments clés: structures de contrôle et de données et complexité. Il considère alors les algorithmes de tri et les algorithmes sur les graphes pour travailler ces notions fondamentales et permettent d'en prendre la mesure sur des exemples fondamentaux.Ce cours a été donné en juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA à destination des professeurs de mathématiques d'Ile de France. Il est composé d'une présentation et d'une séance de questions-réponses.
Voir la vidéo
Label UNT Conférences

le (1h16m26s)

Résolutions numériques de problèmes, quelques grandes familles d'algorithmes

Dans cet exposé, quelques grands algorithmes d'estimation de paramètres et de génération de trajectoire sont démystifiés. Les principes généraux sont décrits et les points clés de ces méthodes mises en avant. Ils permettent de prendre la mesure des mécanismes qui permettent à un système artificiel d'implémenter des fonctionnalités perceptives observées chez l'animal, comme la perception du mouvement.Présentation donnée en juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA à destination des professeurs de mathématiques d'Ile de France.
Voir la vidéo
Label UNT Conférences

le (1h46m26s)

Algorithmes de transmission et de recherche de l'information dans les réseaux de communication

Dans cet exposé, Philippe Robert, après quelques mots sur son métier, explique les problèmes fondamentaux qui se posent dans un système distribué, en prenant le problème de la transmission de messages. Il montre que l'algorithmique est complètement différent dans ce cas, et que des modèles aléatoires permettent de faire l'analyse de la pertinences de tels mécanismes, et le détaille dans le cas de protocoles en arbre.Ce cours a été donné en juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA à destination des professeurs de mathématiques d'Ile de France. Il est composé d'une présentation et d'une séance ...
Voir la vidéo
Label UNT Conférences

le (1h19m26s)

Expériences personnelles dans l’enseignement de l’informatique et du monde numérique

L'informatique est partout, c'est devenu banal de le dire, mais qu'entend-on vraiment par là ? Comprend-on bien que le numérique, aujourd'hui, loin de se cantonner aux ordinateurs, est bien plus répandu dans les objets technologiques les plus divers, des téléphones aux avions ? Quelles en sont les implications, les qualités mais aussi les inconvénients, à commencer par les bugs ? En accord avec la devise du Collège de France, « enseigner la recherche en train de se faire », Gérard Berry présente une vision de l'informatique au sens large axée sur ses fondements scientifiques, et oriente sa présentation sur son ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte