Enseignant responsable : Eric Goubault
Eric [point] Goubault [at] cea [point] frCe cours s'adresse aux élèves de première année ayant déjà acquis quelques connaissances en informatique avant leur entrée à l'École. Il présente les grands principes d'organisation des langages de programmation, langages dont la conception, depuis le mileu du XXe siècle, a profondément changé notre rapport au langage en général, aux machines et à la complexité. Ce cours permettra aux élèves de systématiser les connaissances sur les langages de programmation qu'ils ont souvent acquises empiriquement en programmant et il leur donnera les outils conceptuels nécessaires pour aborder de nouveaux langages dans la suite de leur cursus à l'École et au delà.
Il permet d'accéder aux cours
Amphi : Eric Goubault.
Travaux Dirigés :
Groupes 17 et 21 (salle info 33):
Olivier Bouissou
et
Guillaume Quintin
groupes 18 et 22 (salle info 34):
Karthik Bhargavan
et
Cheng Tie
groupes 19 et 23 (salle info 35):
Sylvie
Putot et
Alexis Bernadet
groupes 20 et 24 (salle info 36):
Xavier Rival
et
Dominik Kirchler,
Amphis : lundi 13 mai, 10h30-12h00, amphi Poincaré mardi 21 mai, 8h30-10h00, amphi Gay-Lussac lundi 27 mai 10h30-12h00, amphi Poincaré lundi 3 juin, 10h30-12h00, amphi Poincaré lundi 10 juin, 10h30-12h00, amphi Poincaré lundi 17 juin, 10h30-12h00, amphi Poincaré lundi 24 juin, 10h30-12h00, amphi Poincaré lundi 1er juillet, 8h30-10h00, amphi Poincaré mercredi 3 juillet, 10h30-12h00, amphi Poincaré lundi 8 juillet, 10h30-12h00, amphi Poincaré
Travaux dirigés: mardi 14 mai, 10h15-12h15/13h30-15h30, mercredi 22 mai, 13h30-15h30/15h45-17h45, mardi 28 mai, 8h00-10h00/10h15-12h15, mardi 4 juin, 8h00-10h00/10h15-12h15, mardi 11 juin, 8h00-10h00/10h15-12h15, mardi 18 juin, 10h15-12h15/13h30-15h30, mardi 25 juin, 10h15-12h15/13h30-15h30, mardi 2 juillet, 8h00-10h00/10h15-12h15, vendredi 5 juillet, 13h30-15h30/15h45-17h45, mardi 9 juillet, 8h00-10h00/10h15-12h15.
Composition écrite : jeudi 12 juillet (9h-11h).
Un bon exercice pour cette composition est la pale des 2011 (la dernière
pale, voir plus bas,
sujet et corrigé). Un autre bon exercice est le cours 10 du lundi
8 juillet.
Il n'y aura pas de questions concernant le cours 9, ni la théorie
de la démonstration (système de déduction naturelle, cours
6). Il ne sera pas demandé de preuve à la Hoare, ni de savoir
coder en Lustre ou en OCaml. La composition comporte essentiellement du code
JAVA, et des questions de compréhension du cours, en particulier de
sémantique.
Les transparents : l'amphi 1 l'amphi 2 l'amphi 3 l'amphi 4 et son film l'amphi 5 l'amphi 6 et le lien pour le vote l'amphi 7 l'amphi 8 l'amphi 9 l'amphi 10