PDFprof.com Search Engine



Programmation Avancée (INF441)

Le Cours

Dans le monde industriel comme dans le monde du logiciel libre, nombreux sont les logiciels de grande envergure, que ce soit de par leur taille, de par le nombre de leurs auteurs, ou de par leur durée de vie. De telles réalisations ne sont possibles que grâce à une architecture modulaire, qui idéalement doit permettre à chaque composant d’être conç

Amphis

Les transparents des amphis seront mis à jour après chaque séance : 1. Amphi 1, 9 avril 2018: Présentation du Cours et Courte Introduction à OCaml 2. Amphi 2, 16 avril 2018: Systèmes de Types 3. Amphi 3, 30 avril 2018: Fonctions et Programmation Fonctionnelle See full list on enseignement.polytechnique.fr

Travaux dirigés

Composition des groupes : 1. Groupes 1 et 4 : Salle 32, Kaustuv Chaudhuriet Maxime Buron 2. Groupes 2 et 5: Salle 31, Samuel Mimram et Simon Forest 3. Groupes 3 et 6 : Salle 34, Pierre-YvesStrub et Hugo Illous Liens vers les sujets de chacune des séances : 1. TD 1, mardi 10 avril 2018: Introduction à la programmation OCaml 2. TD 2, mardi 17 avril 2

Projets

Le projet est optionnel. Notez toutefois que tout élève candidat à un PA d’info doit avoir complété un projet dans l’un des cours d’informatique en année 2. Les sujets proposés sont disponibles sur Moodle. Vous pouvez proposer votre propre sujet, mais le travail nécessaire doit être comparable. N’hésitez pas à demander conseil aux enseignants du co

Documents et Références

Les deux documents suivants permettent de se familiariser rapidement avec OCaml : 1. OCaml en trois pages: un résumé parfait des principales constructions du langage 2. Comparaison entre OCaml et Java: une introduction utile pour ceux qui ont beaucoup utilisé le langage Java Les documents suivants fournissent des références plus complètes : 1. Le s


Projet de loi n° 864 modifiant la loi n° 446 du 16 mai 1946
1 N°[ ] LE [ ] 2005 La loi n° 446 portant création d'un Tribunal du
Commerce électronique et ses conséquences sur l'activité
Le travail social : théories méthodologies et pratiques
TECHNOLOGIE DU GÉNIE DU BÂTIMENT
221B0 Technologie du génie civil
PROGRAMME TECHNOLOGIE DU GÉNIE CIVIL
Rappel (Sipser page 13) Chapitre 3
Les langages r´eguliers et les automates finis
On étudie quelques propriétés des langages réguliers
Next PDF List