|
 Objectifs
Concepts, méthodes et techniques générales pour l'expression et l'analyse d'algorithmes.
Cahier des charges
- Analyse de complexité, application à des algorithmes sur ensembles et graphes ; principes de développement efficaces, heuristiques et approximations, techniques d'exploration
- Systèmes généraux de calcul : automates et langages formels, machines de Turing, règles de production, équations récursives, lambda-calcul, clauses de Horn.
- Logique et algorithmes : règles de preuve, spécifications, transformations
Le cours INGI2110 est mentionné dans les programmes suivants :
FSA2DC Programme conduisant au grade de diplômé d'études complémentaires en sciences appliquées
INFO2 Ingénieur civil informaticien
MAP2 Ingénieur civil en mathématiques appliquées
MATH2 Licence en sciences mathématiques
|
