Permet de s'initier aux structures de contrôle de base de l'algorithmique en utilisant un vrai langage impératif (5 activités sur 2 à 4 séances).
Mot(s) clés libre(s) : proglet, algorithmique, algorithme

Permet de réaliser toutes les activités d'initiation à l'algorithmique en mathématiques. Un grand nombre de contenus et sujets sont disponibles (manipuler des tableaux, faire des tris numériques, manipuler le hasard, ..).
Mot(s) clés libre(s) : proglet, algorithmique en mathématiques, algorithmes pour les maths

Permet de s'initier au codage pixelique des images et aux calculs de bases sur une image.
Mot(s) clés libre(s) : proglet, manipulation d'images, codage pixelique

Permet de s'initier à l'abstraction algorithmique la plus simple: la recherche dichotomique sur trois objets numériques.
Mot(s) clés libre(s) : proglet, algorithmique, algorithme, dichotomie, recherche dichotomique

Permet d'utiliser la plateforme JavaScool pour programmer directement en jav
Mot(s) clés libre(s) : proglet, java, programmation java

Utiliser la métaphore d'une tortue dans un carré de jardin avec un pinceau pour découvrir les algorithmes.
Mot(s) clés libre(s) : proglet, tortue logo, algorithme

Permet de programmer la génération d'un ou d'une mélodie.
Mot(s) clés libre(s) : proglet, signal sonore, son

Permet de s'initier à la recherche dichotomique dans un cas concret.
Mot(s) clés libre(s) : proglet, dichotomie, recherche dichotomique, convertisseur analogique-numérique

Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014. Les trois cours sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Le premier cours présentera l'aventure selon le point de vue des laboratoires de recherche, en se focalisant sur Esterel et Lustre / SCADE. J'y illustrerai les développements successifs de la théorie et des réalisations logicielles qui ont permis de passer à travers une succession d'étapes scientifiques des idées initiales aux langages et systèmes finaux. Je montrerai les nombreux avantages apportés par la collaboration industrielle, en particulier par la fourniture d'exemples d'un ordre de grandeur plus grands et plus complexes que ceux qu'imaginent les chercheurs. Mais je discuterai aussi des contraintes associées : la nécessité pour les industriels de disposer d'une chaîne de développement sans maillon faible, ce qui oblige les chercheurs à traiter des points pas toujours excitants pour eux ; la nécessité pour les partenaires et clients industriels d'avoir des produits stables au cours du temps, ce qui les rend méfiants vis-à-vis des avancées scientifiques imprévues en cours de projet.
Mot(s) clés libre(s) : synchronisation, systèmes temps-réels

Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014.  Les trois cours sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Le cours du 22 janvier 2014 présentera les points de vue du fournisseur et des clients industriels, selon mon expérience personnelle en tant que directeur scientifique de la société Esterel technologies. J'y insisterai sur l'ensemble des rouages nécessaires pour qu'une bonne idée se transforme en produits utilisable pour des développements industriels chez des clients standards, où le pragmatisme technologique l'emporte quasiment toujours sur la vision scientifique. J'illustrerai par l'exemple un des problèmes majeurs, bien exprimé dans le fameux livre "Crossing the Chasm" de Geoffrey A. Moore : les arguments techniques valables pour les industriels visionnaires, et donc promus par les chercheurs, ne le sont en général pas du tout pour les pragmatiques qui forment le gros des troupes. De plus, l'introduction de nouveaux langages et de nouvelles méthodes de programmation est mal perçue par ceux qui n'en voient pas immédiatement les avantages et craignent pour la continuité de leur chaîne d'outils. J'expliquerai pourquoi et comment SCADE a réussi à passer ce fossé pour les logiciels de haute sécurité en avionique, ferroviaire, industrie lourde, etc., en se présentant comme une amélioration sensible des modèles de programmation existants plutôt que comme une façon de faire radicalement nouvelle. De plus, développée dès les débuts industriels de SCADE, la certifiabilité de son compilateur pour les normes avioniques les plus sévères a joué un rôle clef pour son adoption.
Mot(s) clés libre(s) : synchronisation, systèmes temps-réels