logo de la licence professionnellelogo d'aix marseille université

Infos - Actualités

Constitution des groupes 2016-2017

groupe 1

  1. Aziz Hamza
  2. Carboni Sabine
  3. Chabart Arthur
  4. Doghmane Haoussine
  5. Fabiani Marcel
  6. Gimenez Sébastien
  7. Giovannoli Maxime
  8. Haddad Aymen
  9. Hema Ngongo Odilin
  10. Koffi Gbede Aristide
  11. Nicaulo Bastien
  12. Risso Frank
  13. Valero Gaël
  14. Zitouni Bilal

Groupe 2

  1. Asma Mehdi
  2. Coyle Liam
  3. Dupraz Jonathan
  4. El Bekkaoui Yassine
  5. El Hamraoui Amal
  6. Enaim Safae
  7. Grigoryan Artashes
  8. HalHal Mohamed
  9. Kamga Estache
  10. Lacordaire Théo
  11. Le Goux Alan
  12. Madar Yassine
  13. Nin Jérome
  14. Saadaoui Mehdi
  15. Wypych Ludovic

Constitution des groupes 2014-2015

groupe 1

  1. AFARSIOU Mustapha
  2. BERTRAND Benjamin
  3. BRAVO Thomas
  4. CHARARA Othmane
  5. CHATER Hassen
  6. CHOUKRALLAH Ayoub
  7. EL BARAKA Amine
  8. FORTIN Rémy
  9. FOURNIER Cyril
  10. FREVILLE Steven
  11. GINER Anaïs
  12. LEYDIER Thomas
  13. LOUENCHI Yazid
  14. MELKA Ruben
  15. MUNOZ Fabien
  16. PEYTAVY Thibaud
  17. PHOLIEN Sandra
  18. RANDRIAMBOLOLONA Florence
  19. SFAXI Chafik
  20. SPIELMANN Cyril
  21. TITTON Cédric

Groupe 2

  1. ARMEDE Giovanni
  2. BEN BELGACEM Bassem
  3. BRUNEAU Corentin
  4. CANESTRARI Cédric
  5. DUGAT Ghislain
  6. EL MAJID Saber
  7. FIOL Florian
  8. FOUREL Charbel
  9. FRAGAKIS Charalambos
  10. GASMI Sofiane
  11. GONTHIER Guillaume
  12. KADER Bacar Boina
  13. LOLIO Nicolas
  14. MADIOULI El Mehdi
  15. MEI Florian
  16. MOHAMED Ali Idjabou
  17. NIANG Fallou
  18. OUAKIL Firdaouss
  19. PHOLIEN Sandra
  20. TOCHAP NGASSAM Lionel
  21. TUTZO Jérémy

 


Emplacement du secrétariat pédagogique

Le secrétariat pédagogique de la licence pro 'Sil-Nti'

est désormais situé dans le bâtiment 5 - 1er étage - Bloc B - Porte 114 - Site Saint-Charles

 


LUNDI 08 SEPTEMBRE 2014 - Site Saint-Charles

Rentrée 2014-2015 en salle 16 à 8h30

 


Rattrapages senconde session 2013-2014

Les rattrapages de seconde session se dérouleront selon le planning suivant en salle 04 :

lundi 1 septembre 8h30-10h30 : IP6 

lundi 1 septembre 10h30-12h30 : IP7

mardi 2 septembre 8h30-10h30 : IP1

mardi 2 septembre 10h30-12h30 : IP2

mardi 2 septembre 13h30-15h30 : IP3

 


Séminaire le lundi 17 décembre 2012 13h30-16h

correction, complétude, terminaison et complexité des algorithmes

Les trois notions « correction », « complétude », « terminaison » sont liées, et supposent qu'un algorithme soit écrit pour résoudre un problème.

La terminaison est l'assurance que l'algorithme terminera en un temps fini. Les preuves de terminaison font habituellement intervenir une fonction entière positive strictement décroissante à chaque « pas » de l'algorithme.

Étant donnée la garantie qu'un algorithme terminera, la preuve de correction doit apporter l'assurance que si l'algorithme termine en donnant une proposition de solution, alors cette solution est correcte — c'est-à-dire qu'elle est effectivement une solution au problème posé.

La preuve de complétude garantit que, pour un espace de problèmes donné, l'algorithme, s'il termine, donnera des propositions de solutions.

Le support est ici


Valid XHTML 1.0 Transitional SIL - NTI copyright 2012