Master Sciences, Technique, Santé



Yüklə 1,41 Mb.
səhifə6/26
tarix26.10.2017
ölçüsü1,41 Mb.
#13504
1   2   3   4   5   6   7   8   9   ...   26



Nom de l’UE : Mif12 - Compilation / traduction de programme

Nombre de crédits : 3

UFR de rattachement : UFR Informatique
Responsables d’UE : Erwan Guillou Tél. : 04 72 44 82 42 Mèl. : Erwan.Guillou@liris.cnrs.fr

Contact formation : Behzad Shariat Tél. : 04 72 43 13 11 Mèl. : behzad.shariat@liris.cnrs.fr


Enseignement présentiel : 39 heures

Répartition de l’enseignement présentiel :

Cours Magistraux 15 heures

Travaux Dirigés 12 heures

Travaux Pratiques 12 heures

Contrôle des connaissances


Contrôle continu : coefficient 0,33

projet


Examen terminal : coefficient 0,67


Type de l’UE

Obligatoire : OUI  Formation : MASTER mention informatique Parcours : Général

Optionnelle : NON Formation : Parcours :

Place de l’UE dans le parcours : M1 Semestre : S1

Modalités d’accès à l’UE (pré-requis conseillés) : NON Lesquels :


Programme – contenu de l’UE

Rappel sur les grammaires et langages, analyse lexicale, syntaxique et sémantique, génération de code 3 adresses et optimisations locales et globales, analyse et interprétation de fichiers source.


Projet commun Conduite de projet /Compilation : les étudiants doivent choisir un sujet parmi plusieurs proposés, et le réaliser par groupes de 5 ou 6 maximum pendant le semestre, avec remise de rapport final et présentation de l’application réalisée. Les sujets portent sur la compilation, et le suivi de projet est assuré en Génie logiciel, ce qui nécessite une parfaite alternance des emplois du temps de TP des deux disciplines (une semaine TD en Génie logiciel, TP en Compilation, pour toute la promotion, et inversement la suivante).
Compétences acquises
Méthodologiques :

- La maîtrise de différentes tâches intervenant dans la traduction. La connaissance de mécanismes de description formelle de certaines de ces tâches.

- L’utilisation de connaissances théoriques (issues de la théorie des langages formels et des automates), dans un cadre contraint par les machines réelles pour construire des modules associées à certaines tâches de traduction.
Techniques :

outils de spécification de langages de programmation, techniques de génération de code.


Secteur d’activité concerné et compétences métier acquises :

informatique






Nom de l’UE : Mif13 - Programmation web

Nombre de crédits : 3

UFR de rattachement : UFR Informatique
Responsables d’UE : Olivier Glück Tél. : 04 72 44 81 91 Mèl. : Olivier.Gluck@bat710.univ-lyon1.fr

Contact formation : Behzad Shariat Tél. : 04 72 43 13 11 Mèl. : behzad.shariat@liris.cnrs.fr


Enseignement présentiel : 30 heures

Répartition de l’enseignement présentiel :

Cours Magistraux 15 heures

Travaux Dirigés heures

Travaux Pratiques 15 heures

Contrôle des connaissances


Contrôle continu : coefficient 0,4

TP


Examen terminal : coefficient 0,6


Type de l’UE

Obligatoire : OUI  Formation : MASTER mention informatique Parcours : Général

Optionnelle : NON Formation : Parcours :

Place de l’UE dans le parcours : M1 Semestre : S2

Modalités d’accès à l’UE (pré-requis conseillés) : NON Lesquels :


Programme – contenu de l’UE

- Web, Langage HTML, Dynamic HTML et Feuilles de styles

- Le langage JavaScript

- Formulaires, protocole HTTP et programmation CGI

- Le langage PHP

De nombreuses notions de réseaux sont abordées pour expliquer le fonctionnement des protocoles liés à la programmation Web.


Compétences acquises
Méthodologiques :

- Comprendre l’architecture d’un serveur Web et savoir la mettre en œuvre

- Maîtriser les différents éléments du Web
Techniques :

- Programmation HTML, CSS, Images cliquables

- Fonctionnement du protocole HTTP, programmation CGI en shell

- Programmation JavaScript et formulaires HTML

- Programmation PHP, interfaçage avec une base de données MySql

- Installation d'un serveur Web (Apache)


Secteur d’activité concerné et compétences métier acquises :

Ingénieur système et réseaux, Webmaster






Nom de l’UE : Mif14 - Bases de l’intelligence artificielle

Nombre de crédits : 3

UFR de rattachement : UFR Informatique
Responsables d’UE : Alain Mille Tél. : 04 72 44 58 24 Mèl. : alain.mille@liris.cnrs.fr

Contact formation : Behzad Shariat Tél. : 04 72 43 13 11 Mèl. : behzad.shariat@liris.cnrs.fr


Enseignement présentiel : 30 heures

Répartition de l’enseignement présentiel :

Cours Magistraux 12 heures

Travaux Dirigés 9 heures

Travaux Pratiques 9 heures

Contrôle des connaissances


Contrôle continu : coefficient 0,3

TP et projet



Examen terminal : coefficient 0,7



Type de l’UE

Obligatoire : OUI  Formation : MASTER mention informatique Parcours : Général

Optionnelle : NON Formation : Parcours :

Place de l’UE dans le parcours : M1 Semestre : S1

Modalités d’accès à l’UE (pré-requis conseillés) : NON Lesquels :


Programme – contenu de l’UE

- Introduction aux techniques de l'Intelligence Artificielle (histoire récente de l'intelligence artificielle, les hypothèses fondatrices et l'évolution récente, exemples, illustrations, mythe et réalité...)

- Résolution de Problème (recherche de solution dans un espace d'états, algorithme A* et hypergraphe, 2 problèmes pour mettre en œuvre la recherche de solution dans un graphe d'états)

- Méthodes de calcul en logique pour l'IA (rappels, Skolemisation, Herbrand , complétude, formalisation, applicabilité)

- PROLOG (Langage, syntaxe, sémantique, mise en œuvre : utiliser Prolog pour la recherche de solution dans un graphe d'états, développement d'un Système à Bases de connaissances)

- Systèmes à base de connaissances (Définitions, architecture, exemples, la question de l'ingénierie des connaissances)



Compétences acquises
Méthodologiques :

Méthode de formalisation de connaissances en logique.

Méthode de formalisation d'un processus de déduction automatique

Méthode de représentation de connaissances en logique


Techniques :

Techniques IA de résolution de problèmes

Expression de connaissances en logique du 1er ordre

Pratique de Prolog pour la réalisation de Système à Base de Connaissances


Secteur d’activité concerné et compétences métier acquises :

Aide à la décision dans l'entreprise

Recherche d'information par le contenu (web sémantique)

Résolution de problèmes, systèmes experts



Yüklə 1,41 Mb.

Dostları ilə paylaş:
1   2   3   4   5   6   7   8   9   ...   26




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©muhaz.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin