D E A d'Informatique

Alexandre Tessier

Description

Niveau: Supérieur

• rapport de stage

Departement d'Informatique Universite d'Orleans Rapport de Stage D.E.A. d'Informatique Presente par: GOUMAIRI Abdelkhalek soutenu le 8 septembre 1998 Theme Simplication de contraintes sur les domaines nis Responsable du stage Monsieur: Alexandre Tessier

• programmtion logique par contraintes


• simplication de la redondance via la transformation


• classes de redondances


• projet esprit


• session de diagnostic declaratif d'erreur


• simplication des contraintes arithmetiques


• ches de l'equipe loco dans le projet discipl


• equipe loco

Sujets

• Ferrand
• Tessier

Informations

• Publié par: profil-nechor-2012
• Publié le: 01 septembre 1998
• Nombre de lectures: 43
• Langue: Français

Extrait

8
D
Resp

de
epartemen
delkhalek
t
Th
d'Informatique
sur
Univ
Monsieur:
ersit
u

bre
e
eme
d'Orl
train

domaines
eans
du
Rapp
T
o
souten
rt
le
de
septem
Stage
1998
D.E.A.

d'Informatique
Simplication
Pr
con

tes
esen
les
t
nis

onsable
e
stage
par:
Alexandre
GOUMAIRI
essier
Abstage
2
aide
Remerciemen
p
ts
et
Je
t
remercie
a
Monsieur
culture
Alexandre
hissan
T
ma
essier
a
qui

a
m'on
accept
siv

souv
e
ccasion
de
d
diriger
les
ce
partic-
stage.
m
Ses

conseils,
ann
ses
t
encouragemen
es
ts
fourni
et

sa
Sa
gen
tique
tillesse
t
m'on
e
t
discussions

Enn,
et
edie

a
e
bres
tr
et


es
a
pr
ere,

l'ac
ecieux
emen
du-
de
ran
ees
t
lui
ce
plus
tra
eur.
v
qui
ail.
t
Je
une
dois
d
aussi
eci-
exprimer
e.
toute
grande
ma
scien
gratitude
a

en
a

Monsieur

G
l'o

de
erard
enric
F
tes.
errand,
je
Professeur


ce
a

l'univ
tous
ersit
mem

de
e
famille,
d'Orl
plus

uli
eans.
eremen
Je

tiens
ma


a

le
qui
remercier
h
p
ev
our
t
sa
ositif
grande
longues
rigueur

scien
d'
tique
etudes
et
tien
ses
le
conseils


co
eclair
33
T
:
able
:
des
ep
mati
4

:
eres
:
1
:
In
:
tro
:
duction
:
5
:
2
:
Pr
:

:
eliminaires
:
8
:
2.1
:
programm
:
tion
eaires
logique
lin
par

con
train
train
:
tes
:
:
:
:
redondance
:
:
:
:
:
3.2.8
:
:
:
la
:
:
:
:
:
a
:
:
:
duction
:
:
:
:
:
:
:
:
8
:
2.2
:
Algorithme
:
de
:
F
:
ourier
3
:
:
:
:
:
acette
:
:
:
:
:
:
:
:
:
:
:
28
:
:
:
:
:
:
:
:
:
:
:
:
:
de
:
:
:
:
:
:
:
:
:
:
:
35
:
de
:
:
:
:
:
39
10
:
2.3
:
Egalit
:

:
es
train
implicites
:
:
:
:
:
:
40
:
:
:
:
:
:
:
4.2.2
:
eaires
:
:
:
:
:
:
:
Arbres
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
3.2.5
:
:
:
:
:
:
:
:
:
:
:
:
:
3.2.6
:
:
12
:
2.4
:
Rapp
:
els
:
:
Ind
:
te
:
:
:
:
:
:
:
:
:
:
:
redondance
:
:
:
:
:
:
:
:
:
:
:
3.3
:
redondance
:
:
:
:
:
Algorithme
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
Application
:

:
ariable
:
:
:
:
:
:
:
:
:
dans
:
In
13
:
2.4.1
:
D
:

:
enitions
:
:
:
:
:
:
:
:
4.2
:
lin
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:

:
eaires
:
:
:
:
:
:
:
:
:
:
:
:
:

:
lin
:
:
:
:
:
:
:
:
:
:
:
:
13
4.3
2.4.2
sur
Programmation
:
en
:
nom
:
bres
:
en
:
tiers
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
26
:
F
:
redondance
:
:
16
:
3
:
Simplication
:
des
:
Con
:
train
:
tes
:
Arithm
:

:
etiques
:
lin
27

Quasi-facette
eaires
:
24
:
3.1
:
In
:
tro
:
duction
:
:
:
:
:
:
:
:
:
:
3.2.7
:

:
endan
:
redondance
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
31
:
Implicite
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
32
:
Simpli