Programme
Licence Informatique
Parcours de référence
Semestre 1
- Bases de l'informatique : Logique et modèles formels
- Mathématiques : Fondements 1
- Mathématiques : Approfondissements 1
- Électronique : Électronique numérique - Bases
- UE Compétences transversales
Semestre 2
- Programmation impérative : Python
- Système 1 : Utilisation d'Unix et programmation shell
- Mathématiques: Fondements 2
- L'une des UE non disciplinaires suivantes
- UE Compétences transversales
Semestre 3
- Structures de données et programmation C
- Bases de données
- Outils formels de l'informatique
- L'une des UE non disciplinaires suivantes
- UE Compétences transversales
Semestre 4
- Algorithmique 1
- Réseaux et télécommunication
- Systèmes 2 : Mécanismes internes des systèmes d'exploitation
- L'une des UE suivantes
- UE Compétences transversales
Semestre 5
- Automates et langages
- Programmation fonctionnelle
- Programmation et conception orientée objet
- L'une des UE suivantes
- UE Compétences transversales
Semestre 6
- Algorithmique 2 : Graphes, texte et objets géométriques
- Compilation
- L'une des UE suivantes (choix d'option 1)
- L'une des UE suivantes (choix d'option 2)
- UE Compétences transversales
Liste détaillée des UE
Semestre 1
Introduction à l’informatique par le web
Responsable : J. Deantoni
Cours de découverte de la programmation informatique en Python au travers de thématiques concrètes issues du web. En savoir plus
Bases de l’informatique : Logique et modèles formels
Responsable : C. Di Giusto
Ce cours est une introduction à la science informatique via certaines grandes thématiques comme la logique, les types récursifs ou les automates. En savoir plus
Semestre 2
Système 1 : Utilisation d’Unix et programmation shell
Responsable : F. Guingne
L’objectif de ce cours est d’acquérir une certaine autonomie sous un environnement GNU/Linux et en programmation de scripts shell En savoir plus
Programmation impérative : Python
Responsable : O. Baldellon
Ce cours est une introduction à la programmation impérative dans le langage Python En savoir plus
Semestre 3
Structures de données et programmation C
Responsables : M. Pelleau et O. Baldellon
Ce cours a pour objectif d’introduire les structures de données les plus classiques en s’appuyant sur le langage de programmation bas niveau C. En savoir plus
Outils formels de l’informatique
Responsable : E. Formenti
Initiation à l’étude des fondements théoriques de l’informatique. En savoir plus
Bases de données
Responsable : E. De Maria
L’objectif de ce cours est d’apprendre à créer et manipuler des bases de données relationnelles et de comprendre les problèmes qui y sont liés. En savoir plus
Algo & Prog avec R
Responsable : A. Malapert
Ce cours est une initiation à l’algorithmique et à la programmation dans le langage R pour portail Sciences et Technologies. En savoir plus
Semestre 4
Technologies du web
Responsable : P. Urso
Ce cours présente le fonctionnement du web, ainsi que la production de pages web statiques et la programmation de pages web dynamiques, tant du côté client que serveur. En savoir plus
Systèmes 2 : Mécanismes internes des systèmes d’exploitation
Responsable : S. Touati
Cet enseignement présente les principaux concepts d’un système d’exploitation permettant d’orchestrer l’exécution de plusieurs processus en parallèle, de les faire communiquer et synchroniser, de gérer et exécuter des entrées/sorties, de gérer la mémoire principale d’un ordinateur ainsi que son espace disque. En savoir plus
Réseaux et télécommunication
Responsables : G. Menez et R. Aparicio-Pardo
Ce cours présenter les principes de fonctionnement des réseaux de téléommunication depuis le signal à transmettre jusqu’à la réalisation de réseaux locaux. En savoir plus
Concepts d’intelligence artificielle
Responsable : J.-C. Régin
Ce cours est destiné aux étudiants qui souhaitent se spécialiser en intelligence artificielle. En savoir plus
Algorithmique 1
Responsables : M. Pelleau et S. Julia
Le but du cours est d’introduire l’étudiant à l’algorithmique, en mettant l’accent sur les stratégies de conception d’un algorithme efficace. En savoir plus
Semestre 5
Programmation fonctionnelle
Responsable : E. Lozes
Ce cours est une introduction à la programmation fonctionnelle typée. Le langage support pour le cours est OCaml. En savoir plus
Programmation et conception orientée objet
Responsables : S. Jeannin et C. Leturc
Il s’agit d’un cours de Programmation Orientée Objet qui se base sur le langage Java. En savoir plus
Cryptographie et calcul symbolique
Responsables : B. Martin et S. Julia
Découverte et mise en oeuvre des principes de bases de la cryptographie moderne alliée à celle du calcul formel En savoir plus
Automates et langages
Responsable : S. Julia
Introduction à la théorie des automates et des machines à états finis, des langages formels, et découverte de leurs principales applications En savoir plus
Architecture machine
Responsable : S. Touati
Ce cours présente de façon approfondie les différentes composants des architectures d’ordinateurs, depuis les portes logiques jusqu’au niveau du processeur. Nous apprendrons comment concevoir un processeur simple, et comment le programmer au niveau assembleur et binaire. Nous montrerons aussi comment des décisions architecturales peuvent influencer sur les performances. En savoir plus
Semestre 6
Travail encadré d’étude, de recherche et de dévelopement
Responsables : S. Jeannin et J. Deantoni
L’objectif est de réaliser, en équipe, un projet de fin d’études qui combine plusieurs thèmes appris durant vos études. Le sujet à réaliser change régulièrement ainsi que les enseignants. Chaque année, le responsable de licence vous communiquera le sujet du projet à réaliser pour que vous puissiez faire votre choix. En savoir plus
Paradigmes et interprétation
Responsables : E. Lozes et E. De Maria
Ce cours s’intéresse aux concepts qui sont à la base de nombreux langages de programmation. Afin de comprendre ces concepts, on programmera des interpréteurs de petits langages qui les mettent en oeuvre. En savoir plus
Méthodes de simulation informatique
Responsable : E. Formenti
Ce cours a pour objectif s’initier à la démarche scientifique: expliquer, prevoir et valider l’étude d’un phénomène à l’aide d’un base de données. Savoir présenter un problème, discuter les approches de résolution possibles, défendre des conclusions devant des pairs, et réciproquement savoir évaluer les résultats d’autres études sur des sujets connexes. En savoir plus
Grands concepts de l’Informatique
Responsable : C. Crespelle
L’objectif de ce cours est de faire découvrir de concepts qui dominent l’informatique au-delà de l’ordinateur. En savoir plus
Compilation
Responsable : S. Touati
Introduction aux méthodes d’analyse syntaxique et d’analyse sémantique, dans le cadre de la construction de compilateurs et de traduction d’un formalisme en un autre. En savoir plus
Algorithmique 2 : Graphes, texte et objets géométriques
Responsable : C. Crespelle
Courte description En savoir plus