-
Notifications
You must be signed in to change notification settings - Fork 0
/
references.html
927 lines (675 loc) · 73.7 KB
/
references.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
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
<!DOCTYPE html><html><head><meta charset="UTF-8"/><title>Bibliographie maths et informatique pour l'agrégation 2020-21</title></head><body><xmp>
# [Bibliographie agreg' maths option info 2020-21](https://github.com/Naereen/Bibliographie-agregation-maths-option-info)
> Conseils personnels selon le vécu et l'expérience de [Lilian Besson](https://besson.link) ([@Naereen](https://github.com/Naereen/)). **Attention**, comme toutes listes, elle sont évidemment incomplètes ! Et c'est le but !
> Néanmoins, pour l'option info et les maths qui concernent les leçons d'option info, je ne pense pas qu'il soit utile de rajouter des livres. Mais je peux me tromper ! Et des nouveaux livres peuvent sortir ! Si vous avez des suggestions, [ouvrez un ticket](https://github.com/Naereen/Bibliographie-agregation-maths-option-info/issues/new) ou [envoyez-moi un mail](https://besson.link/callme.fr.html) !
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 [references.pdf](references.pdf), [en maths](maths.html) ([maths.pdf](maths.pdf)), [en info](info.html) ([info.pdf](info.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="maths">
# En [Mathématiques](maths.html)
## Livres spécifiques pour l'oral de l'agrégation
### [[131dev][]] "131 développements" (par Le Barbenchon, Lesevre, Pierron, Montagnon)
[131dev]: https://www.dunod.com/prepas-concours/131-developpements-pourl-oral-agregation-externe-mathematiquesinformatique "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.
C'est une vraie bible, pour des développements en mathématiques très riches et très nombreux (assez difficiles), mais surtout des développements en informatique et des rappels de cours concis mais précis sur tous les points moins d'informatique (du niveau et du volume de ce qui est attendus pour un plan), notamment $\lambda$-calcul, sémantique, base de données, calculabilité et décidabilité.
Publié en septembre 2020, co-écrit par Pierre Montagnon et Didier Lesevre, et des anciens élèves des ENS Rennes (Théo Pierron et Pierre Le Barbenchon) et Cachan (Benjamin Dadoun, Julie Gauthier, Lilian Besson).
### [[LeFrido][]] "Le Frido" par Laurent Claessens-Donadello et al
[LeFrido]: https://laurent.claessens-donadello.eu/frido.html "Le Frido"
[LeFridoPDF]: https://laurent.claessens-donadello.eu/pdf/lefrido.pdf "Le Frido en PDF"
C'est tout simplement le seul livre de maths gratuit, sous licence libre, écrit collaborativement,qui contient tout le programme de maths de l'agrégation de maths, et adopte un style de référence descendante. Il n'est pas parfait, mais c'est une lecture de choix pour se rafraîchir les idées sur tout le programme, et identifier les points que l'on ne comprend pas assez bien !
Il est édité avec un ISBN, et achetable en quatre volume à prix coûtant (environ 80€).
### [[IsenmannPecatte][]] "L'Oral a l'agrégation de mathématiques" (par Isenmann, Pecatte)
[IsenmannPecatte]: https://www.editions-ellipses.fr/accueil/248-l-oral-a-l-agregation-de-mathematiques-une-selection-de-developpements-9782340035270.html "L'Oral a l'agrégation de mathématiques (par Isenmann, Pecatte)"
Une autre bible pour les développements de l'agrégation, pour toutes les leçons de mathématiques !
Contient 65 développements de niveaux variés, couvrant toutes les leçons du programme de 2018.
Ne contient rien sur les leçons d'informatique.
## Divers (non triés)
### [[BMP][]] "Objectif Agrégation" (par Beck, Malick, Peyré)
[BMP]: http://perso.crans.org/besson/agreg/b/bmp.pdf "Objectif Agrégation (par Beck, Malick, Peyré)"
Excellent bouquin (cours et exercices) et plein de figures. Même une très bonne bibliographie !
[Plus de ressources](http://objagr.gforge.inria.fr/) pour ce livre (des exercices en plus et quelques détails) ?
### [[Zavidovique][]] "Un Max de Maths"
[Zavidovique]: http://perso.crans.org/besson/agreg/b/zavidovique.pdf "Un Max de Maths : problèmes pour agrégatifs et mathématiciens, en herbe ou confirmés"
« Problèmes pour agrégatifs et mathématiciens, en herbe ou confirmés ».
Super bouquin, très récent, une vraie mine de développements ($A\_5$ simple, réciprocité quadratique avec un exemple, théorèmes d'Osgood et de Grothendieck, CW+EGZ, etc) !
### [[Hauchecorne][]] "Contre-exemples en mathématiques"
[Hauchecorne]: http://perso.crans.org/besson/agreg/b/hauchecorne.djvu "Contre-exemples en mathématiques"
Plein de bonnes idées et de bons réflexes à avoir en tête, mais peu de contre-exemples sont assez longs pour faire un développement. Dommage.
### [Arnaudiès, Fraysse] "Cours de Mathématiques" tomes [1][Arnaudiès, Fraysse, 1], [2][Arnaudiès, Fraysse, 2], [3][Arnaudiès, Fraysse, 3] et [4][Arnaudiès, Fraysse, 4]
[Arnaudiès, Fraysse, 1]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=53595 "Cours de Mathématiques 1 : Algèbre, par J.-M.Arnaudiès et H. Fraysse"
[Arnaudiès, Fraysse, 2]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=53593 "Cours de Mathématiques 2 : Analyse, par J.-M.Arnaudiès et H. Fraysse"
[Arnaudiès, Fraysse, 3]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=52811 "Cours de Mathématiques 3 : Compléments d'analyse, par J.-M.Arnaudiès et H. Fraysse"
[Arnaudiès, Fraysse, 4]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=53518 "Cours de Mathématiques 4 : Équations différentielles, intégrales multiples et fonctions holomorphes, par J.-M.Arnaudiès et H. Fraysse"
Des livres de très grande qualité. Référence *incontestée* pour le cours !
* * *
## Chambert-Loir, Fermigier : « Exercices de Mathématiques pour l'Agrégation »
> Je ne connais pas bien cette série de livre, mais elle est souvent indiquée en référence des dévs en PDFs.
### [[Chambert-Loir, Fermigier, Analyse 1][]] "Analyse 1"
[Chambert-Loir, Fermigier, Analyse 1]: http://perso.crans.org/besson/agreg/b/chambert-loir_fermigier_analyse1.pdf "Exercices de Mathématiques pour l'Agrégation, Analyse 1"
### [[Chambert-Loir, Fermigier, Analyse 2][]] "Analyse 2"
[Chambert-Loir, Fermigier, Analyse 2]: http://perso.crans.org/besson/agreg/b/chambert-loir_fermigier_analyse2.pdf "Exercices de Mathématiques pour l'Agrégation, Analyse 2"
### [[Chambert-Loir, Fermigier, Analyse 3][]] "Analyse 3"
[Chambert-Loir, Fermigier, Analyse 3]: http://perso.crans.org/besson/agreg/b/chambert-loir_fermigier_analyse3.pdf "Exercices de Mathématiques pour l'Agrégation, Analyse 3"
### [[Chambert-Loir, Fermigier, Algèbre 1][]] "Algèbre 1"
[Chambert-Loir, Fermigier, Algèbre 1]: http://perso.crans.org/besson/agreg/b/chambert-loir_fermigier_algebre1.pdf "Exercices de Mathématiques pour l'Agrégation, Algèbre 1"
### [[Chambert-Loir, Fermigier, Algèbre 2][]] "Algèbre 2"
[Chambert-Loir, Fermigier, Algèbre 2]: http://perso.crans.org/besson/agreg/b/chambert-loir_fermigier_algebre2.pdf "Exercices de Mathématiques pour l'Agrégation, Algèbre 2"
### [[Chambert-Loir, Fermigier, Algèbre 3][]] "Algèbre 3"
[Chambert-Loir, Fermigier, Algèbre 3]: http://perso.crans.org/besson/agreg/b/chambert-loir_fermigier_algebre3.pdf "Exercices de Mathématiques pour l'Agrégation, Algèbre 3"
## Analyse complexe
### [[Amar, Matheron][]] "Analyse complexe"
[Amar, Matheron]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=19940 "Analyse complexe, par Éric Amar, Étienne Matheron "
> (Je ne le connais pas du tout.) Merci à Ludovic pour l'indication.
### [[Rudin][]] "Analyse réelle et complexe : Cours et exercices"
[Rudin]: http://perso.crans.org/besson/agreg/b/rudin.djvu "Analyse réelle et complexe : Cours et exercices"
Une référence, même si certains n'apprécient pas son style et sa forme (écrit très petit et assez illisible).
### [[Gélinas, Lambert][]] "Éléments d'analyse complexe"
[Gélinas, Lambert]: http://perso.crans.org/besson/agreg/b/gelinas_lambert.pdf "Éléments d'analyse complexe"
> (Je ne le connais pas du tout.)
* * *
## Francinou, Gianela, Nicolas (FGN) : « Oraux X-ENS »
Excellents bouquins, en analyse autant qu'en algèbre. De vraies mines d'or de développements !
Ne pas hésiter à chercher un exercice *original* : dans l'ensemble il y a près de 500 exercices !
## Francinou, Gianela, Nicolas (FGN) en Analyse (1, 2, 3, 4)
### [[FGN, Analyse 1][]] "Oraux X-ENS Analyse 1"
[FGN, Analyse 1]: http://perso.crans.org/besson/agreg/b/fgn_analyse1.djvu "Oraux X-ENS Analyse 1"
### [[FGN, Analyse 2][]] "Oraux X-ENS Analyse 2"
[FGN, Analyse 2]: http://perso.crans.org/besson/agreg/b/fgn_analyse2.djvu "Oraux X-ENS Analyse 2"
### [[FGN, Analyse 3][]] "Oraux X-ENS Analyse 3"
[FGN, Analyse 3]: http://perso.crans.org/besson/agreg/b/fgn_analyse3.djvu "Oraux X-ENS Analyse 3"
### [[FGN, Analyse 4][]] "Oraux X-ENS Analyse 4"
[FGN, Analyse 4]: http://perso.crans.org/besson/agreg/b/fgn_analyse4.djvu "Oraux X-ENS Analyse 4"
## Francinou, Gianela, Nicolas (FGN) en Algèbre (1, 2, 3)
### [[FGN, Algèbre 1][]] "Oraux X-ENS Algèbre 1"
[FGN, Algèbre 1]: http://perso.crans.org/besson/agreg/b/fgn_algebre1.djvu "Oraux X-ENS Algèbre 1"
### [[FGN, Algèbre 2][]] "Oraux X-ENS Algèbre 2"
[FGN, Algèbre 2]: http://perso.crans.org/besson/agreg/b/fgn_algebre2.djvu "Oraux X-ENS Algèbre 2"
### [[FGN, Algèbre 3][]] "Oraux X-ENS Algèbre 3"
[FGN, Algèbre 3]: http://perso.crans.org/besson/agreg/b/fgn_algebre3.djvu "Oraux X-ENS Algèbre 3"
* * *
## Calcul différentiel
### [[Rouvière][]] "Petit guide de calcul différentiel à l'usage de la licence et de l'agrégation"
[Rouvière]: http://perso.crans.org/besson/agreg/b/rouviere.djvu "Petit guide de calcul différentiel à l'usage de la licence et de l'agrégation"
Référence incontestable, avec rappels de cours et plein d'exercices bien corrigés. On appréciera ses figures claires et précises (qu'il faut bien sûr s'empresser de refaire au tableau).
### [[Avez][]] "Calcul Différentiel"
[Avez]: http://perso.crans.org/besson/agreg/b/avez.pdf "Calcul Différentiel"
> (Je ne le connais pas du tout.)
### [[Lafontaine][]] "Introduction aux variétés différentielles"
[Lafontaine]: http://perso.crans.org/besson/agreg/b/lafontaine.pdf "Introduction aux variétés différentielles"
Un bon bouquin, parfois un peu trop technique. De bons rappels de cours, et quelques développements (pas trop en option info). *(écrit par le père de David!)*
### [[Gonnord, Tosel][]] "Calcul Différentiel"
[Gonnord, Tosel]: http://perso.crans.org/besson/agreg/b/gonnord_tosel.pdf "Calcul Différentiel"
> (Je ne le connais pas du tout.)
* * *
## Analyse fonctionnelle
### [[Hirsh, Lacombe][]] "Eléments d'analyse fonctionnelle" (en anglais)
[Hirsh, Lacombe]: http://perso.crans.org/besson/agreg/b/hirsh_lacombe_levy.pdf "Eléments d'analyse fonctionnelle (en anglais)"
> (Je ne le connais pas du tout.)
### [[Lacombe, Massat][]] "Eléments d'analyse fonctionnelle (exercices corrigés)"
[Lacombe, Massat]: http://perso.crans.org/besson/agreg/b/lacombe_massat.pdf "Eléments d'analyse fonctionnelle (exercices corrigés)"
Exercices corrigés inspirés ou issus du livre de cours [[Hirsh, Lacombe]].
> (Je ne le connais pas du tout.)
### [[Brézis][]] "Analyse fonctionnelle"
[Brézis]: http://perso.crans.org/besson/agreg/b/brezis.djvu "Analyse fonctionnelle"
Référence parmi les plus célèbres, et c'est justifié. Un bon bouquin, très complet, mais pas forcément toujours facile à suivre. Quelques bons développements bien traités.
### [[Kolmogorov, Fomine][]] "Eléments de la théorie des fonctions et de l'analyse fonctionnelle"
[Kolmogorov, Fomine]: http://perso.crans.org/besson/agreg/b/kolmogorov_fomine.djvu "Eléments de la théorie des fonctions et de l'analyse fonctionnelle"
> (Je ne le connais pas du tout.)
* * *
## Gourdon
Deux livres parmi les plus appréciés des taupins et des agrégatifs.
On apprécie ses petits rappels de cours mais surtout ses nombreux exercices très bien corrigés.
Eux aussi sont de vraies mines de développements.
**Attention** aux différentes versions, le contenu a bien évolué.
### [[Gourdon, Analyse][]] "Les Maths en tête, Analyse"
[Gourdon, Analyse]: http://perso.crans.org/besson/agreg/b/gourdon_analyse.pdf "Les Maths en tête, Analyse"
### [[Gourdon, Algèbre][]] "Les Maths en tête, Algèbre"
[Gourdon, Algèbre]: http://perso.crans.org/besson/agreg/b/gourdon_algebre.pdf "Les Maths en tête, Algèbre"
* * *
## Maths numériques (analyse et algèbre)
### [[Ciarlet][]] "Introduction à l'analyse numérique matricielle et à l'optimisation : cours et exercices corrigés"
[Ciarlet]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=52205 "Introduction à l'analyse numérique matricielle et à l'optimisation : cours et exercices corrigés, par P.G. Ciarlet"
Référence principale en maths numériques, plein d'exercices corrigés et de bons rappels de cours.
Excellent, à tout point de vue.
### [[Allaire][]] "Analyse numérique et optimisation"
[Allaire]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=29460 "Analyse numérique et optimisation : une introduction à la modélisation mathématique et à la simulation numérique, par G. Allaire"
Une autre très bonne référence en maths numériques.
Parle un peu moins de matrices mais plus d'algorithmes (optimisation, équations différentielles, EDP etc).
### [[Allaire, Kaber][]] "Algèbre linéaire numérique"
[Allaire, Kaber]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=27424 "Algèbre linéaire numérique, par Grégoire Allaire et Sidi Mahmoud Kaber."
Une très bonne référence en algèbre numérique. De nombreux algorithmes, bien présentés, un peu prouvés, et avec des dessins (notamment, méthode d'élimination de Gauss, moindres carrés, factorisation QR et de Cholesky etc).
### [[Filbet][]] "Analyse linéaire"
[Filbet]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=58007 "Analyse linéaire, par Francis Filbet."
Bonne référence en analyse numérique. Plein de développements possibles, dont les méthodes de Gauss, QR, de Cholesky pour les systèmes linéaires, mais aussi la méthode de Héron avec un exemple, de l'optimisation avec ou sans contrainte, de l'interpolation (Lagrange et Hermite), les moindres carrés (bien faits), et pour les EDP le schéma d'Euler, et volumes finis pour l'équation d'advection.
### [[Demailly][]] "Analyse numérique et équations différentielles"
[Demailly]: http://perso.crans.org/besson/agreg/b/demailly.pdf "Analyse numérique et équations différentielles"
Une bonne référence, vraiment orientée analyse numérique. Il risque de ne pas intéresser beaucoup les élèves suivant l'option D.
### [[Viot][]] "Méthode d'analyse numérique"
[Viot]: http://perso.crans.org/besson/agreg/b/viot.pdf "Méthode d'analyse numérique"
> (Je ne le connais pas du tout.)
* * *
## Analyse (générale)
### [[Zuily, Queffélec][]] "Éléments d'analyse pour l'agrégation"
[Zuily, Queffélec]: http://perso.crans.org/besson/agreg/b/zuily_queffelec.pdf "Éléments d'analyse pour l'agrégation (attention, beaucoup de choses en plus dans les dernières éditions)"
Excellente référence en analyse, beaucoup de cours, et plein d'exercices et de démonstration de cours, qui peuvent aisément faire de bons développements.
**Attention**, beaucoup de choses en plus dans les dernières éditions.
### [[Madère, DevAnalyse][]] "Développements d'analyse : préparation à l'oral de l'Agrégation de Mathématiques"
[Madère, DevAnalyse]: http://perso.crans.org/besson/agreg/b/madere_devanalyse.pdf "Développements d'analyse : préparation à l'oral de l'Agrégation de Mathématiques"
Deux très bons livres, qui commencent à dater un peu. Quelques très bonnes idées de développements, mais qui commencent peut-être à être trop classiques.
### [[Madère, LeconAnalyse][]] "Leçons d'analyse : préparation à l'oral de l'Agrégation de Mathématiques"
[Madère, LeconAnalyse]: http://perso.crans.org/besson/agreg/b/madere_lecanalyse.pdf "Leçons d'analyse : préparation à l'oral de l'Agrégation de Mathématiques"
Idem, un peu ancien. Pour les leçons encore présentes aujourd'hui, donne un exemple de plan *à recopier presque tel-quel*. Magique.
### [[Nourdin][]] "Leçons d'analyse, probabilités, algèbre et géométrie"
[Nourdin]: http://perso.crans.org/besson/agreg/b/nourdin.pdf "Leçons d'analyse, probabilités, algèbre et géométrie"
> (Je ne le connais pas du tout.)
### [[Cottrell, Genon-Catalot][]] "Exercices de probabilités"
[Cottrell, Genon-Catalot]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=56044 "Exercices de probabilités : licence, master, écoles d'ingénieurs, par Marie Cottrell et Christian Duhamel et Valentine Genon-Catalot"
Des petits rappels de cours (chaînes de Markov Ch9 p265), suivis d'exercices, dont certains grands classiques (processus de branchement de Galton-Watson Ex3.5 p72, paradoxe de l'autobus Ex3.18 p98, jeu du monopoly Ex9.14 p282).
* * *
## Combinatoire et dénombrement
### [[Flajolet, Sedgewick][]] "Analytic Combinatorics"
[Flajolet, Sedgewick]: http://perso.crans.org/besson/agreg/b/flajolet_sedgewick.pdf "Analytic Combinatorics (attention : ouvrage technique)"
Ouvrage de qualité mais **très technique**, à consulter et travailler avant toute utilisation dans les conditions des oraux. Existe aussi en français. Plus orienté algorithmique que maths.
* * *
## Algèbre (générale)
### [[Perrin][]] "Cours d'algèbre"
[Perrin]: http://perso.crans.org/besson/agreg/b/perrin.pdf "Cours d'algèbre"
Référence incontestée sur le cours, mais aussi pour quelques développements, présents sous forme d'exercices corrigés ou de démonstration de cours ($K^*$ cyclique, $\Phi_d$ irréductible, théorèmes de Witt, de Birkhoff, de Cartan-Dieudonné, etc).
### [[Szpirglas][]] "Maths L3, Algèbre : cours complet avec 400 tests et exercices corrigés"
[Szpirglas]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=56363 "Maths L3, Algèbre : cours complet avec 400 tests et exercices corrigés"
Une *bible* pour l'algèbre, presque tout. Bien expliqué, plein d'exercices.
### [[Demazure][]] "Cours d'Algèbre"
[Demazure]: http://perso.crans.org/besson/agreg/b/demazure.djvu "Cours d'Algèbre (avec du code ruby!)"
Un bon bouquin, clair et précis. Beaucoup de contenu sur les codes correcteurs, et très orienté algorithmes et informatique (plus de 100 programmes [ruby](https://www.ruby-lang.org/fr/documentation/quickstart/) sont inclus dans le livre!).
### [[Escofier, David][]] "Toute l'algèbre de la licence : Cours et exercices corrigés"
[Escofier, David]: http://perso.crans.org/besson/agreg/b/escofier_david.pdf "Toute l'algèbre de la licence : Cours et exercices corrigés"
Gros bouquin, très complet niveau cours, un peu "simple" niveau exercices. Des grands classiques mais aussi quelques plus difficiles ou plus originaux, qui feront bien sûr de bons développements.
### [[Risler, Boyer][]] "Toute l'algèbre pour la licence 3"
[Risler, Boyer]: http://perso.crans.org/besson/agreg/b/risler_boyer.pdf "Toute l'algèbre pour la licence 3"
Du même genre que [[Escofier, David]] ou [[Szpirglas]], mais je ne le connais pas du tout. Semble solide !
## Algèbre (plus spécialisée)
### [[Serre, Matrices][]] "Matrices, théories et applications"
[Serre, Matrices]: http://perso.crans.org/besson/agreg/b/serre_matrices.pdf "Matrices, théories et applications (en)"
Référence solide, il faut préférer la version (originale) française pour éviter la style un peu *étrange* de la traduction anglaise (pour ne pas dire incompréhensible).
### [[Watkins][]] "Fundamentals of matrix computations"
[Watkins]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=41763 "Fundamentals of matrix computations (en), par David S. Watkins"
Semble être une bonne référence pour les décompositions de matrices (LU, QR, Chomsky etc) et les calculs *concrets* sur les matrices.
### [[Rauch][]] "Les groupes finis et leurs représentations"
[Rauch]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=50960 "Les groupes finis et leurs représentations, par Gérard Rauch"
Une bonne référence pour les représentations et les tables de caractères.
### [[Serre, Arithmétique][]] "Cours d'arithmétique"
[Serre, Arithmétique]: http://perso.crans.org/besson/agreg/b/serre_arithmetique.pdf "Cours d'arithmétique (attention, J-P. Serre et pas Denis Serre)"
Attention, ce livre est de J-P. Serre, et non Denis Serre. Livre très ancien, mais pas obsolète.
### ? [[Chambert-Loir, Algèbre corporelle][]] "Algèbre corporelle"
[Chambert-Loir, Algèbre corporelle]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=44018 "Algèbre corporelle (Attention : Sans numéro ISBN !)"
Polycopié de l'École Polytechnique, [disponible ici](http://www.math.polytechnique.fr/~chambert/teach/algebre.pdf), ou [là](http://perso.crans.org/besson/agreg/b/chambert-loir_algebre-corporelle.pdf), publié avec ISBN depuis 2005 !
### [[Tauvel, Galois][]] "Corps communicatifs et théorie de Galois : cours et exercices"
[Tauvel, Galois]: http://perso.crans.org/besson/agreg/b/tauvel_galois.djvu "Corps communicatifs et théorie de Galois : cours et exercices"
Une référence pour tout l'aspect théorie de Galois. Attention à ne pas sous-estimer la *difficulté* de tout ce domaine : il demande un vrai investissement !
### [[Mneimné, Testard][]] "Introduction à la théorie des groupes de Lie classiques"
[Mneimné, Testard]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=53072 "Introduction à la théorie des groupes de Lie classiques"
Les premiers chapitres contiennent quelques développements classiques (par exemple, $\exp(S\_n^+(\mathbb{R})) = S\_n^{++}(\mathbb{R})$ en 8.8.8). La suite est hors programme.
### [[Carrega][]] "Théorie des corps : la règle et le compas"
[Carrega]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=19934 "Théorie des corps : la règle et le compas"
Une bonne référence pour la notion de constructibilité à la règle et au compas, et aussi avec de bons rappels en théorie des corps basique. L'un des seuls bouquins à pousser la question de la constructibilité un peu plus loin (compas seul, règle glissée et compas seuls, compas et une seule fois la règle etc), même si c'est peut-être hors de portée de l'agrégation.
### [[Mérindol][]] "Nombres et algèbre"
[Mérindol]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=50947 "Nombres et algèbre, par Jean-Yves Mérindol (ancien directeur de l'ENS Cachan !)"
Très complet, notamment un contenu intéressant en géométrie des nombres complexes et en géométrie projective.
* * *
## Géométrie (affine, euclidienne, complexe)
### [[Audin][]] "Géométrie"
[Audin]: http://perso.crans.org/besson/agreg/b/audin.pdf "Géométrie (très complet, avec beaucoup d'exercices)"
Une super référence, très complète et bourrée d'exercices. Dommage qu'ils soient corrigés aussi rapidement.
De nombreuses figures ! (On ne lui regrettera que son féminisme trop présent)
### [[Alessandri][]] "Thèmes de géométrie"
[Alessandri]: http://perso.crans.org/besson/agreg/b/Alessandri.pdf "Thèmes de géométrie"
Une très bonne référence. **Attention** il devient rare ! Pas ré-édité depuis longtemps.
De bons rappels de cours et beaucoup de contenu pour des développements. Ne pas hésiter à remettre en question l'efficacité de certaines preuves, qui peuvent parfois être bien abrégées avec un argument plus simple (par exemple le lemme de CNS de nilpotence via les $Tr(u^k)=0, \forall 1 \lt k \lt n$ dans la preuve du critère de finitude de Burnside pour les groupes de $\mathcal{GL}(E)$).
### [[Goblot][]] "Thèmes de géométrie : géométrie affine et euclidienne"
[Goblot]: http://perso.crans.org/besson/agreg/b/goblot.pdf "Thèmes de géométrie : géométrie affine et euclidienne"
Une autre bonne référence en géométrie affine. Beaucoup d'exercices et de figures.
### [[Caldero, Germoni][]] "Histoires hédonistes de groupes et de géométries"
[Caldero, Germoni]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=58090 "Histoires hédonistes de groupes et de géométries (tome premier), par Philippe Caldero et Jérôme Germoni"
À part son titre un peu ridicule et prétentieux, c'est un bon bouquin.
### [[Combes][]] "Algèbre et géométrie"
[Combes]: http://perso.crans.org/besson/agreg/b/combes.pdf "Algèbre et géométrie"
Ce bouquin ne me plaît pas beaucoup. Plein d'exercices, avec indications puis corrections rapides.
## Géométrie projective (huhum...)
### [[Samuel][]] "Géométrie projective"
[Samuel]: http://perso.crans.org/besson/agreg/b/samuel.pdf "Géométrie projective (un peu vieux)"
Un livre qui vieillit mal. Encore du bon matériel pour nos très nombreux développements en géométrie projective (ahem!).
### [[Sidler][]] "Géométrie projective"
[Sidler]: http://perso.crans.org/besson/agreg/b/sidler.djvu "Géométrie projective"
> (Je ne le connais pas du tout.)
## Autres références en géométrie (moins utilisées)
### [[Mneimné, Actions de Groupes][]] "Éléments de géométrie et actions de groupes"
[Mneimné, Actions de Groupes]: http://perso.crans.org/besson/agreg/b/mneimne_geometrie_action_groupes.djvu "Éléments de géométrie et actions de groupes"
Semble une référence pour tout ce qui est actions de groupe appliquée en géométrie.
### [[Ladegaillerie][]] "Géométrie pour le Capes et l'Agrégation"
[Ladegaillerie]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=51069 "Géométrie pour le Capes et l'Agrégation"
Bouquin trop ancien, me semble pas super. Aucune correction aux exercices inclus, dommage.
### [[Berger, 1][]] et [[Berger, 2][]] "Géométrie", Tomes 1 et 2
[Berger, 1]: http://perso.crans.org/besson/agreg/b/berger1.pdf "Géométrie, Tome 1"
[Berger, 2]: http://perso.crans.org/besson/agreg/b/berger2.pdf "Géométrie, Tome 2"
Bons bouquins, avec index et tables des matières communs, mais un peu ancien. Du bon contenu pour le cours, et quelques bonnes démos pour les développements.
### [[Jolivet, Labbas][]] "Algèbre linéaire et géométrie (applications mathématiques avec Matlab)"
[Jolivet, Labbas]: http://perso.crans.org/besson/agreg/b/jolivet_labbas.pdf "Algèbre linéaire et géométrie (applications mathématiques avec Matlab)"
> (Je ne le connais pas du tout.) Semble plus utile pour les optionnaires en calcul scientifique.
### ? [[Auliac, Delcourt, Goblot][]] "Mathématiques : Algèbre et géométrie 50% cours + 50% exos"
[Auliac, Delcourt, Goblot]: http://perso.crans.org/besson/agreg/b/auliac_delcourt_goblot.pdf "Mathématiques : Algèbre et géométrie 50% cours + 50% exos"
> (Je ne le connais pas du tout.)
### [[Laville][]] "Géométrie pour le CAPES et l'Agrégation"
[Laville]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=6401 "Géométrie pour le CAPES et l'Agrégation, par Guy Laville"
> (Je ne le connais pas du tout.)
### [[Tauvel, Géométrie][]] "Géométrie pour l'agrégation interne"
[Tauvel, Géométrie]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=4414 "Géométrie pour l'agrégation interne, par Patrice Tauvel"
> (Je ne le connais pas du tout.)
### [[Peitgen][]] "Chaos and fractals : new frontiers of science"
[Peitgen]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=40075 "Chaos and fractals : new frontiers of science, par Heinz-Otto Peitgen, Hartmut Jürgens, Dietmar Saupe"
Un livre vraiment peu rigoureux, mais peut donner quelques idées, notamment à propos de la suite logistique (p58, leçon 223, 230) ou des ensembles de Julia et de Mandelbrot (13.4 p793, leçon 183).
* * *
### [[Ruaud, Warusfel][]] "Exercices de mathématiques pour l'agrégation, Algèbre 3"
[Ruaud, Warusfel]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=3740 "Exercices de mathématiques pour l'agrégation, Algèbre 3, par Jean-François Ruaud, André Warusfel"
> (Je ne le connais pas du tout, merci à Loïc pour l'indication.)
### [[Rombaldi][]] "Thèmes pour l'agrégation de mathématiques"
[Rombaldi]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=57862 "Thèmes pour l'agrégation de mathématiques, par Jean-Etienne Rombaldi"
Ressemble à une liste de développements, similaire au [[Zavidovique][]].
## Un peu d'*informatique* pour les leçons de maths (mais pas trop)
### [[Lapresté][]] "Introduction à MATLAB"
[Lapresté]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=61667 "Introduction à MATLAB, par Jean-Thierry Lapresté"
Un petit livre qui couvre tout le langage/logiciel MATLAB, pratique pour des rappels de syntaxe notamment.
### [[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).
### [[Chabert][]] "Histoire d'algorithmes : du caillou à la puce"
[Chabert]: https://catalogue.ens-cachan.fr/cgi-bin/koha/opac-detail.pl?biblionumber=54558 "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.
### [[Cormen][]] "Introduction à l'Algorithmique"
[Cormen]: http://perso.crans.org/besson/agreg/b/cormen.pdf "Introduction à l'Algorithmique"
[Cormen, Ch11.5 p238]: http://perso.crans.org/besson/agreg/b/cormen.pdf#page=268 "Hachage parfait"
[Cormen, Ch31.8 p859]: http://perso.crans.org/besson/agreg/b/cormen.pdf#page=891 "Algorithme de Miller-Rabin"
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, moindres carrés, RSA, etc) peuvent être présentés en oral de maths sans aucun soucis.
<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.
***
## 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=references"></script>
<div style="text-align:center;margin-right:auto;margin-left:auto;">Fin</div>
</body></html>