/
info.html
538 lines (384 loc) · 43.9 KB
/
info.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
<!DOCTYPE html><html><head><meta charset="UTF-8"/><title>Bibliographie informatique pour l'agrégation 2020-21</title></head><body><xmp>
# [Bibliographie informatique agreg' maths option info 2020-21](https://github.com/Naereen/Bibliographie-agregation-maths-option-info)
> Par [**Lilian Besson**](https://perso.crans.org/besson). Toutes remarques sont les bienvenues [par courriel](mailto:lilian.besson{AT@AT]ens-rennes[DOT.POINT}fr).
On liste ici les livres très utilisés comme références pour préparer les leçons et les développements, ainsi que l'épreuve de modélisation de l'option informatique D.
> Plus d'informations sur la prépa agreg' maths option info 2020 : [sur le wiki du DPT info de l'ENS de Rennes](https://wiki.dit.ens-rennes.fr/DIT/Dokuwiki/doku.php/annees:2020-21:agreg).
Plus de détail sur chaque livre sont disponibles via le [bibliopac.ens-rennes.fr](https://bibliopac.ens-rennes.fr/)).
> Aussi en PDF [info.pdf](info.pdf), [en maths](maths.html) ([maths.pdf](maths.pdf)) et [combinés](references.html) ([en PDF](references.pdf)) !
> Notez qu'une bibliographie *plus concise* est disponible [ici : smallbib](smallbib.html).
> Et une bibliographie *minimaliste* est disponible [ici : smallsmallbib](smallsmallbib.html).
> [Si vous voulez convertir cette liste en une bibliographie BibTeX, je serai intéressé !](https://github.com/Naereen/Bibliographie-agregation-maths-option-info/issues/1)
* * *
# Quelques pages web sur l'option D par des anciens élèves récents
* [Julie Parreaux (2019)](http://perso.eleves.ens-rennes.fr/people/Julie.Parreaux/agregation.html)
* [Pierre Le Barbenchon (2019)](http://perso.eleves.ens-rennes.fr/people/pierre.le-barbenchon/agreg.html), regardez sa bibliographie à la fin de son (gros) [document](http://perso.eleves.ens-rennes.fr/people/pierre.le-barbenchon/Agregation.pdf) et [ses livres préférés](http://perso.eleves.ens-rennes.fr/people/pierre.le-barbenchon/ref.pdf)
* [Clarence Kineider (2019)](http://perso.eleves.ens-rennes.fr/people/clarence.kineider/)
* [Joshua Peigner (2018)](http://perso.eleves.ens-rennes.fr/people/joshua.peignier/agreg.html)
* [Aude Le Gluher (2017)](http://perso.eleves.ens-rennes.fr/people/Aude.Legluher/fr/Agregation.html)
* [Théo Pierron (2014)](http://perso.eleves.ens-rennes.fr/people/theo.pierron/agreg/) ([un bon doc](http://perso.eleves.ens-rennes.fr/people/theo.pierron/agreg/doc_brainstorm.pdf))
* Vous êtes invités à faire pareil (c'est très formateur !)
<hr id="info">
<br><br>
# En [Informatique](info.html)
Voici une liste assez complète de livres utiles pour préparer les deux épreuves d'informatique de l'agrégation de mathématiques (option D) : oral de leçons d'informatique ([21 leçons en 2020](https://agreg.org/data/uploads/leconsinfos21.pdf)) et oral de modélisation d'option D.
J'indique entre {accolades} les leçons couvertes par chaque livres (ce sont des indications rapides, des livres peuvent très bien être utiles pour d'autres leçons).
[TODO liste inversée](https://github.com/Naereen/Bibliographie-agregation-maths-option-info/issues/5)
## Algorithmique
- **901** : *Structures de données : exemples et applications.* : [[TODO]],
- **903** : *Exemples d'algorithmes de tri. Complexité.* : [[TODO]],
- **907** : *Algorithmique du texte : exemples et applications.* : [[TODO]],
- **921** : *Algorithmes de recherche et structures de données associées.* : [[TODO]],
- **925** : *Graphes : représentations et algorithmes.* : [[TODO]],
- **926** : *Analyse des algorithmes : complexité. Exemples.* : [[TODO]],
- **927** : *Exemples de preuve d'algorithme : correction, terminaison.* : [[TODO]],
- **931** : *Schémas algorithmiques. Exemples et applications.* : [[TODO]],
## Langages Formels
- **909** : *Langages rationnels. Exemples et applications.* : [[TODO]],
- **923** : *Analyses lexicale et syntaxique : applications.* : [[TODO]],
## Logique
- **916** : *Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.* : [[TODO]],
- **918** : *Systèmes formels de preuve en logique du premier ordre : exemples.* : [[TODO]],
- **924** : *Théories et modèles en logique du premier ordre. Exemples.* : [[TODO]],
## Calculabilité et complexité
- **912** : *Fonctions récursives primitives et non primitives. Exemples.* : [[TODO]],
- **913** : *Machines de Turing. Applications.* : [[TODO]],
- **914** : *Décidabilité et indécidabilité. Exemples.* : [[TODO]],
- **915** : *Classes de complexité : exemples.* : [[TODO]],
- **928** : *Problèmes NP-complets : exemples de réductions* : [[TODO]],
- **929** : *Lambda-calcul pur comme modèle de calcul. Exemples* : [[TODO]],
## Autres domaines
- **932** : *Fondements des bases de données relationnelles.* : [[TODO]],
- **930** : *Sémantique des langages de programmation. Exemples* : [[TODO]],
***
## Livres spécifiques pour l'oral de l'agrégation
### [[131dev][]] "131 développements" (par Le Barbenchon, Lesevre, Pierron, Montagnon)
[131dev]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=20751 "131 développements (par Le Barbenchon, Lesevre, Pierron, Montagnon)"
Une bible pour les développements de l'agrégation, y compris en informatique !
Contient 131 développements de niveaux variés, couvrant toutes les leçons du programme de 2019.
*Mon livre préféré* parmi ceux pour l'oral !
***
## Livres génériques pour l'option info
### [[Dehornoy][]] "Mathématiques de l'informatique : cours et exercices corrigés"
[Dehornoy]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=10191 "Mathématiques de l'informatique : cours et exercices corrigés, par Patrick Dehornoy"
Un excellent bouquin, qui présente rapidement (presque) tous les éléments du programme, avec cours, exemples, démonstrations et exercices !
Contient plein de développements parmi les plus utiles ou les plus classiques.
*Mon livre préféré* (parmi ceux pour l'option info) !
### [[Stern][]] "Fondements mathématiques de l'informatique"
[Stern]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=614 "Fondements mathématiques de l'informatique, par Jacques Stern"
Un bon bouquin, mais qui a mal vieilli. Encore de bonnes démos, notamment des réductions pour les problèmes NP-complets.
### [[Belghiti][]] "Les clefs pour l'info"
[Belghiti]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=18611 "Les clefs pour l'info par Ismael Belghiti, Roger Mansuy et Jill-Jênn Vie"
Un recueil d'annales corrigées de l'épreuve d'informatique théorique du concours des ENS. Abordant des domaines aussi variés que la logique propositionnelle, la combinatoire des mots, l'algorithmique, la réécriture ou la théorie des graphes, ces exercices permettent un survol complet d'un domaine peu abordé dans la littérature accessible à Bac+2. Outre les corrections détaillées et illustrées de nombreux schémas, les auteurs ont fourni des commentaires et une bibliographie raisonnée.
C'est une référence qui contient plein d'exercices corrigés, chacun pouvant être utilisé comme un développement. Le niveau est très haut, attention à ne pas viser trop difficile.
Cette référence peut être très utile pour l'oral de modélisation, car elle montre beaucoup d'exemples de codes, propres, concis et récents, en OCaml et Python.
***
## Informatique niveau prépa (option info et info pour tous)
### [[Wack][]] "Informatique pour tous en classes préparatoires aux grandes écoles : manuel d'algorithmique et programmation structurée avec Python"
[Wack]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=16641 "Informatique pour tous en classes préparatoires aux grandes écoles : manuel d'algorithmique et programmation structurée avec Python : nouveaux programmes 2013, voies MP, PC, PSI, PT, TPC et TSI, par Benjamin Wack, Sylvain Conchon, Judicaël Courant"
Un excellent livre qui couvre tout le programme d'**Informatique pour tous** en prépa.
Très utile pour les rappels de cours sur l'architecture des ordinateurs (modèle de von Neumann), la représentation des nombres entiers/rationnels/flottants en machine, ainsi que pour les bases de données et les bases du calcul scientifique (méthode d'Euler, pivot de Gauss etc).
### [[Albert, Gastin][]] "Cours et exercices d'informatique : classes préparatoires"
[Albert, Gastin]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=10223 "Cours et exercices d'informatique : classes préparatoires , 1er et 2nd cycles universitaires"
Un excellent livre qui couvre tout le programme d'**option Informatique** en prépa MPSI/MP.
Avec beaucoup de programmes ``Caml``, mais peu de preuves.
De bons rappels de cours sur les bases, souvent illustrés par un peu de code.
Peut vraiment aider pour l'épreuve de modélisation !
***
## Algorithmique {901,903,907,921,925,926,927,931}
Couvrent les leçons suivantes :
- **901** : *Structures de données : exemples et applications.*
- **903** : *Exemples d'algorithmes de tri. Complexité.*
- **907** : *Algorithmique du texte : exemples et applications.*
- **921** : *Algorithmes de recherche et structures de données associées.*
- **925** : *Graphes : représentations et algorithmes.*
- **926** : *Analyse des algorithmes : complexité. Exemples.*
- **927** : *Exemples de preuve d'algorithme : correction, terminaison.*
- **931** : *Schémas algorithmiques. Exemples et applications.*
### [[BBC][]] "Éléments d'Algorithmique" {901,903,907,921,925,926,927,931}
[BBC]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=10155 "Éléments d'Algorithmique"
Une excellente référence, surtout sur les structures de données. **Attention** il devient rare.
Contient presque tout, avec plein de dessins et plein de preuves.
Il n'est plus édité et le jury autorise que les malles contiennent des versions reliées d'un poly imprimé (il est diffusé librement par ses auteurs).
### [[Cormen][]] "Algorithmique : cours avec 957 exercices et 158 problèmes" {901,903,907,921,925,926,927,931}
[Cormen]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=14810 "Algorithmique : cours avec 957 exercices et 158 problèmes"
La **bible de l'algorithmicien**, toujours précis et rigoureux pour ses preuves. Il convient de rester vigilant, quelques typos ou erreurs restent présentes, même dans la dernière édition.
Certaines peuvent inspirer des développements, et certains algorithmes (hachages, arithmétique, ?) peuvent être présentés directement en développement de maths.
> Il s'appelle enfin autrement que "introduction à l'algorithmique" (en 4ème édition), parce que le plus gros bouquin de la liste n'avait quand même plus de raison de s'appeller "introduction"...
### [[Aho, Hopcroft, Ullman][]] "Structures de données et algorithmes" {901,903,907,921,925,926,927,931}
[Aho, Hopcroft, Ullman]: http://perso.crans.org/besson/agreg/b/aho_hopcroft_ullman.pdf "Structures de données et algorithmes"
Une excellente référence (plus souvent disponible *en anglais*).
**Pas disponible** à la BU de l'ENS de Rennes, mais dans la malle d'agrég. (peut-être à la BU de Beaulieu ?)
De très bons rappels sur "tout", en particulier les questions de dictionnaires, graphes (orientés ou non), et les tris. Une preuve presque claire de la borne inférieure du nombre de comparaisons pour un algorithme de tri par comparaisons.
### [[Baynat][]] "Exercices et problèmes d'algorithmique (146 énoncés avec solutions détaillées)" {901,903,907,921,925,926,927,931}
[Baynat]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=18077 "Exercices et problèmes d'algorithmique, 146 énoncés avec solutions détaillées"
Un bon bouquin, qui souvent vient avec une rédaction "type développement" et un découpage par lemmes.
Notamment les chapitres 5 sur les bases des graphes, 6 sur les parcours et 7 sur les graphes valués.
### [[Monicault][]] "L'épreuve écrite d'algorithmique X, ENS, ESPCI : cours abrégé & annales corrigées" {901,903,907,921,925,926,927,931}
[Monicault]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=17964 "L'épreuve écrite d'algorithmique X, ENS, ESPCI : cours abrégé & annales corrigées, par Gonzague de Monicault"
Un petit livre récent qui donne un bon condensé du programme d'informatique de prépa (ce qui couvre la moitié du programme d'agrég), et plein d'exercices et de problèmes corrigés.
Peut donner des idées de développements originaux.
### [[Bajard][]] "Exercices d'algorithmique : oraux d'ENS" {901,903,907,921,925,926,927,931}
[Bajard]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=7312 "Exercices d'algorithmique : oraux d'ENS, par Jean-Claude Bajard, Hubert Comon et Claire Kenion"
Un livre un peu vieillissant (1997) qui peut donner des idées de développements difficiles pour les leçons d'algorithmiques. Je ne le connais pas bien.
### [[Boissonnat, Yvinec][]] "Géométrie algébrique"
[Boissonnat, Yvinec]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=3194 "Géométrie algébrique"
*Trop* complet... Utile pour les questions de triangulations et les diagrammes de Voronoï.
Présente plein de méthodes de calculs de l'enveloppe convexe (autre que Graham et Jarvis).
***
## Algorithmes et implémentations
Utile pour s'entraîner à l'oral de modélisation.
### [[Durr][]] "Programmation efficace : les 128 algorithmes qu'il faut avoir compris et codés en Python au cours de sa vie"
[Durr]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=18042 "Programmation efficace : les 128 algorithmes qu'il faut avoir compris et codés en Python au cours de sa vie, Christoph Dürr et Jill-Jênn Vie"
Un petit livre qui s'attaque à définir plein de problèmes algorithmiques et présenter leurs solutions, en expliquant l'algorithme et en donnant à chaque fois un code complet en Python. Site web compagnon : https://tryalgo.org/.
On y trouve les algorithmes classiques de géométrie ou de recherche de plus court chemin mais également des sujets plus atypiques tels que les arbres de Fenwick ou les liens dansants de Knuth.
C'est une très bonne référence pour travailler la programmation en Python et l'épreuve de modélisation.
### [[Conchon][]] "Apprendre à programmer avec OCaml - Algorithmes et structures de données"
[Conchon]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=16909 "Apprendre à programmer avec Ocaml - Algorithmes et structures de données, par Sylvain Conchon et Jean-Christophe Filliâtre"
Un livre d'algorithme utilisant OCaml, c'est une très bonne référence pour se réapproprier le langage OCaml et travailler les leçons d'algorithmique, ainsi que la modélisation.
### [[Jaume][]] "Éléments de mathématiques discrètes : cours, exercices résolus, implémentations avec les langages Python et OCaml"
[Jaume]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=18960 "Éléments de mathématiques discrètes : cours, exercices résolus, implémentations avec les langages Python et OCaml, par Mathieu Jaume"
Un bon livre de mathématiques discrètes pour l'informatique, qui parle de beaucoup de notions importantes pour l'agrégation : ensembles, relations, fonctions, structures ordonnées, définitions inductives, langages, automates, et logique.
Chaque notion est illustrée sur de nombreux exemples (plus de 150 exemples sont fournis), fait l'objet de nombreux exercices corrigés (144 exercices sont fournis) et les étapes de raisonnement de chaque preuve sont explicitées dans les moindres détails. Enfin, une implantation avec les langages Python et OCaml est fournie pour la plupart des concepts effectifs introduits. Il s'agit de montrer, au travers de 250 programmes, comment exprimer un calcul à l'aide d'un langage de programmation et de permettre une expérimentation de ces calculs afin d'en obtenir une compréhension profonde.
***
## Algorithmique du texte {907}
Couvre la leçon suivante **907** (*Algorithmique du texte : exemples et applications.*).
### [[Crochemore][]] "Algorithmique du texte" {907}
[Crochemore]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=14740 "Algorithmique du texte, par Maxime Crochemore et Christophe Hancart"
Présente tout ce qu'il faut savoir sur l'algorithmique du texte au niveau agrég, et bien plus.
Présente notamment les algorithmes KM, KMP, les automates de Simon, mais aussi Boyer-Moore (qui est l'algorithme effectivement utilisé dans *GNU grep*), ainsi que le codage de Huffman, parmi d'autres choses.
### [[Crochemore, Rytter][]] "Text algorithms" {907}
[Crochemore, Rytter]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=19975 "Text algorithms (en anglais)"
Version en anglais. Semble [distribué en ligne](http://igm.univ-mlv.fr/~mac/REC/text-algorithms.pdf) légalement.
Présente KM, KMP, les automates de Simon, mais aussi Boyer-Moore (qui est l'algorithme effectivement utilisé dans *GNU grep*), ainsi que le codage de Huffman, parmi d'autres choses.
***
## Graphes {925}
Couvrent la leçon **925** (*Graphes : représentations et algorithmes.*) et peuvent être utiles pour les leçons **901** (*Structures de données : exemples et applications.*) et **921** (*Algorithmes de recherche et structures de données associées.*), ainsi que **926** (*Analyse des algorithmes : complexité. Exemples.*) et **927** (*Exemples de preuve d'algorithme : correction, terminaison.*).
### [[Gondran, Minoux][]] "Graphes et algorithmes" {901,921,925,926,927}
[Gondran, Minoux]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=13520 "Graphes et algorithmes"
Un peu vieux, mais reste très complet. Présente les questions de connexité (et calcul des composantes connexes),
de problème du plus court chemin (Moore-Dijkstra, Dijkstra, Bellman, Ford, Floyd, Dantzig etc),
un bon chapitre sur les matroïdes, et un autre sur les arbres et arborescences (Kruskal, Prim).
### [[Fournier][]] "Théorie des graphes et applications : avec exercices et problèmes" {901,921,925,926,927}
[Fournier]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=12366 "Théorie des graphes et applications : avec exercices et problèmes"
Un trè bon bouquin, orienté applications. Il existe aussi en deux volumes (dans la malle d'agrég).
Le tome 1 en particulier est très clair et complet avec de bons rappels sur les définitions, les questions de représentations des graphes, mais aussi la recherche de chemins optimaux, de d'arbres couvrants.
Le tome 2 présente notamment le problème de voyageur de commerce.
Les livres suivants sont plus récents, je ne le connais pas encore.
### [[Bachir][]] "Graphes, ordres & programmation linéaire : cours et exercices" {901,921,925,926,927}
[Bachir]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=20632 "Graphes, ordres & programmation linéaire : cours et exercices, par Sadi Bachir"
Un livre très récent (2020) sur les graphes.
La première partie devrait être une bonne référence pour la leçon sur les graphes, et les exercices les plus difficiles peuvent donner des développements originaux.
### [[BoriesLonguet][]] "Graphes et combinatoire : cours avec 210 exercices corrigés" {901,921,925,926,927}
[BoriesLonguet]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=17336 "Graphes et combinatoire : cours avec 210 exercices corrigés, Francette Bories-Longuet et Jorge Ramirez-Alfonsin"
Un livre récent (2015) sur les graphes.
La première partie devrait être une bonne référence pour la leçon sur les graphes, et les exercices les plus difficiles peuvent donner des développements originaux.
### [[Larramendy][]] "Introduction à la théorie des graphes : cours et exercices corrigés" {901,921,925,926,927}
[Larramendy]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=19986 "Introduction à la théorie des graphes : cours et exercices corrigés, par Irène Larramendy et Alain Marie-Jeanne"
Un livre récent (2015) sur les graphes.
La première partie devrait être une bonne référence pour la leçon sur les graphes, et les exercices les plus difficiles peuvent donner des développements originaux.
Peut aussi être utile pour des textes de modélisation qui parleraient de théorie des graphes (coloriages, classifications etc).
### [[Bretto][]] "Éléments de théorie des graphes" {901,921,925,926,927}
[Bretto]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=16681 "Éléments de théorie des graphes, par Alain Bretto, Alain Faisant et François Hennecart"
Un autre livre récent (2012) sur les graphes.
La première partie devrait être une bonne référence pour la leçon sur les graphes, et les exercices les plus difficiles peuvent donner des développements originaux.
***
## Langages formels et automates {909}
Concerne le **leçons 909** (*Langages rationnels. Exemples et applications.*) et les leçons de calculabilité (certains problèmes sur des classes de langages étant indécidables).
Peut aussi contenir du matériel pour les leçons d'algorithmique, notamment **931** (*Schémas algorithmiques. Exemples et applications.*) avec l'algorithme de Cocke-Yasami-Kounger (CYK).
> Il y a quelques années, il y avait plus de leçons sur les automates, avec notamment une leçon entière sur les automates dans laquelle on devait parler d'automate à pile, une notion qui est sortie du programme.
### [[CartonPerrin][]] "Langages formels, Calculabilité et Complexité : cours et exercices corrigés" {909,913,914,915,928}
[CartonPerrin]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=16934 "Langages formels, Calculabilité et Complexité : cours et exercices corrigés"
Une excellente référence. Beaucoup de développements, en langages formels bien sûr, mais aussi ailleurs (notamment problèmes NP et réductions).
*Mon autre livre préféré* (parmi ceux pour l'option info) !
### [[Hopcroft, Ullman][]] "Introduction to automata theory, languages, and computation" {909}
[Hopcroft, Ullman]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=7320 "Introduction to automata theory, languages, and computation, par John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman"
Une excellente référence (en anglais, mais dans une version internationale assez facile à comprendre).
Beaucoup de rappels, d'exemples et de bons dessins à réutiliser pour les plans.
De bonnes idées de développements sur les automates (Chap 2), les langages rationnels (Chap 3 et 4), algébriques (Chap 5 et 7),
mais aussi de l'indécidabilité (Chap 9) des problèmes NP (Chap 10, dont ``NodeCover``, ``IndependentSets``, et ``HamPath``) et une introduction à la classe Co-NP.
### [[Sakarovitch][]] "Eléments de théorie des automates" {909}
[Sakarovitch]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=10509 "Eléments de théorie des automates, par Jacques Sakarovitch"
Une bonne référence, même si son style austère rebute un peu. Très long.
Très complet sur plein de choses hors programmes (youpi), mais aussi plein de choses sur ce qui est au programme des leçons d'info.
Plein de développements sur tout ce qui concerne les automates, et un peu plus (PCP Th8.2 p42, des problèmes décidables sur les langages rationneles Prop1.11 p77, etc).
## Jean-Michel Autebert : langages formels, et calculabilité
Des bouquins qui commencent à vieillir, mais restent de solides références.
### [[Autebert, Langages et Automates][]] "Théorie des langages et des automates" {909}
[Autebert, Langages et Automates]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=3426 "Théorie des langages et des automates"
### [[Autebert, Langages algébriques][]] "Langages algébriques" {909}
[Autebert, Langages algébriques]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=51706 "Langages algébriques"
**Pas disponible** à la BU de l'ENS de Rennes, mais dans la malle d'agrég. (peut-être à la BU de Beaulieu ?)
### [[Autebert, Langages algébriques][]] "Calculabilité et décidabilité : une introduction" {913,914,915}
[Autebert, Langages algébriques]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=10507 "Langages algébriques"
***
## Décidabilité et calculabilité {912,913,914,915,928}
Concernent les leçons suivantes :
- **912** : *Fonctions récursives primitives et non primitives. Exemples.*
- **913** : *Machines de Turing. Applications.*
- **914** : *Décidabilité et indécidabilité. Exemples.*
- **915** : *Classes de complexité : exemples.*
- **928** : *Problèmes NP-complets : exemples de réductions.*
Ces questions sont aussi abordées dans des livres cités ailleurs ([[Dehornoy][]], [[CartonPerrin][]], [[Sakarovitch][]] etc).
Les livres d'algorithmes ([[Cormen][]] par exemple) contiennent souvent une partie entière sur des problèmes NP-complets et des algorithmes d'approximation, dont il convient de parler pour la leçon **928** (mais elle traite principalement de réductions et pas d'algo d'approximation, attention !).
### [[Wolper][]] "Introduction à la calculabilité" {912,913,914,915,928}
[Wolper]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=14417 "Introduction à la calculabilité, par Pierre Wolper"
Une excellente référence pour les leçons de calculabilité (des preuves bien rédigés, mais des exercices sans correction)
et plein développements possibles : inclusion stricte $\mathcal{R} \subsetneq \mathcal{R}E$, problèmes indécidables sur les grammaires (Ch7.5 p207), etc.
Prenez la dernière édition de 2006.
### [[Perifel][]] "Complexité algorithmique"
[Perifel]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=16951 "Complexité algorithmique, par Sylvain Perifel"
Un très bon livre sur les notions de calculabilité et complexité, des machines de Turing aux problèmes NP-complets, en passant par la hiérarchie polynomiale. Très bien rédigé dans un style clair et précis, avec de bons exemples et illustrations et plein d'exercices corrigés.
### [[DehornoyCalc][]] "Complexité et décidabilité" {912,913,914,915,928}
[DehornoyCalc]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=1828 "Complexité et décidabilité, par Patrick Dehornoy"
Un autre bon bouquin sur la complexité et calculabilité.
Contient des développements parmi les plus utiles ou les plus classiques.
### [[RidouxLesventes][]] "Calculateurs, calculs, calculabilité" {912,913,914,915,928}
[RidouxLesventes]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=12595 "Calculateurs, calculs, calculabilité,par Olivier Ridoux et Gilles Lesventes"
Un autre bon livre sur la calculabilité, qui a l'avantage d'être de niveau L2 et assez simple à suivre. Plein de ressources pour des TP, pour montrer comment s'implémente certaines notions. Rédigé par deux professeurs de l'Université de Rennes 1 en 2008 !
### [[Autebert, Calculabilité][]] "Calculabilité et décidabilité : une introduction" {912,913,914,915,928}
[Autebert, Calculabilité]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=10507 "Calculabilité et décidabilité : une introduction"
Un bon bouquin.
### [[Sipser][]] "Introduction to the theory of computation" {912,913,914,915,928}
[Sipser]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=16138 "Introduction to the theory of computation, par Michael Sipser"
Une autre bonne référence pour les leçons de calculabilité, mais écrite en anglais.
Prenez la dernière édition de 2013.
***
## Logique et théorie des preuves {916,918,924}
Concernent les leçons suivantes :
- **916** : *Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.*
- **918** : *Systèmes formels de preuve en logique du premier ordre : exemples.*
- **924** : *Théories et modèles en logique du premier ordre. Exemples.*
### [[Mathieu Matthieu][]] "Logique pour l'informatique" {916,918,924}
[Mathieu Matthieu]: https://www.editions-ellipses.fr/accueil/10777-21253-logique-pour-l-informatique-9782340042612.html#/1-format_disponible-broche "Logique pour l'informatique, Jaume Mathieu, Journault Matthieu et al."
Un livre très récent, mais très recommandé, car il contient toute la logique de niveau agrégation, et bien plus. Il ne fait pas de SQL, mais un peu de théories des bases de données par contre.
### [[Lalement][]] "Logique, réduction, résolution" {916,918,924}
[Lalement]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=1325 "Logique, réduction, résolution, par René Lalement"
Un bon bouquin qui traite de réécriture et d'unification (qui ne sont plus au programme), mais pas seulement puisqu'il donne des rappels sur la déduction naturelle, le théorème de Herbrand etc, qui seront utiles pour les leçons **916**, **918**, **924**.
On trouvera notamment de bons exemples : fonctions récursives simples calculées par réécriture comme la factorielle ou Ackermann, les règles de dérivation formelles (II.2.1 p66), ou encore le fameux exemple de la théorie équationnelle des groupes (bien fait en V.3.3 p239).
### [[Cori1][]] et [[Cori2][]] "Logique mathématique : cours et exercices corrigés", Tomes 1 et 2 {916,918,924}
[Cori1]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=7068 "Logique mathématique : cours et exercices corrigés : 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles"
[Cori2]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=20473 "Logique mathématique : cours et exercices corrigés : 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats"
Deux excellents livres, à considérer plutôt comme un seul découpé en deux (tome 1 réédité en 2003, tome 2 en 2020).
De nombreux exercices, des rappels de cours précis et concis, et des démonstrations plutôt claires,
mais dont la longueur et la typographie un peu désuette pourront rebuter le néophyte (pour les vieilles éditions).
### [[RDavid][]] "Introduction à la logique : théorie de la démonstration" {916,918,924}
[RDavid]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=10192 "Introduction à la logique : théorie de la démonstration, par René David, Karim Nour, Christophe Raffalli"
Un bon complément aux [Cori1][] et [Cori2][] ! Excellente référence pour les développements de logique.
### [[Goubault][]] "Proof Theory and Automated Deduction" {916,918,924}
[Goubault]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=49376 "Proof Theory and Automated Deduction, par Jean Goubault-Larrecq et Ian McKie"
Une bonne référence, même s'il n'est *pas* toujours facile à prendre en main.
Attention à certaines preuves qui restent fausses, et qui sont irrattrapables (détails dans les preuves des théorèmes de Skolem et Herbrand pour le calcul des séquents du premier ordre $LK\_1$, par exemple).
**Pas disponible** à la BU de l'ENS de Rennes, mais dans la malle d'agrég. (peut-être à la BU de Beaulieu ?)
### [[Lassaigne][]] "Logique et complexité" {916,918,924}
[Lassaigne]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=937 "Logique et complexité, par Richard Lassaigne et Michel de Rougemont"
Peu de contenu utile pour le programme de l'agreg, mais peut éventuellement aider pour aller un peu hors du programme en théorie de la complexité, utile pour la fin du plan sur la leçon complexité.
Une [édition plus récente](https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=19286) (2004) est disponible, *en anglais* (mais pas à Rennes, peut-être dans la malle d'agrég @Cachan).
***
## Analyse lexicale et syntaxique {923}
Concerne la **leçon 923** (*Analyses lexicale et syntaxique : applications.*).
### [[LegendreSchwarzentruber][]] "Compilation : analyse lexicale et syntaxique : du texte à sa structure en informatique" {923}
[LegendreSchwarzentruber]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=17227 "Compilation : analyse lexicale et syntaxique : du texte à sa structure en informatique / Romain, Legendre / François, Schwarzentruber"
Une excellente référence sur l'analyse lexicale et syntaxique (co-écrite par François Schwarzentruber un professeur de l'ENS de Rennes).
Couvre tout ce qu'il faut inclure dans la leçon 923 et bien plus, avec de nombreux exemples.
***
## Lambda-calcul {929}
Concerne surtout la leçon **929** (*Lambda-calcul pur comme modèle de calcul. Exemples*) et un peu la leçon **930** (*Sémantique des langages de programmation. Exemples*).
Il peut aussi être utile de mentionner le lambda-calcul comme un modèle de calcul équivalent aux fonctions primitives récursives donc pour la leçon **912** (*Fonctions récursives primitives et non primitives. Exemples.*) et aux machines de Turing donc pour la leçon **913** (*Machines de Turing. Applications.*).
### [[Krivine][]] "Lambda-calcul : types et modèles" {929}
[Krivine]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=4868 "Lambda-calcul : types et modèles, par Jean-Louis Krivine"
Un petit livre (1990) qui couvre tout le programme de la leçon Lambda-calcul. La partie sur les types est hors programme.
### [[Barendregt][]] "(The) lambda calculus : its syntax and semantics" {929}
[Barendregt]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=9776 "(The) lambda calculus : its syntax and semantics, par Barendregt Hendrik Pieter"
Un très bon livre en anglais sur le(s) lambda-calcul, qui va bien au delà du programme d'agrég de la leçon Lambda-calcul.
Donne des preuves des principaux théorèmes qui peuvent être des développements pour cette leçon.
### [[Lassaigne2][]] "Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul" {929}
[Lassaigne2]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=5851 "Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul, par Richard Lassaigne et Michel de Rougemont"
Peu de contenu utile pour le programme de l'agreg, mais peut éventuellement aider pour aller un peu hors du programme en théorie de la complexité, utile pour la fin du plan sur la leçon complexité.
Traite de lambda-calcul aussi.
***
## Sémantique des langages de programmation {930}
Couvrent la leçon **930** (*Sémantique des langages de programmation : exemples.*).
### [[Winskel][]] "The formal semantics of programming languages : an introduction" {930}
[Winskel]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=6480 "The formal semantics of programming languages : an introduction, par Glynn Winskel, en anglais"
Semble être une bonne référence (et la seule) pour la sémantique formelle des programmes, notamment la logique de Hoare et les preuves avec un invariant entre chaque lignes du programmes.
Je crois me souvenir qu'il y a un exemple bien traité sur la fonction factorielle dans un langage simple impératif (IMP), qui peut faire un développement pour la leçon 927 (preuve programme) ou 930 (sémantique).
***
## Bases de données {932}
Pensez que les gros livres qui couvrent l'**Informatique pour tous** en prépa (programme d'après 2013) ont une partie entière sur les bases de données : définitions, notations formelles de l'algèbre relationnelle, exemples et illustrations, syntaxe du SQL, etc.
Couvrent la leçon **932** (*Fondements des bases de données relationnelles.*).
### [[Abiteboul][]] "The Foundations of Databases" {932}
[Abiteboul]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=19720 "The Foundations of Databases, par Serge Abiteboul, Richard Hull et Victor Vianu"
Probablement le meilleur livre pour préparer la leçon Base de données, même s'il est en anglais.
Il est très théorique, et constituera une bonne référence pour aller loin dans la leçon.
Les livres suivants sont plus récents, je ne le connais pas encore.
### [[Gardarin][]] "Bases de données" {932}
[Gardarin]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=7275 "Bases de données, par Georges Gardarin"
Un livre qui doit couvrir tout le programme pour la leçon Base de données.
Il y a aussi un [livre plus vieux](https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=716), de 1999, mais utilisez la version la plus récente de 2003.
### [[Hainaut][]] "Bases de données : concepts, utilisation et développement" {932}
[Hainaut]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=18078 "Bases de données : concepts, utilisation et développement, par Jean-Luc Hainaut"
Un point de vue beaucoup plus pratique. Le début est probablement utile pour la leçon Base de données, mais je pense que la majeure partie du livre est inutile.
### [[Meier][]] "Introduction pratique aux bases de données relationnelles" {932}
[Meier]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=16685 "Introduction pratique aux bases de données relationnelles, par Andreas Meier"
Un point de vue beaucoup plus pratique. Le début est probablement utile pour la leçon Base de données, mais je pense que la majeure partie du livre est inutile.
***
## Culture générale informatique
Ne concerne aucune leçon en particulier, mais se forger (ou plutôt se consolider) une bonne culture générale en informatique (sans négliger l'histoire de l'informatique, et ses grands succès récents) est une très bonne idée.
Cela vous permettra de trouver des introductions, des conclusions ou des exemples et des illustrations intéressantes pour compléter vos soutenances de plans, développements et l'oral de modélisation.
### [[Chabert][]] "Histoire d'algorithmes : du caillou à la puce"
[Chabert]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=1593 "Histoire d'algorithmes : du caillou à la puce, par Jean-Luc Chabert, Évelyne Barbin, Michèle Guillemot et al."
Surtout intéressant pour l'aspect historique de certains domaines de l'algorithmique. Notamment utile pour la méthode de Héron, la méthode de Gauss, etc.
### [[DowekEnseignement][]] "Introduction à la science informatique : pour les enseignants de la discipline en lycées"
[DowekEnseignement]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=14813 "Introduction à la science informatique : pour les enseignants de la discipline en lycées, par Gilles Dowek"
Un très bon livre qui s'attaque à la question de comment bien enseigner l'informatique au niveau lycée.
### [[DowekCalcul][]] "(Les) métamorphoses du calcul : une étonnante histoire de mathématiques"
[DowekCalcul]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=12126 "(Les) métamorphoses du calcul : une étonnante histoire de mathématiques, par Gilles Dowek"
Un livre de culture générale sur l'histoire des mathématiques et du calcul.
### [[AbiteboulDowek][]] "Le temps des algorithmes, par Serge Abiteboul et Gilles Dowek"
[AbiteboulDowek]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=18494 "Le temps des algorithmes, par Serge Abiteboul et Gilles Dowek"
Un excellent petit essai (grand public) sur la place croissante qu'occupent les algorithmes dans nos vies.
Une lecture recommandée, qui peut aider à commencer des leçons d'algorithmique (ou autre) et des oraux de modélisation.
### [[Abiteboul][]] "Le bot qui murmurait à l'oreille de la vieille dame : et autres nouvelles numériques"
[Abiteboul]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=19737 "Le bot qui murmurait à l'oreille de la vieille dame : et autres nouvelles numériques, par Serge Abiteboul"
Un petit livre drôle et intéressant. A lire pour le plaisir.
### [[Tarissan][]] "Au coeur des réseaux : des sciences aux citoyens"
[Tarissan]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=19760 "Au coeur des réseaux : des sciences aux citoyens, par Fabien Tarissan"
Un bon petit essai assez grand public sur les réseaux et l'informatique dans le monde contemporain.
***
## Architecture des ordinateurs (modélisation)
Il y a depuis 2019 un [point du programme](https://agreg.org/data/uploads/programme2021_ae_math.pdf) spécifique à l'épreuve de modélisation d'option D :
- (a) **Éléments d'architecture des ordinateurs** : principaux composants et leurs interactions ; principes des langages assembleurs ;
- (b) **Représentation des nombres entiers et flottants** : ce point là notamment est TRÈS souvent le sujet d'étude de textes de modélisation !
- (c) **Éléments sur les systèmes d'exploitation** : systèmes de fichiers, processus, gestion de la mémoire.
Ces livres couvrent ces points du programme (et bien plus).
### [[Longchamp][]] "Introduction aux systèmes informatiques : architectures, composants, mise en œuvre"
[Longchamp]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=18961 "Introduction aux systèmes informatiques : architectures, composants, mise en œuvre, par Jacques Lonchamp"
Un bon livre.
### [[SchwarzArchi][]] "Architecture des ordinateurs"
[SchwarzArchi]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=10171 "Architecture des ordinateurs, par Jean-Jacques Schwarz"
Un bon gros livre dont les premiers chapitres sont à lire et à connaître (mémoire et unités de calculs, composants d'un ordinateur etc).
### [[CazesDelacroix][]] "Architecture des machines et des systèmes informatiques"
[CazesDelacroix]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=18013 "Architecture des machines et des systèmes informatiques, par Alain Cazes et Joëlle Delacroix"
Un autre bon livre.
### [[Zanella][]] "Architecture et technologie des ordinateurs : cours et exercices corrigés"
[Zanella]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=18014 "Architecture et technologie des ordinateurs : cours et exercices corrigés, par Paolo Zanella, Yves Ligier et Emmanuel Lazard"
Un autre bon livre.
***
## Cryptographie (pas au programme)
**Ce n'est pas au programme.** mais ça peut être utile pour des développements à la frontière entre maths et info (leçons anneau $\mathbb{Z}/n\mathbb{Z}$ etc).
### [[Meunier][]] "Algèbre avec applications à l'algorithmique et à la cryptographie"
[Meunier]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=45950 "Algèbre avec applications à l'algorithmique et à la cryptographie, par Pierre Meunier"
Un très bon bouquin, rappelle les bases sur le cours en algèbre mais va assez loin sur les applications ([Diffie-Hellman](http://perso.crans.org/besson/agreg/d/Diffie-Hellman.pdf), RSA, El-Gamal, codes correcteurs, Berlekamp, pseudo-inverse, FFT, et même Miller-Rabin).
### [[Menezes][]] "Handbook of applied cryptography"
[Menezes]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=11118 "Handbook of applied cryptography, par Alfred J. Menezes, Paul C. van Oorschot, Scott A. Vanstone"
Une excellente référence (*en anglais*) pour tout ce qui concerne la cryptographie.
Un peu obscur et pas très clair sur les preuves, mais de bons schémas, des exercices et plein d'exemples (de tout, notamment [Diffie-Hellman](http://perso.crans.org/besson/agreg/d/Diffie-Hellman.pdf), RSA, ou El-Gamal).
***
## Logique en lien avec l'unification et réécriture {919,920}
**PLUS AU PROGRAMME** : les leçons **919**, **920** sont sorties du programme.
### [[TermRewriting][]] "Term rewriting and all that" {919,920}
[TermRewriting]: https://bibliopac.ens-rennes.fr/cgi-bin/koha/opac-detail.pl?biblionumber=6099 "Term rewriting and all that (en), par Franz Baader et Tobias Nipkow"
THE reference (*en anglais*) pour tout ce qui touche à la réécriture, donc crucial pour les leçons **919** et **920**.
</xmp><script type="text/javascript" src="https://perso.crans.org/besson/s/md/strapdown.min.js?mathjax=y&beacon=n&src=referencesinfo"></script>
<div style="text-align:center;margin-right:auto;margin-left:auto;">Fin</div>
<img alt="GA|Analytics" style="visibility:hidden;display:none;" src="http://perso.crans.org/besson/beacon/agreg-2020/info.html?pixel"/></body></html>