Nothing Special   »   [go: up one dir, main page]

Programme 42

Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1sur 13

Anne 42.

1
41 mini projets dont:
- une calculatrice pour nombres arbitrairement
grands
- un moteur 3d simple pour jeu de type FPS
- un challenge scurite niveaux
- une gestion ludique de pizzeria
- un mcanisme dauthentification dport
7 projets dont:
- un combat de programmes dans une arene virtuelle
- un interpreteur de commande unix complet
- un programme de calcul dimage de synthese
- un jeu reseau simulant un monde virtuel
ALGO-1-001
ALGORITHMES
ELMENTAIRES
11 CRDITS
Rsum :
Par la confrontation et
la rsolution pratique de
projets varis, dcouverte
des besoins usuels en
structures de donnes et des
algorithmes classiques les
manipulants.
Objectifs :
- Perfectionnement en C
- Evaluation dexpressions et
restructuration des donnes
- Structures de donnes:
listes, hash, arbres, tableaux
- Algorithmes usuels :
parcours, tri, recherche
- Thorie des graphes
UNIX-1-001
ENVIRONNEMENT
UNIX I
11 CRDITS
Rsum :
Comprhension des
systmes UNIX et utilisation
de lAPI POSIX au travers
de nombreux challenges
mis en place dans un cadre
dapprentissage peer-to-
peer.
Objectifs :
- Perfectionnement en C
- Communication UNIX
: file descripteur et
entres-sorties vers des
priphriques et dautres
processus
- Etats dun processus
: cration, excution,
destruction, signaux
- Management dun terminal
- Conception des systmes
dexploitation
INFOG-1-001
INTERFACE
GRAPHIQUE
10 CRDITS
Rsum :
Matrise rapide des principes
fondamentaux de tout type
denvironnement graphique
par le biais de projets
techniquements ambitieux.
Objectifs :
- Interfaage et manipulation
de lenvironnement
XWindow
- Algorithmie simple (lignes,
cercles, remplissages) et
complexe (raycasting,
raytracing)
- Intgration dlments
complexes externes issus
des mathmatiques
ENGL-1-001
ANGLAIS
3 CRDITS
Apprentissage en e-learning de langlais
informatique.
Anne 42.1
SECU-1-001
INTRODUCTION
LA SCURITE
1 CRDIT
Rsum :
Dans le prolongement dune
culture geek sulfureuse
en matire de scurit,
dcouverte des premiers
lments tangibles dans leur
environnement de travail,
ainsi que des premires
contre-mesures.
Objectifs :
- Elments simples de
scurit contextualiss :
lenvironnement de lcole
- Rgles et risques lis la
scurit sur internet
- Pratiques de
programmation scuritaires :
analyse de code
CINFO-1-001
CULTURE
INFORMATIQUE
1 CRDIT
Rsum :
Dcouverte du panorama
culturel informatique, de
lhistorique jusquaux thmes
de recherche actuels, via
plusieurs exposs raliss
par les tudiants.
Objectifs :
- Historique de
linformatique
- Concepts darchitecture
machine: processeurs, bus,
priphriques, ...
- Concepts des systmes
dexploitation: architecture
interne, macro/micro/
exo kernel, gestion de la
mmoire, file system, POSIX,
...
- Informatique alatoire
- Informatique quantique
SECU-1-002
CHALLENGE
SCURIT
3 CRDITS
Rsum :
Confrontation des
techniques simples
dintrusion et de
dtournement dun systme
informatique au travers
dune srie dnigmes
successives et varies,
dveloppant plus largement
une capacit dadaptation et
de pense divergente.
Objectifs :
- Techniques lmentaires
de dtournement
informatique et dintrusion
dans le but dobtenir de
nouveaux privilges
POOBJ-1-001
PISCINE C++
4 CRDITS
Rsum :
Apprentissage des
fondamenteux de la
programmation oriente
objet durant une priode
dimmersion complte sur le
thme.
Objectifs :
- Syntaxe du C++
- Elments spcifiques
de programmation
objet : classes, hritage,
polymorphisme, templates,
surcharge, abstraction
POOBJ-1-002
PROGRAMMATION
ORIENTE OBJET
7 CRDITS
Rsum :
Consolidation des acquis
en programmation objet et
appropriation de concepts
avanc au travers de projets
necessitant une forte
interaction communautaire.
Objectifs :
- Conception de projets
selon le paradigme objet
- Thread en C++
- Interfaage graphique
Anne 42.1
UNIX-1-002
ENVIRONNEMENT
UNIX II
12 CRDITS
Rsum :
Matrise de lensemble des
lments de lAPI POSIX
ncessaires tout projet
denvergure (rseau,
thread, ...), par le biais de
ralisations dexcellence.
Objectifs :
- Programmation multi-
thread
- Mcanismes sous-jacents
dUNIX : allocation mmoire,
devices, linkage dynamique,
fichiers et MMU
- Mcanismes de
Communication Inter-
Processus (IPC)
- Programmation Rseau et
Internet
IART-1-001
INTRODUCTION
LINTELLIGENCE
ARTIFICIELLE
2 CRDITS
Rsum :
Premire approche des
problmatiques ouvertes et
des systmes dcisionaires,
mise en oeuvre dans le
cadre dun challenge
communautaire o chacun
doit apprendre des autres.
Objectifs :
- Notions lmentaires de
thorie des jeux
- Algorithmes classiques :
min/max, alpha/bta, A*
- Gestion dune contrainte
temporelle
- Heuristique, rseaux
smantiques
SECU-1-003
CRYPTOGRAPHIE
ELMENTAIRE
2 CRDITS
Rsum :
Grce la pratique la fois
des lments fondamentaux
de la cryptographie comme
des lments intgr forte
valeur ajoute, dcouverte
et utilisation dun composant
aux multiples facettes de la
scurit informatique.
Objectifs :
- Algorithmes de cryptage
symtrique et assymtrique,
fonctions de hachage
- Intgration et utilisation
doutils standards
de cryptographie et
dauthentification (OpenSSL,
API Google, OTP, PKI,...)
UNIX-1-003
ENVIRONNEMENT
UNIX AVANCE
3 CRDITS
Rsum :
Notion et utilisation simple
dun langage de bas
niveau, comprhension
des mcanismes de
communication avec le
noyau UNIX, grce une
mise en oeuvre concrte et
immdiate dans des projets
aux objectifs trs avancs.
Objectifs :
- Assembleur x86
- Fonctionalits de traage
et de deboggage
INFOG-1-002
OPENGL
3 CRDITS
Rsum :
Ralisations graphiques
grace des outils avancs
permettant dutiliser
lacclration matrielle.
Objectifs :
- Transformations,
projections, coordonnes
homognes, gomtrie,
matrices, angles,
rasterisation
- API OpenGL
Anne 42.2
26 mini projets dont:
- une simulation boursire
- un jeu darcade
- un virus simple
13 projets dont:
- un proxy cryptographique
- une simulation hydrodynamique
- un projet denvergure sur 5 mois
ALGO-2-001
ALGORITHMES
AVANCS I
2 CRDITS
Rsum :
Intgration doutils
mathmatiques avancs,
approche empirique de
systmes complexes et
de problmes ouverts en
apprentissage collaboratif.
Objectifs :
- Simulation boursire
- Catgorisation
SECU-2-001
CRYPTOGRAPHIE
APPLIQUE
5 CRDITS
Rsum :
Ralisation dun ambitieux
projet alliant contraintes
de scurit ralistes
dentreprise et standards de
lInternet
Objectifs :
- Protocole HTTPS
- Authentification
assymtrique
- Flux de donnes crypt
PRLIB-2-001
PROJET LIBRE I
8 CRDITS
Rsum :
Apprentissage de la gestion
de projet sur le long terme,
au travers dune ralisation
au choix des tudiant.
Objectifs :
- Cahier des charges
- Plannification
- Recettage
- Gestion des imprvus
- Techniques dorganisation
personelle, de groupe, et de
gestion de projet (GANTT,
PERT, ...)
ENGL-2-001
ANGLAIS
3 CRDITS
Apprentissage en e-learning de langlais
informatique.
Anne 42.2
POOBJ-2-001
TECHNIQUES
AVANCES EN
C++
7 CRDITS
Rsum :
Renforcement du paradigme
objet et des problmatiques
de conception en C++ autour
de projets demandant une
capacit dadaptation
accrue.
Objectifs :
- C++ en environnement MS
Windows
- Programmation objet multi-
architecture
- Objets distants: RPC,
Corba, ...
- Design patterns
(structurels, creationnels,
comportementaux)
RELA-2-001
TRANSMISSION
DE
COMPTENCES
3 CRDITS
Rsum :
Participation laccueil,
aux premiers pas, et
lintgration communautaire
des nouveaux apprenants.
Objectifs :
- Communication
- Encadrement dun groupe
RESO-2-001
ARCHITECTURE
RSEAU
PERSONNEL
3 CRDITS
Rsum :
Grce de nombreuses
petites situations ralistes
dun rseau familial ou de
PME, acquisition des bases
de larchitecture dun rseau
local.
Objectifs :
- Adressage IP et masque de
sous-rseau
- DHCP
- Nat
- IPv4 / IPv6
- Rseau WIFI
- Bluetooth
- UpnP, DLNA, Intgration de
nouveaux lments rseaux
- Peer-to-peer: BitTorrent,
Emule, Gnutella
ADSYS-2-001
ADMINISTRATION
SYSTME UNIX
3 CRDITS
Rsum :
Prise en main complte
dun ordinateur personnel
et de sa configuration en
environnement UNIX par
une pratique immdiate de
cas standards.
Objectifs :
- Installation UNIX
- Gestion du matriel et des
utilisateurs
- Services locaux simples
- Langages de scripting : sh,
python, perl...
BASED-2-001
SQL
3 CRDITS
Rsum :
De la dcouverte jusquaux
premires structures
complexes, aquisition
du socle indispensable
lutilisation des bases de
donnes.
Objectifs :
- Requtes simples SQL
- INSERT / SELECT / JOIN
- Structuration lmentaire
de base de donnes
- MySQL / Postgresql /
SQLite /....
- Base de donne relationelle
Anne 42.2
POOBJ-2-004
CONCEPTION
DES SYSTMES
DINFORMATION
3 CRDITS
Rsum :
Au travers de ralisations
techniques dautres
modules, acquisition, puis
manipulation des techniques
de conception de systmes
dinformation.
Objectifs :
- Conception
- Analyse
- Diagrammes
- Mthodologie
- UML, Merise
POOBJ-2-002
JAVA I
3 CRDITS
Rsum :
Consolidation du paradigme
objet et utilisation des
environnements et librairies
standards en Java, grce
des situations ralistes
dentreprise.
Objectifs :
- Environnement Java
- Librairies standard / Swing
/ JDBC
- Plateformes : smartphone /
web / backoffice
- J2ME
- Conception UML en lien
avec le module CSI
POOBJ-2-003
MS .NET I
3 CRDITS
Rsum :
Matrise des principeaux
lments du framework .Net
ainsi que du langage le plus
couramment associ par le
biais de plusieurs projets.
Objectifs :
- Environnement MS .Net
- C#
IART-2-001
INTELLIGENCE
ARTIFICIELLE I
3 CRDITS
Rsum :
Premiers lments et
algorithmes complexes
dintelligence artificielle
mis en oeuvre dans des cas
pratiques de problmes
ouverts.
Objectifs :
- Systmes Experts
- Systmes agents
SECU-2-002
VIRUS
INFORMATIQUE
3 CRDITS
Rsum :
Introduction aux techniques
virales classiques lors de
la ralisation de plusieurs
vers en environnement MS
Windows.
Objectifs :
- Techniques virales
- Assembleur x86 avanc
- Format PE des excutables
MS Windows
Anne 42.2
RESO-2-002
ARCHITECTURE
RSEAU
DENTREPRISE
3 CRDITS
Rsum :
Mises en situation concrtes
darchitecture et de gestion
de rseau professionnel
dune petite structure.
Objectifs :
- Routage entre de multiple
sous-rseaux
- VLAN
- Accs aux ressources de
lentreprise
- Pare-feux, filtres et DMZ
- Accs extrieur
- ADSL, Fibre optique, liaison
ddie
- Elments rseaux RFID
BASED-2-002
ADMINISTRATION
DE BASE DE
DONNES I
3 CRDITS
Rsum :
Acquisition des techniques
lmentaires permettant
linstallation et lutilisation
dune base de donnes,
au travers de plusieurs cas
pratiques.
Objectifs :
- Cration et mise en
production dune base de
donnes
- Maintenance de base de
donnes
PRLIB-2-002
PROJET LIBRE II
10 CRDITS
Rsum :
Apprentissage de la gestion
de projet sur le trs long
terme, au travers dune
ralisation dexcellence dun
an et demi dont le sujet est
dtermin par les tudiants
eux-mmes.
Objectifs :
- Cahier des charges
- Plannification
- Recettage
- Gestion des imprvus
ALGO-2-002
ALGORITHMES
AVANCS II
4 CRDITS
Rsum :
Intgration doutils
mathmatiques avancs,
et/ou approche empirique,
de systmes complexes et
de problmes ouverts en
apprentissage collaboratif.
Objectifs :
- Surfaces de Beziers
- Ecoulement de fluides
- Recherche oprationelle,
Simplexes
- Programmation non
linaire
- Programmation par
contraintes
PSPE-2-001
PROGRAMMATION
FONCTIONNELLE
3 CRDITS
Rsum :
Grce plusieurs projets
raliss dans plusieurs
langages, dcouverte puis
apprentissage pouss du
paradigme fonctionnel.
Objectifs :
- Lambda calcul
- Lexique, syntaxe,
smantique
- Automates, rcursion, ordre
suprieur, convergence
- Typage, infrence
- Grammaire, Traitement des
langages
- Projets dans la mouvance
des recherches effectues
lInria
- OCaml, Haskell, Scheme,
Lisp,...
Anne 42.3
29 projets dont:
- un systme de reconnaissance dempreintes
digitales
- un micro-kernel
- une rgie multimedia
- un concours de calculs paralelles
- un convertisseur de langage de programmation
PRLIB-3-001
PROJET LIBRE II
20 CRDITS
Rsum :
Phase finale du chef-
doeuvre de chaque groupe,
ralis sur une dure totale
de 1 an et demi.
Objectifs :
- Cahier des charges
- Plannification
- Recettage
- Gestion des imprvus
SECU-3-001
SCURIT
SYSTME
3 CRDITS
Rsum :
Lors de scnarii ralistes o
tour de rle chacun est
attaquant puis dfenseur,
les principaux lments de
scurit informatique des
systmes dinformation
comme dexploitation sont
traits.
Objectifs :
- Failles de scurit locales
- Buffer & stack overflow
- Failles dadministration
systme
SECU-3-003
VIRUS
INFORMATIQUE
AVANC
3 CRDITS
Rsum :
Comprhension, puis
attaque / dfense en
simulation, de techniques
virales sophistiques et
auto-volutives.
Objectifs :
- Polymorphisme
- Techniques de dfense
ENGL-3-001
ANGLAIS
3 CRDITS
Apprentissage en e-learning de langlais
informatique.
Anne 42.3
POOBJ-3-002
JAVA II
3 CRDITS
Rsum :
Pratique avance des
standards Java de lindustrie.
Objectifs :
- EJB
- JMONKEY
- J2EE
POOBJ-3-001
MS .NET II
3 CRDITS
Rsum :
Exploitation des possibilits
avances du framework
Microsoft .Net .
Objectifs :
- Approfondissement C#
- Connaissance avance
des fonctionnalits du
framework
WEB-3-001
TECHNOLOGIES
WEB
3 CRDITS
Rsum :
Mise en application directe
dans un projet denvergure
des outils classiques en
environnement web 2.0
dynamique.
Objectifs :
- Technologies standards
lies au web: XHTML,
Javascript, PHP, HTML5,
WebGL, Ajax, XML, Json, ...
RESO-3-001
ARCHITECTURE
RSEAU
OPRATEUR
3 CRDITS
Rsum :
Approche des
problmatiques techniques
lies aux grands oprateurs
Internet mondiaux, sur leur
rseau interne comme sur
les points de connexion.
Des simulations rduites
sont effectues pour une
appropriation au plus prs
de la ralit.
Objectifs :
- Backbone Oprateur
- AS et BGP
- Routage niveau 3 et niveau
2 : ATM, MPLS, GMPLS,
FrameRelay
- Packet & Traffic Shaping
GPRJ-3-001
GESTION DE
PROJET
3 CRDITS
Rsum :
Connaissance et mise
en pratique sur dautres
modules du cursus des
processus de gestion
de projet modernes
dentreprise.
Objectifs :
- Mthodes Agiles
- SCRUM
- Extreme Programming
- Best practices ITIL
Anne 42.3
EMBQ-3-001
DVELOPPEMENT
MOBILE IPHONE
3 CRDITS
Rsum :
Ralisation dapplications
mobile pour plateforme
Iphone dApple afin
dacqurir une aisance
significative sur ce type
denvironnement.
Objectifs :
- Objective C
- Environement IPhone
- Cocoa
ADSYS-3-001
ADMINISTRATION
SYSTME
AVANCE
3 CRDITS
Rsum :
Un contexte de PME est
artificiellement cr pour
se confronter et saguerrir
aux lments standards
dun systme dinformation
dentreprise.
Objectifs :
- Services pour lentreprise:
utilisateurs, imprimantes,
fichiers, messagerie
- Elments de scurit
rseaux: mcaniques
dauthentification, firewall,
architecture rseau
spcifique,...
- Elments de scurit
physique
- Gestion dun parc machine
rduit
- Tlphonie sur IP
- Services Web: LAMP, IIS/C#
SECU-3-002
SCURIT
RSEAU
3 CRDITS
Rsum :
Exploitation doutils et de
modes opratoires intrusifs
lors dun concours interne de
scurit en vase clos.
Objectifs :
- Man in the middle
- Sniffing / Spoofing : IP,
ARP,...
- Flood et DDOS
- Failles de scurit distantes
WEB-3-002
FRAMEWORKS
WEB ET
E-COMMERCE
3 CRDITS
Rsum :
Etude et utilisation de
diffrents environnements
de dveloppement web,
gnriques comme
spcialiss.
Objectifs :
- Frameworks bas niveau :
Symfony, Zend, Rails, Django,
Tomcat, Cake, ...
- Langages associes : Java,
PHP, Ruby,...
- Frameworks haut niveau et
CMS: Prestashop, Wordpress,
...
- Librairies: jQuery, GLGE
- E-Commerce
- Intgration de solutions de
paiement
- IHM Web et ergonomie
IART-3-001
INTELLIGENCE
ARTIFICIELLE II
3 CRDITS
Rsum :
Manipulation dalgorithmes
avancs en intelligence
artificielle : rseaux
de neurones pour la
reconnaissance dempreintes
digitales par exemple,
ou encore algorithmes
gntiques pour approcher
dune solution optimale dun
problme ouvert.
Objectifs :
- Rseaux de neurones
- Machine Learning
- OCR, Vision par ordinateur
- Algorithmes gntiques
Anne 42.3
ADSYS-3-002
CLOUD
COMPUTING
3 CRDITS
Rsum :
Approche bidimensionelle
du cloud computing, tant
du ct client lors dune
externalisation partielle ou
totale de son infrastructure
et de ses services, que
du cot hbergeur avec
lorganisation et la gestion
dune telle infrastructure.
Objectifs :
- Virtualisation hardware
- Scalabilit
- Virtualisation des services
- Big Data
KERN-3-001
PROGRAMMATION
KERNEL
3 CRDITS
Rsum :
Introduction la
programmation kernel en
effectuant des modifications
ou des ajouts de
fonctionnalits un systme
existant.
Objectifs :
- Appel systme
- Device Driver
- Filesystem virtuel
POOBJ-3-003
COMPILATION
ET PARADIGME
OBJET
3 CRDITS
Rsum :
Dcouverte et manipulation
des mcanismes internes
sous-jacents dun langage
orient objet au travers dun
projet de recriture partielle
dun compilateur.
Objectifs :
- Techniques de parsing
- Grammaire dun langage
- Mcanismes internes des
langages objets
- Liens avec la
programmation fonctionelle
KERN-3-002
MICROKERNEL
3 CRDITS
Rsum :
Ralisation complte
dun noyau de type UNIX,
comprhension des
mcanismes lectroniques
hardware qui supportent un
systme dexploitation.
Objectifs :
- Architecture matrielle
dune machine
- Assembleur bas niveau
- Structuration dun kernel
de type UNIX : scheduler,
drivers, memoire virtuelle...
EMBQ-3-002
DVELOPPEMENT
MOBILE ANDROID
3 CRDITS
Rsum :
Ralisation dapplications
mobile pour plateforme
Android de Google afin
dacquerrir une capacit de
dveloppement aise sur ce
type denvironnement.
Objectifs :
- Plateforme Java spcifique
Android
- SDK
Anne 42.3
ADSYS-3-003
ADMINISTRATION
SYSTME
ETENDUE
3 CRDITS
Rsum :
Approche des
problmatiques
dadministration systme
lies la dimension et
lhtrognit dun
environnement de grand
groupe ou doperateur
Internet.
Objectifs :
- Services pour oprateurs
- Dploiement et gestion
dun parc machine tendu
- Interoprabilit des
diffrents systmes
dexploitation.
- Supervision et outils (snmp,
Nagios, Tivoli,...)
BASED-3-001
ADMINISTRATION
DE BASES DE
DONNES II
3 CRDITS
Rsum :
Prparation aux
problmatiques et enjeux
de bases de donnes
denvergure: temps de
rponse, haute disponibilit,
interoprabilit leve,
analyse et stratgie
dentreprise.
Objectifs :
- Gestion de grosses bases
de donnes
- Tuning
- Administration systme
spcifique
- Oracle, NoSQL
- DataMining
- Datawarehouse
- SGBD parallle et rpartie
- BDD Objet
- Support dERP ou CRM
IART-3-003
PARRALLEL
COMPUTING
3 CRDITS
Rsum :
Lors dun challenge de
rapidit de calcul, tude
des diffrentes solutions de
paralllisation et cration
dun projet rpondant aux
contraintes dans un dlai
minimal.
Objectifs :
- Conception et optimisation
de code pour excution
distribue
- Multicore /
multiprocesseurs / cloud
- Calcul sur GPU (GPGPU):
cuda, OpenCL,...
INFOG-3-001
GAME DESIGN
3 CRDITS
Rsum :
Elment culturel fort, il sagit
ici dune vritable plonge
dans le monde du jeu
vido, avec ses pratiques,
ses codes, et ses besoins
lis la programmation.
Ralisation dun jeu complet
et denvergure.
Objectifs :
- Thorie du GameDesign
(http://goo.gl/cO9l5)
- Boucle de gameplay
- Camera, Character,
Controler.
- Notion de Flow
- Moteurs Unity, OGRE,...
- Spcificits hardware &
DevKits (smartphone, PC,
xbox, playstation, ...)
PROF-3-001
ASSURANCE
QUALIT
3 CRDITS
Rsum :
Sensibilisation aux
problmatiques qualit
prsentes en entreprise
lors du dveloppement
dapplications. Mise en
pratique sur un projet
denvergure technique dun
autre module.
Objectifs :
- Plan dassurance qualit
- Normes ISO et AFNOR
Anne 42.3
EMBQ-3-003
SYSTMES
EMBARQUS ET
TEMPS REL
3 CRDITS
Rsum :
Projets autonomes avec ou
sur matriel lectronique,
avec des contraintes
spcifiques, notament sur
les temps de raction.
Objectifs :
- Micro kernel embarqu
- Contraintes temps rel
- Systmes de dcision
- RTLinux, Embedded Linux,
VxWorks, LynxOS, ...
- Interfacage sur matriel
spcifique : ARDrone, Kinect,
Wiimote, Leap Motion,
Equipement de ralit
virtuelle...
ADSYS-3-00(4|5)
ADMINISTRATION
SYSTME
WINDOWS I & II
3 CRDITS
Rsum :
Prparation la certification
MCITP I & II de Microsoft
sur linfrastructure rseau
et sytme dentreprise, par
lintermdiaire du cursus
officiel Microsoft.
Objectifs :
- Formation MCITP I & II
INFOG-3-002
MULTIMDIA
3 CRDITS
Rsum :
Familiarisation avec les
environnements multimdias
et les lments techniques
sous-jacents au travers de
la ralisation dune rgie
multimdia complte.
Objectifs :
- Chane dintgration/
production multimdia
- Analogique/numrique
- Codec (mpeg4,
h.264/h.265)
- Conteneurs (avi, mkv, mp4,
wmv,...)
- Techniques de compression
et paramtres de rduction
- Transforme de Fourier
(DCT)
- Wavelets
- Streaming
PSPE-3-001
LANGAGES DE
SCRIPTING
3 CRDITS
Rsum :
Approche gnrale des
langages de scripting, leurs
avantages, leurs spcificits,
indpendament de leur
contexte dutilisation.
Objectifs :
- Scripting
- Typage dynamique
- Interpretation
- Interfacage avec dautres
langages
- Closures
- Perl, Python, Ruby, ...
PSPE-3-002
LANGAGES
FORMELS
3 CRDITS
Rsum :
Initiation aux langages
formels ainsi quaux
grammaires formelles.
Approche thorique des
expressions rationnelles.
Ouverture sur les problmes
de complexit et de
calculabilit.
Objectifs :
- Hirarchie de Chomsky
- Automates / Machine de
turing
- Calculabilit
- Complexit

Vous aimerez peut-être aussi