L1 - Informatique mineure SNV

Voir la page complète

Le but de ce module est de fournir des compétences pour l’analyse de séquences d’ADN issues de données génomiques, allant de l’extraction des séquences de banque de données publiques jusqu’à la manipulation de ces séquences afin d’en extraire des informations pertinentes, et cela de manière automatique via l’utilisation d’une librairie Python dédiée : BioPython. 

Voir la page complète

Voir la page complète

Dans ce module nous présentons les concepts de base en algorithmes (notion de problème, instance de problème, taille de l'instance, notion de complexité, terminaison, preuve de la validité).

Les algorithmes présentés porteront sur des problèmes liés aux tris, piles, files, tableaux.... 

Voir la page complète

Ce cours se propose d'introduire le paradigme de programmation fonctionnelle. Dans un premier temps, nous parlerons du lambda-calcul, qui est le modèle de calcul sur lequel repose les langages fonctionnels. Puis, nous enchaînerons avec l'enseignement d'un vrai langage de programmation fonctionnelle, à savoir OCaml.

La présentation d'OCaml suivra principalement le plan suivant :
1. Types de base, définitions.
2. Déclarations de fonctions.
3. Structures de données de base (tuples, listes).
4. Structures de données avancées (types sommes, enregistrements).
5. Exceptions.
6. Fonctions d'ordre supérieur, itérateurs sur les listes.

Si le temps le permet, nous verrons également le système de modules d'OCaml, dont l'une des principales motivations est de regrouper des définitions connexes, mais qui permet également d'introduire de la réutilisabilité par le système de modules paramétrés (foncteurs).

Voir la page complète

Notions de bases en mathématiques pour l’informatique avec principalement :

• combinatoire et dénombrement,

• logique,

• suites et récurrences,

Voir la page complète

Introduction des principales notions des systèmes informatiques

Voir la page complète

La théorie des langages et des automates appartient à la branche fondamentale de l’informatique. Nous étudierons dans cette unité d’enseignement les langages et leur représentation, en particulier les langages rationnels et leur représentation par automates d’états finis.

Voir la page complète

Voir la page complète

Suite de HAI101I, algorithmique 1

Voir la page complète

Maitrise des bases de la programmation C ; Comprendre comment les algorithmes et structures de données abstraites sont implantés dans la machine.

Voir la page complète

Voir la page complète

Le but de ce module est dans la continuité du module HAI109H de fournir des compétences pour l’analyse de séquences d’ADN issues de données génomiques, allant de la lecture des séquences d’ADN jusqu’à l’analyse comparative de ces séquences afin d’en extraire des informations pertinentes, et cela de manière automatique via l’utilisation d’une librairie Python dédiée : BioPython. 

Voir la page complète

Initiation à la programmation d'applications Web

Voir la page complète

Cette UE s’adresse à un public d’informaticiens et présente les principaux modèles et résultats du choix collectif. 

Voir la page complète