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 :
Groupe 18 (salle info 33):
Stéphane Redon
et
Olivier Bouissou
groupes 19 et 22 (salle info 34):
Karthik Bhargavan
et
Hassan Hijazi
groupes 20 et 23 (salle info 35):
Sylvie
Putot et
Chantal Keller
groupes 21 et 24 (salle info 36):
Xavier Rival
et
Ivan Gazeau,
Travaux dirigés: mercredi 9 mai, 13h30-17h45, lundi 14 mai, 13h30-17h45, mercredi 16 mai, 13h30-17h45, mardi 22 mai, 13h30-17h45, mardi 5 juin, 13h30-17h45, mardi 12 juin, 13h30-17h45, mardi 19 juin, 13h30-17h45, mardi 26 juin, 8h00-12h15, lundi 2 juillet, 13h30-17h45, mercredi 4 juillet, 13h30-17h45.
Composition écrite : jeudi 12 juillet (9h-11h).
Le sujet comporte des parties de programmation JAVA, et des questions plus
théoriques. Il n'y aura pas de programmation en d'autres langages, ni de
questions demandant des connaissances de l'amphi 6 (décidabilité et logique)
ni sur la calculabilité et la complexité (dernière partie de l'amphi 5), ni
sur la théorie de la preuve en mathématiques de l'amphi 8
(mais pas forcément la partie validation de programme), ni l'amphi 9, ni
la partie programmation LUSTRE de l'amphi 10.
Les parties importantes du cours concernant la programmation JAVA, les types
récursifs, la sémantique dénotationnelle
des langages impératifs sont au programme de la composition.
Les transparents : l'amphi 1, l'amphi 2, l'amphi 3, l'amphi 4, l'amphi 5, l'amphi 6, l'amphi 7 l'amphi 8 l'amphi 9, l'amphi 10.