FormationsLicence généraleInformatiqueInformatique

Licence InformatiqueParcours Informatique

Responsable
  • Line JAMET-JAKUBIEC
    Adresse de Line JAMET-JAKUBIEC
Informations

Vous pouvez visiter le site Web du SUIO (dans une autre fenêtre) pour avoir une information plus générale sur les problèmes d'orientation.

Contacts orientation

Objectifs

L'objectif est de donner aux étudiants une formation solide et à long terme en informatique, à la fois théorique et appliquée, et de bonnes bases mathématiques et scientifiques. Il permet d'accéder à tout Master d'Informatique, d'entrer dans une école d'ingénieurs sur dossier ou de trouver un travail niveau Bac +3 en informatique.

Formation et recherche

Ce parcours bénéficie de la présence sur les différents sites de laboratoires de recherche de renommée internationale dans toutes les disciplines enseignées, en particulier en informatique (LIF, LSIS) ; tous les enseignants en informatique font de la recherche dans ces laboratoires.

Pré-requis obligatoires

Cette Licence est ouverte de droit à tout titulaire d'un Bac Scientifique ou équivalent (en particulier en provenance de l'étranger). Les étudiants titulaires d'un BTS, d'un DUT d'informatique ou d'un diplôme équivalent, peuvent postuler pour entrer en 3e année (sur dossier). Il est aussi possible d'intégrer cette formation par le biais de la validation des acquis.

Régimes d'inscription

Cette formation est accessible en

Formation initiale

Ce parcours est également disponible en télé-enseignement.

Formation continue

Ce parcours est également disponible en télé-enseignement.

Formation en télé-enseignement

Compétences visées

Maîtriser les concepts de base de l'Informatique et des mathématiques, différents types de langages et d'environnements de programmation. Acquérir une vision globale des différents domaines de l'informatique, de son évolution et des nouvelles technologies ; acquérir des compétences pratiques immédiatement utiles dans le monde professionnel. Savoir se former, faire une veille technologique, travailler en autonomie comme en équipe.

Métiers visés

Codes ROME :

Spécialités de formation (code NSF) :

  • 114b : Modèles mathématiques ; Informatique mathématique
  • 326m : Informatique, traitement de l'information
  • 326t : Programmation, mise en place de logiciels

Stages et projets encadrés

Ce parcours donne la possibilité de faire deux stages optionnels. Plusieurs enseignements sont faits par projets tutorés ou comportent des mini-projets. Il y a des travaux pratiques bien encadrés dans pratiquement toutes les matières.

Volume des enseignements

  • Cours magistraux : 560 heures
  • Travaux dirigés : 850 heures
  • Travaux pratiques : 390 heures
  • Stage : 8 semaines

Semestre 1 Informatique Tronc Commun

[ détails ]

  • Introduction informatique et programmation (6 crédits)

    Code : ENSIN1U1Langue : Français.

    Contenu : ­ Introduction à l'informatique : . présentation d'un modèle d'ordinateur ; . utilisation du système et compilation ; . codage des entiers et caractères. ­ Initiation au langage C : . variable, notion d'adresse, types simples ; . opérateurs, expressions, type des expressions ; . instructions, structures de contrôle ; . tableaux, chaînes de caractères ; . fonctions par valeurs, portée des variables, blocs ; . entrées­sorties, fichiers bufferisés.

    Volume horaire : 20h de CM - 20h de TD - 20h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Outils informatiques C2i (3 crédits)

    description non disponible.

  • Introduction à l’analyse (6 crédits)

    Code : ENSMI1U1Langue : Français.

    Contenu : Bases du raisonnement mathématique . Éléments de théorie des ensembles. Applications, relations : image réciproque, image directe, injection, surjection, bijection. Fonctions de R dans R . La droite réelle. Inégalités dans R, valeur absolue. Fonctions monotones, bornées, périodiques, graphe d'une fonction, composition de deux fonctions. Fonctions usuelles. Dérivée d’une fonction composée. Fonctions réciproques des fonctions bijectives usuelles. Intégrales et primitives . Primitives d’une fonction, intégrale d’une fonction sur un intervalle, intégrale et aire, opérations sur les primitives, primitives des fonctions usuelles, intégration par parties, changement de variable. Équations différentielles . Équations différentielles linéaires du premier ordre et second ordre à coefficients constants. Problème de Cauchy. Méthode de variation de la constante. Oscillateur harmonique.

    Volume horaire : 24h de CM - 36h de TD - 

    Plus d'informationsdans une autre fenêtre

  • Géométrie et arithmétique 1 (6 crédits)

    Code : ENSMI1U3Langue : Français.

    Contenu : Calcul vectoriel. Le plan R2 et l'espace R3. Opérations sur les vecteurs, produit scalaire, orthogonalité, norme, inégalité de Cauchy-Schwarz, inégalité triangulaire, déterminant de 2 vecteurs du plan, produit vectoriel. Bases et repères, vecteur directeur d’une droite et base d’un plan, système d'équations paramétriques, équations cartésiennes. Nombres complexes. Rappels sur les complexes, notation algébrique, opérations, conjugué, module, formules d’Euler, notation exponentielle. Racines carrées, racines n-ièmes de l’unité puis d’un complexe quelconque, somme des racines n-ièmes de l’unité. Utilisation de C en géométrie plane. Polynômes. Polynômes à coefficients dans Q, R ou C. Degré, opérations sur les polynômes, polynôme dérivé, formule du binôme, racines. Théorème de d’Alembert-Gauss. Division euclidienne, factorisation, multiplicité d’une racine, nombre de racines.

    Volume horaire : 24h de CM - 36h de TD - 

    Plus d'informationsdans une autre fenêtre

  • Anglais S1 (3 crédits)

    description non disponible.

  • 6 crédits à choisir
    • Panorama du monde vivant (6 crédits)

      Code : ENSBI1U1Langue : Français.

      Contenu : Donner aux étudiants les fondamentaux d'une classification phylogénétique du vivant. Pour cela il faudra : présenter la diversité du vivant à travers une sortie de terrain pluridisciplinaire et suivie de l'analyse de ce qui aura été observé et/ou collecté ; définir les liens de parenté entre les espèces par l'intermédiaire de reconstructions arborées. Les étudiants devront prendre connaissance des principes et méthodes d'élaboration de ces « arbres » en utilisant des algorithmes d'agglomération simples. Il faudra faire en sorte que les étudiants n'aient pas une vision gradiste de l'évolution de la diversité biologique en sachant interpréter convenablement un dendrogramme et leur faire comprendre ce qu'est une nouveauté évolutive (la synapomorphie) sur le plan morpho-anatomique et son importance en classification phylogénétique.

      Volume horaire : 12h de CM - 48h de TD - 48h de TP - 

      Plus d'informationsdans une autre fenêtre

    • UE12 Physique (6 crédits)

      Code : ENSPC1U2Langue : Français.

      Volume horaire : 23h de CM - 34h de TD - 15h de TP - 

      Plus d'informationsdans une autre fenêtre

      • Physique Newtonienne 1 (3 crédits)

        Code : ENSPC1V2ALangue : Français.

        Contenu : Cinématique (référentiels / repères / vecteurs) ; Dynamique (lois de Newton) dans un référentiel galiléen ; Puissance travail énergies ; Oscillateurs (harmoniques, amortis, forcés…).

        Volume horaire : 14h de CM - 22h de TD - 6h de TP - 

        Plus d'informationsdans une autre fenêtre

      • Optique géométrique (3 crédits)

        Code : ENSPC1V2BLangue : Français.

        Contenu : Relations de Descartes-Snell et principe de Fermat Approximations de Gauss Réflexion : miroirs Réfraction : dioptres, lentilles Association d'éléments d'optique, quelques instruments d'optique Défauts de l'oeil et leur correction.

        Volume horaire : 9h de CM - 12h de TD - 9h de TP - 

        Plus d'informationsdans une autre fenêtre

    • Diversité du monde vivant (6 crédits)

      Code : ENSNT1U1Langue : Français.

      Contenu : rappel des bases de l'évolution biologique principe de la classification linéenne et de la classification phylogénétique présentation générale des 3 domaines du vivant (Archées, Bactéries, Eucaryotes) et de leur origine commune présentation des relations phylogénétiques au sein des eucaryotes et focus sur 3 des 4 taxons les plus diversifiés : Eumycètes et Métazoaires (Opisthochontes) ; Archaeplastidia (plus précisément Viridiplantae).

      Volume horaire : 32h de CM - 4h de TD - 24h de TP - 

      Plus d'informationsdans une autre fenêtre

    • Introduction à la biologie (6 crédits)

      description non disponible.

    • Physique du numérique (6 crédits)

      description non disponible.

Semestre 2 Informatique Tronc Commun

[ détails ]

  • Programmation (6 crédits)

    Code : ENSIN2U1Langue : Français.

    Contenu : ­ Approfondissement du langage C : types complexes (structures et unions, tableaux bidimensionnels, etc) ; gestion de la mémoire (pointeurs, allocation dynamique, dé­référence) ; librairie standard, fonctions sur les chaînes de caractères ; compléments sur les fonctions : passages de paramètres, portée des variables, récursivité. ­ Structures de données linéaires : liste, pile, file ; implémentation par tableaux et par listes chaînées ; recherche séquentielle, dichotomique ; tri simple. ­ Méthodologie : analyse ascendante et descendante, structuration de données, notions de preuve et de dénombrement ; programmation itérative et récursive. ­ Réalisation d'un mini­projet.

    Volume horaire : 20h de CM - 20h de TD - 20h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Automates et circuits (6 crédits)

    Code : ENSIN2U2Langue : Français.

    Contenu : ­ Ensembles, fonctions, relations, quotient d'une relation. ­ Ordres, treillis, algèbre de Boole. ­ Fonctions booléennes, circuits combinatoires. ­ Codage (bases, numération, caractères), codes correcteurs. ­ Machines de Mealy, machines de Moore ; minimisation d'une machine.

    Volume horaire : 20h de CM - 30h de TD - 10h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Analyse 1 (6 crédits)

    Code : ENSMI2U1Langue : Français.

    Contenu : Suites. Suites majorées, minorées, monotones. Suites arithmétiques et géométriques. Suites définies par récurrence. Convergence des suites. Majorant, minorant, borne supérieure. Suites adjacentes. Suites extraites, valeur d’adhérence. Théorème de Bolzano-Weierstrass. Fonction d’une variable réelle. Limites, continuité, dérivabilité. Théorème des valeurs intermédiaires, théorème de Rolle, théorème et inégalité des accroissements finis. Dérivées d’ordre supérieur, règle de Leibniz. Développements limités. Formule de Taylor-Young. Développements limités des fonctions usuelles et applications.

    Volume horaire : 24h de CM - 36h de TD - 

    Plus d'informationsdans une autre fenêtre

  • Algèbre linéaire 1 (6 crédits)

    Code : ENSMI2U2Langue : Français.

    Contenu : Systèmes linéaires et matrices. Produit matrice vecteur, méthodes du pivot de Gauss, inverse d'une matrice. Méthode LU et méthode de Gauss-Jordan. Déterminant d'une matrice 2×2. Échelonnement d'une matrice, calcul de l'image et du noyau. Espaces vectoriels sur R ou sur C. Définitions, sous- espaces vectoriels, sommes de sous-espaces, sous-espace engendré par une famille de vecteurs. Familles libres, génératrices, dimension et bases (en dimension finie). Rang d’un système de vecteurs. Produit scalaire usuel dans Rn et orthogonalité. Orthogonalité de Ker A et Im A^t. Applications linéaires. Noyau, image, théorème du rang. Matrice d’une application linéaire dans une base, changement de base.

    Volume horaire : 24h de CM - 36h de TD - 

    Plus d'informationsdans une autre fenêtre

  • Anglais S2 (3 crédits)

    description non disponible.

  • Carte des métiers / Projet Personnel et Professionnel Étudiant (CdM / PPPE) (3 crédits)

    Code : CASPPPCA1Langue : Français.

    Contenu : Mettre en projet une idée, une recherche collective pour donner du sens au parcours individuel Découvrir les différents domaines et activités professionnelles accessibles à l’issue des études (Carte des métiers). Donner du sens à un projet personnel professionnel et de formation en le confrontant à la réalité professionnelle Acquérir des connaissances de base en communication écrite et orale et en projet Résultats attendus : première évaluation du projet personnel professionnel. Définir, conforter ou remettre en question le projet personnel professionnel et de formation de l’étudiant ; initier un réseau professionnel.

    Plus d'informationsdans une autre fenêtre

Semestre 3 parcours informatique

[ détails ]

  • Algorithmique (6 crédits)

    Code : ENSIN3U1Langue : Français.

    Contenu : Contenus­ Analyse d'algorithmes, complexité, preuve des algorithmes.­ Structures linéaires (rappels).­ Algorithmes et complexité des tris.­ Arbres binaires de recherche, tas, arbres lexicographiques.­ Programmation dynamique.­ Graphes : représentations ; parcours en largeur, en profondeur ; composantes connexes ; algorithme de plus court chemin (Dijkstra, Bellman­Ford).Langage utilisé : le C.

    Volume horaire : 20h de CM - 20h de TD - 20h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Théorie des langages (6 crédits)

    Code : ENSIN3U2Langue : Français.

    Contenu : ­ Langages formels, langages réguliers. ­ Expressions régulières, automates d'états finis. ­ Équivalence entre ces notions, minimisation, déterminisation. ­ Automates à pile, machines de Turing.

    Volume horaire : 20h de CM - 30h de TD - 10h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Architecture des ordinateurs (6 crédits)

    Code : ENSIN3U3Langue : Français.

    Contenu : ­ Rappels : circuits combinatoires et machines de Moore. ­ Réalisation physique de circuits (logique RTL, CMOS). ­ Multiplexeurs, arithmétique. ­ Circuits synchrones (bascules) ; mémoires. ­ Architecture des micro­processeurs (von Neuman, Harward). ­ Micro­programmation. ­ Les interruptions matérielles. ­ Étude d'un langage assembleur (ARM, MIPS ou autre). ­ Concepts d'architecture avancée (RISC, CISC, pipeline, cache, …).

    Volume horaire : 20h de CM - 20h de TD - 20h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Analyse et structures algébriques (6 crédits)

    Code : ENSIN3U4Langue : Français.

    Contenu : ­ Séries numériques ; suites et séries de fonctions ; séries entières ; convergences. ­ Groupes, anneaux et corps.

    Volume horaire : 24h de CM - 36h de TD - 

    Plus d'informationsdans une autre fenêtre

  • Programmation Unix 1 (3 crédits)

    description non disponible.

  • Anglais S3 (3 crédits)

    description non disponible.

Semestre 4 parcours informatique

[ détails ]

  • Projet algorithmique (6 crédits)

    Code : ENSIN4U1Langue : Français.

    Contenu : ­ Présentation du projet. ­ Programmation modulaire, makefiles. ­ Compléments en algorithmique et structures de données. Langage utilisé : le C.

    Volume horaire : 6h de CM - 6h de TD - 48h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Programmation Unix 2 (3 crédits)

    Code : ENSIN4U2Langue : Français.

    Contenu : ­ Présentation des systèmes Unix : historique, principes, commandes usuelles, redirections et tubes, système de fichiers (hiérarchie standard, droits), norme POSIX. ­ Langages de scripts sh et bash : variables, substitutions, structures de contrôle (boucles, branchements), fonctions (arguments, portée, récursivité), arithmétique. ­ Boîte à outils Unix en C : arguments, processus (terminaison, duplication et héritage, recouvrement, zombi et synchronisation), signaux Unix. ­ Écriture d'un interpréteur shell minimal en C.

    Volume horaire : 10h de CM - 12h de TD - 14h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Introduction à la programmation objet (3 crédits)

    Code : ENSIN4U3Langue : Français.

    Contenu : ­ Introduction : modularité, ré­utilisabilité, langages objet. ­ Notion d'objet, de classe : instance, utilisation ; constructeurs, destructeurs ; attributs, méthodes, surcharges ; copie et comparaison d'objets. ­ Encapsulation, droits d'accès, paquetages ; composition, héritage. ­ Initiation au langage Java.

    Volume horaire : 10h de CM - 12h de TD - 14h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Éléments de combinatoire et de théorie des graphes (6 crédits)

    Code : ENSIN4U6Langue : Français.

    Contenu : ­ Graphes, représentation des graphes, arbres, cycles, connexité. ­ Tours d'Euler et tours de Hamilton. ­ Coloriage des sommets et des arêtes. ­ Graphes planaires, graphes sur des surfaces et la caractéristique d'Euler. ­ Graphes d'intervalles, graphes parfaits. ­ Flots, connexité, couplages. ­ Introduction à la combinatoire ; algorithmes de combinatoire énumérative. ­ Combinatoire des familles d'ensembles ; principe de Dirichlet et théorème de Ramsay ; principe d'inclusion­exclusion et ses applications. ­ Comptage et énumération : nombre d'arbres couvrants d'un graphe, nombre de couplages d'un graphe planaire.

    Volume horaire : 20h de CM - 20h de TD - 20h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Anglais S4 (3 crédits)

    description non disponible.

  • Option Informatique : 6 crédits à choisir
    • Interfaces graphiques (6 crédits)

      Code : ENSIN4U4Langue : Français.

      Contenu : ­ Compléments de C, programmation événementielle, notion de callback. ­ Utilisation des librairies gtk+, gdk, glib, pango, cairo. ­ Courbes de Bézier, transformations géométriques. ­ Patron de conception Observateur. ­ Réalisation de gros projets (plateaux de jeux, logiciel de dessin, etc). MCC : rendu de projets notés ; pas d'examens.

      Volume horaire : 20h de CM - 40h de TP - 

      Plus d'informationsdans une autre fenêtre

    • Développement web 1 (6 crédits)

      Code : ENSIN4U5Langue : Français.

      Contenu : ­ Langage xhtml et html 5. ­ Feuilles de style css. ­ Langage javascript.

      Volume horaire : 20h de CM - 40h de TP - 

      Plus d'informationsdans une autre fenêtre

    • Programmation synchrone de micro-contrôleurs (6 crédits)

      Code : ENSIN4U7Langue : Français.

      Contenu : ­ Introduction aux systèmes réactifs. ­ Paradigme de la programmation synchrone. ­ Réalisation de programmes synchrones sur micro­ contrôleur (temps réel). ­ Analyse de temps d'exécution ; contrôle analogique et numérique ; architectures time­triggered. TP : Prise en main en binôme de micro­contrôleurs simple sous C et EsterelStudio, projets d'automatique ou robotique légère.

      Volume horaire : 20h de CM - 20h de TD - 20h de TP - 

      Plus d'informationsdans une autre fenêtre

    • Développement rapide en Python (6 crédits)

      description non disponible.

    • M.I.A.G.E. (option) (6 crédits)

      Code : ENSIN4U11Langue : Français.

      Contenu : Avoir une première vision des enjeux de l’informatique de gestion et des différents rôles de ses acteurs. Comprendre les enjeux de la gestion d’entreprise à travers la mise en pratique concrète de ses processus.

      Plus d'informationsdans une autre fenêtre

  • 3 crédits à choisir parmi
    • Informatique et société (3 crédits)

      Code : ENSIN4U9Langue : Français.

      Contenu : Aspects juridiques et réglementaires : protection de la vie privée, sécurité des systèmes informatiques, licences logicielles ... Aspects économiques : acteurs de l’économie numérique, marché des technologies, des services et des réseaux, commerce en ligne ... Aspects sociaux : informatisation de la société, conséquences sur les organisations, la gestion de l’information, la formation, l’emploi ... Aspects culturel : nouvelles formes d’accès au savoir, à la communication, à la création ... Après une synthèse de cours sur ces différents aspects, il sera proposé aux étudiants de les approfondir en réalisant des exposés par groupe. Exemples de sujets : Stratégie européenne en informatique : lois sur la protection des données personnelles Responsabilités et libertés : le rôle de la CNIL Logiciels libres vs logiciels propriétaires : caractéristiques et différences. Innovation et concurrence : les brevets logiciels. Identité numérique sur les réseaux sociaux : frontière vie privée / vie publique Administration électronique : procédures dématérialisées Inégalités de l’accès à Internet : fracture numérique / fracture sociale Construction collective de connaissances : sciences participatives sur le Web Art en ligne : musées virtuels, oeuvres interactives

      Plus d'informationsdans une autre fenêtre

    • Connaissance de la recherche en informatique (3 crédits)

      description non disponible.

    • Stage de 3 crédits

      description non disponible.

Semestre 5 parcours informatique

[ détails ]

  • Algorithmique avancée (6 crédits)

    Code : ENSIN5U1Langue : Français.

    Contenu : ­ Graphes : tri topologiques ; composantes fortement connexes ; arbres couvrants ACM ; plus court chemin ; flot maximum. ­ Structures de données : AVL­arbres ; B­arbres ; tas binomiaux ; adressage dispersé (hash­code). ­ Méthodes : diviser pour régner ; algorithmes par balayage ; programmation dynamique ; algorithmes gloutons ; randomisation. ­ Algorithmes de recherche de motifs. Langage utilisé : le C.

    Volume horaire : 20h de CM - 20h de TD - 20h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Programmation et conception orientées objet (6 crédits)

    Code : ENSIN5U2Langue : Français.

    Contenu : ­ Programmation OO : classes, encapsulation, héritage, polymorphisme, templates ; classes abstraites, interfaces, exceptions, paquetages ; comparaison entre Java et C++. ­ Introduction au génie logiciel : cycle de vie logiciel ; principes de conception objet. ­ Initiation à UML (diagrammes de classes). ­ Initiation aux patrons de conception. ­ Outils de développement.

    Volume horaire : 20h de CM - 20h de TD - 20h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Réseau et communication (6 crédits)

    Code : ENSIN5U3Langue : Français.

    Contenu : ­ Boîte à outil Unix en C (rappels) : processus et signaux Unix. ­ Points de communication du SGF : tables du système, descripteur de fichier, tube anonyme ou nommé, socket, duplication et redirection. ­ Scrutation et boucle d'évènements avec select : gestion de connexions multiples et de timers ; modèles client­serveur. ­ Sockets des domaines Unix ou Internet, en mode datagramme ou connecté : UDP/UN, UDP/IP, TCP/UN, TCP/IP. ­ Les réseaux informatique : modèles en couche ; protocole IP (adresses, résolution, fragmentation et encapsulation, temps à vivre) ; éléments d'architecture (hub, switch, passerelle, …), routage IP, résolution de noms ; notion de port et de service. ­ Étude de protocoles : ARP et RARP (ethernet) ; TCP (connexion, déconnexion, acquittement, fenêtre glissante) ; HTTP (version, requête, réponse, méthode) ; ssh. ­ Réalisation de nombreux clients­serveurs, en particulier un aspirateur web et un serveur web multi­clients.

    Volume horaire : 20h de CM - 20h de TD - 20h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Conception de bases de données (3 crédits)

    Code : ENSIN5U5Langue : Français.

    Contenu : ­ Normalisation (DF, DM, 4NF, BCNF). ­ Introduction à la conception : modèle entité/association ; modèle Merise ; dérivation.

    Volume horaire : 10h de CM - 10h de TD - 10h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Suivant le L2 d'origine (9 crédits)

Semestre 6 parcours informatique

[ détails ]

  • Compilation (6 crédits)

    Code : ENSIN6U1Langue : Français.

    Contenu : Les différentes étapes de la compilation. ­Rappels sur les automates. ­Grammaires génératives (Hiérarchie de Chomsky), lien avec les automates. ­Analyse lexicale, utilisation de l'outil lex. ­Analyse syntaxique, grammaires LR, utilisation de l'outil Yacc. ­Grammaires attribuées. ­Construction d'une représentation intermédiaire. ­Génération de code. Langage utilisé : le C.

    Volume horaire : 20h de CM - 20h de TD - 20h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Logique et calculabilité (6 crédits)

    Code : ENSIN6U2Langue : Français.

    Contenu : Calcul des propositions : vocabulaire, syntaxe et sémantique ; algorithme de Quine ; algorithme de Davis et Putnam ; méthodes basées sur la résolution, clauses de Horn ; théorème de compacité. Calcul des prédicats : vocabulaire, syntaxe et sémantique ; forme de Skolem et forme causale ; interprétation de Herbrand ; unification, méthode de résolution ; programmation logique, exemple de l'algorithme d'Euclide. Calculabilité : décidabilité et indécidabilité des formules ; notion de fonctions calculables et non­calculables ; thèse de Church, machine de Turing, lambda­calcul.

    Volume horaire : 20h de CM - 30h de TD - 10h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Systèmes d'exploitation (6 crédits)

    Code : ENSIN6U3Langue : Français.

    Contenu : L'objectif de cet enseignement est de présenter les principes généraux qui sont à la base des systèmes d'exploitation modernes. L'accent est mis sur les problèmes de partage, de sécurité et d'interface.

    Volume horaire : 20h de CM - 20h de TD - 20h de TP - 

    Plus d'informationsdans une autre fenêtre

  • Option 1 : 6 crédits à choisir
    • Géométrie algorithmique (6 crédits)

      Code : ENSIN6U4Langue : Français.

      Contenu : ­Triangulation d'un polygone et applications. Cartes et graphes planaires, localisation d'un point. Recherche et structures de données multidimensionnelles. ­Enveloppes convexes, diagrammes de Voronoï et triangulations de Delaunay : propriétés, algorithmes, applications. ­Flot maximum et flot de coût minimum : dualité, algorithmes et applications. Connexité : théorèmes de Menger et liens avec le flot. Couplages.

      Plus d'informationsdans une autre fenêtre

    • Développement web 2 (6 crédits)

      Code : ENSIN6U5Langue : Français.

      Contenu : ­ Génération de pages avec Php, utilisation avec une base de données. ­ Gestion de session et sécurité. ­ Patron de conception Modèle­Vue­Contrôleur. ­ Technologie Ajax et DOM. ­ Développement et outils du web mobile.

      Plus d'informationsdans une autre fenêtre

    • Langage naturel (6 crédits)

      Code : ENSIN6U6Langue : Français.

      Contenu : Les applications du TAL. ­Modélisation et implémentation d'un lexique. ­Analyse morphologique. ­Analyse syntaxique. ­Élaboration de grammaires locales. MCC : examen écrit, TP notés, soutenances de projets.

      Plus d'informationsdans une autre fenêtre

    • Intelligence artificielle (6 crédits)

      description non disponible.

  • Option 2 : 6 crédits à choisir

Modalités d'inscription

Déposer une candidature