Nous verrons ensemble pourquoi, fait remarquable et troublant, nous n'avons aucune proposition satisfaisante pour la définition d'un langage généraliste permettant la programmation concurrente en mémoire partagée.  
Mot(s) clés libre(s) : langage de programmation

Ce module définit ce qu'est l'algorithmique et les algorithmes, précise comment formuler et décomposer un algorithme puis présente succintement l'activité de programmation et les types de programmation.
Mot(s) clés libre(s) : Définitions, Concepts, algorithmie, algorithme

Java's Cool (alias Javascool) est un recueil de ressource conçu pour l'apprentissage des bases de la programmation. Il est composé de documents et logiciels pour l'enseignement de l'algorithmique.
Mot(s) clés libre(s) : Java, algorithmique, algorithme, sciences informatique lycée, educlet, proglet

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 de questions-réponses.
Mot(s) clés libre(s) : algorithme, Google, moteur de recherche, protocole d'accès, recherche d'information, réseau de communication, réseau social, système distribué, TCP, transmission de données

Des logiciels tels que des commandes de vol d'avions doivent être d'une fiabilité totale, dans la mesure où un dysfonctionnement du calculateur de vol pourrait entraîner une catastrophe. En particulier, il serait inacceptable qu'un tel logiciel puisse produire des erreurs à l'exécution. Il est mathématiquement impossible de déterminer de manière automatique et exacte si un logiciel informatique est correct, mais il est possible d'effectuer un calcul automatique dit conservatif, qui détectera tout problème potentiel, mais risque d'échouer à prouver la correction de certains programmes qui sont pourtant justes. Je montrerai comment cela peut être effectué grâce à la théorie mathématique de l'interprétation abstraite, et je présenterai quelques applications de ce cadre de travail à des problèmes simples.  
Mot(s) clés libre(s) : logiciel, sûreté

Permet de s'initier au codage pixelique et aux opérations de dessin sur une image.
Mot(s) clés libre(s) : proglet, manipulation d'images, codage pixelique, codage matriciel, dessin sur une image

Permet de découvrir à travers l'objet numérique graphe et les algorithmes élémentaires qui s'y appliquent.
Mot(s) clés libre(s) : proglet, graphe, algorithmes élémentaires

Vise à s’approprier, à la métaphore d'un réseau social, les différents éléments caractéristiques d’un graphe, et l'algorithme du plus court chemin.
Mot(s) clés libre(s) : proglet, graphe, algorithme

Permet de comprendre l'évolution temporelle et le contenu fréquentiel (le spectre) d'un son.
Mot(s) clés libre(s) : proglet, signal sonore, son, spectre du son

Vise à s’approprier, à travers une animation 3D, les différents éléments caractéristiques d’un graphe, en vue de saisir les algorithmes qui en font usage.
Mot(s) clés libre(s) : proglet, graphe, algorithme