Available courses
Category: Sciences et techniques
Ce cours présente les fondements de la programmation objet et les bases du langage Java.
Category: Sciences et techniques
Licences 2eme année UFR Sciences et Techniques
Category: Sciences et techniques
Pour les parcours Info, InfoGestion et InfoMath de L2 Info.
Category: Sciences et techniques
Licences 3eme année UFR Sciences et Techniques
Category: Sciences et techniques
Prérequis : Concepts essentiels de l'algorithmique et de la programmation impérative en langage C Objectifs : Spécifications algébriques, pré-/post-conditions, algorithmes basiques sur les structures (insertion, suppression, recherche). Structures de données simples (pile, file, lis…
Category: Sciences et techniques
X3I0040 : Informatique fondamentale : Algorithmique des structures relationnelles C 16 ; TD 20 ; TP 12 Programme - Contenu de l'UE : Le but de ce module est de montrer quels types de liens peuvent exister entre l'écriture d'algorithmes et des propriétés structurelles d'un modèle. A cette fin,…
Category: Sciences et techniques
Mécanique du solide indéformable
Category: Sciences et techniques
Gestion de données distribuées à grande échelle
Category: Sciences et techniques
Objectifs Ce module propose d'étudier la problématique distribuée dans trois contextes différents d'actualité : les systèmes pair-à-pair (P2P), les grilles et le récent "Cloud Computing". Hypothèses, concepts et algorithmes sont détaillés pour chacun d'eux. L'objectif est une co…
Category: Sciences et techniques
X5I0020 : Etude des algorithmes C 20 ; TD 28 Analyse de problèmes de décision : présentation des notions de décidabilité, introduction des classes de complexité P, NP et Pspace. Présentation la Karp-réduction et de problèmes NP-Dur et NP-Complets. Vérification de programme Vérification d…
Category: Sciences et techniques
Masters UFR Sciences et Techniques