小瓢虫传媒

Enseignants

Jodogne S茅bastien; Sadre Ramin;

Langue
d'enseignement

贵谤补苍莽补颈蝉

笔谤茅补濒补产濒别蝉

Ce cours suppose acquises les notions de base de la programmation (instructions, variables, boucles, conditions,...) telles qu'enseign茅es dans le cours LINFO1101 ou LSINC1101.

Le(s) pr茅requis de cette Unit茅 d鈥檈nseignement (UE) sont pr茅cis茅s 脿 la fin de cette fiche, en regard des programmes/formations qui proposent cette UE.

Th猫mes abord茅s

- Le langage Java ;
- Types abstraits de donn茅es ;
- Structures lin茅aires et arborescentes;
- Programmation et algorithme r茅cursifs ;
- Technique de raisonnement sur l'exactitude des programmes ;
- Notions de complexit茅 calculatoire d'un algorithme ;
- Programmation fonctionnelle ;
- Mod茅lisation et programmation orient茅e-objet ;
- Programmation parall猫le ;
- Test de programmes.

Acquis
d'apprentissage

A la fin de cette unit茅 d鈥檈nseignement, l鈥櫭﹖udiant est capable de :
AA 1.2, 1.5- AA 2.4 - AA 4.3, 4.4, 4.5 - AA 5.1, 5.3	Eu 茅gard au r茅f茅rentiel AA du programme 芦 Bachelier en Sciences de l'Ing茅nieur, orientation ing茅nieur civil 禄, ce cours contribue au d茅veloppement, 脿 l'acquisition et 脿 l'茅valuation des acquis d'apprentissage suivants : - AA 1.2, 1.5 - AA 2.4 - AA 4.3, 4.4, 4.5 - AA 5.1, 5.3 Plus pr茅cis茅ment, au terme du cours, l'茅tudiant sera capable de : - faire un choix justifi茅 entre plusieurs repr茅sentations des informations et plusieurs algorithmes pour les traiter, - concevoir des (fragment de) programme dans un style fonctionnel, - raisonner sur des (fragments de) programmes : complexit茅 des algorithmes et efficacit茅 des programmes les mettant en oeuvre, raisonnement r茅cursif, - appliquer des principes de mod茅lisation orient茅e-objet, - concevoir et appliquer des m茅thodes de test d'un programme, - concevoir un programme parall猫le simple Les 茅tudiants auront d茅velopp茅 des comp茅tences m茅thodologiques et op茅rationnelles. En particulier, ils auront d茅velopp茅 leur capacit茅 脿 : - Analyser un probl猫me de taille moyenne, de proposer une solution informatique pour le r茅soudre et de la mettre en oeuvre dans le langage Java.

Contenu

Cette unit茅 d'enseignement porte sur :

• Introduction 脿 Java : compilation, byte-code, machine virtuelle, type primitifs, strings, tableaux ;
• Types abstraits de donn茅es ;
• Structures lin茅aires et arborescentes, et leurs applications ;
• Formulation r茅cursive d'une solution et algorithmes r茅cursifs ;
• Technique de raisonnement : pr茅conditions, postconditions, invariants ;
• Notions de complexit茅 calculatoire et analyse de la complexit茅 temporelle et spatiale d'un algorithme ;
• Programmation fonctionnelle et programmation d'ordre sup茅rieur ;
• Mod茅lisation orient茅e-objet (h茅ritage, composition, r茅utilisation, polymorphisme, invariant de classe) ;
• Introduction aux design patterns ;
• M茅thodes de tests et de validation de programmes ;
• Introduction 脿 la parall茅lisation : notion de thread et m茅canismes de synchronisation.

Les 茅tudiants ayant suivi avec fruit ce cours seront capables de :

• Concevoir des programmes Java ;
• Analyser des programmes en fonction de leur performance ;
• Prouver l'exactitude de programmes 脿 l'aide d'invariants ;
• Appliquer les principes de la programmation orient茅e-objet tels que g茅n茅ricit茅, abstraction, composition et r茅utilisation ;
• Concevoir et mettre en oeuvre des variantes des algorithmes 茅tudi茅s dans des programmes Java de haute qualit茅 ;
• Concevoir et manipuler des structures lin茅aires, arborescentes et r茅cursives simples ;
• Concevoir des tests pour des programmes ;
• Concevoir des approches de programmation fonctionnelles pour r茅soudre de petits probl猫mes algorithmiques ;
• Utiliser 脿 bon escient les designs patterns ;
• Concevoir des programmes parall猫les simples avec des m茅canismes de synchronisation.

M茅thodes d'enseignement

Les enseignants pr茅senteront la mati猫re en auditoire lors d'un cours traditionnel, avec pour support le syllabus intitul茅 "Programming Concepts in Java".
Pour chaque sujet abord茅, des exercices sont accessibles en continu sur la plateforme INGInious, permettant d'appliquer les concepts th茅oriques.
Lors des s茅ances de travaux pratiques, des assistants ou tuteurs seront pr茅sents pour soutenir et guider les 茅tudiants.
Chaque 茅tudiant est pleinement responsable de son apprentissage. Afin de r茅ussir l'examen informatique, il est essentiel pour l'茅tudiant de s'exercer r茅guli猫rement en Java avec l'outil IntelliJ.

Modes d'茅valuation
des acquis des 茅tudiants

Un examen sur INGInious a lieu en fin quadrimestre et a pour objectif de v茅rifier non seulement la connaissance de la mati猫re, mais 茅galement la capacit茅 脿 appliquer les connaissances acquises pour 茅crire des programmes.
Une interrogation optionnelle et individuelle a lieu 脿 la moiti茅 du quadrimestre, comptant pour maximum deux points dans la note finale du cours, et uniquement si cela est au b茅n茅fice de l'茅tudiant. L'utilisation d'outil type IA g茅n茅rative et toute collaboration est strictement interdite durant cette interrogation.
La note finale est calcul茅e selon la formule : note_finale_sur_20 = max(interrogation_sur_2 + examen_sur_18, examen_sur_20). Les points obtenus pour l'interrogation seront conserv茅s pour la session d'ao没t.
En cas de suspicion de plagiat (par exemple d茅tect茅 脿 l'aide d'un outil de plagiat), les titulaires du cours se r茅servent le droit de demander 脿 l'茅tudiant de passer une interrogation orale sur le quizz ou l'examen.

Ressources
en ligne

(pour le syllabus)
(Moodle pour les slides et la communication avec les 茅tudiants)
(pour les exercices)

Facult茅 ou entit茅
en charge

> SINC