Environnement informatique 2023
NonOS est un environnement de concours pour permettre aux candidats de l’agrégation d’informatique 2023 de préparer leurs épreuves orales.
La version 2023 est disponible au format OVA pour VirtualBox ici. Les sources de génération de la VM, basée sur Ubuntu 22.04, sont sur GitLab.
Pour cette VM de démonstration, le compte candidat a pour mot de passe concours.
Principaux changements par rapport à 2022 :
- Ubuntu 20.04 a été remplacé par 22.04
- GNOME a été remplacé par xfce
- Packages Python sympy et jax sont supprimés ; mypy, networkx, pydot sont ajoutés
- gdb, valgrind, ocaml-lsp-server ajoutés
- R, Java, Node, MySQL/MariaDB, phpMyAdmin supprimés ; il reste notamment PHP et SQLite
- Une version minimale de LaTeX est disponible (avec notamment PGF/TikZ, beamer, multido) mais Texmaker et pandoc ont été supprimés ; il reste LibreOffice
- Chromium a été supprimé ; il reste Firefox
- De nombreuses manpages sont fournies
- QGIS a été supprimé
- Le clavier Bépo est disponible
Pour plus de détails, consultez la documentation.
Questions
Les questions spécifiques à la clé peuvent être posées à cle-agreg-info@groupes.renater.fr.
Manuels 2023
| Abelson, Sussman, Sussman | Structure and interpretation of computer programs | |
| Aho, Hopcroft, Ullman | Structures de données et algorithmes | |
| Appel A.W | Modern compiler implementation | 1 en C, 1 en Java, 1 en ML |
| Arpaci-Dusseau | Operating Systems: Three Easy Pieces | |
| Autebert | Calculabilité et décidabilité | |
| Autebert | Théorie des langages et des automates | |
| Baase, van Gelder | Computer algorithms. Introduction to design & analysis, | |
| Bajard | Exercices d’algorithmique | |
| Balabonski et al. | Spécialité Numérique et sciences informatiques 1re: 30 leçons avec exercices corrigés | |
| Balabonski et al. | Spécialité Numérique et sciences informatiques : leçons avec exercices corrigés – Terminale | |
| Balabonski et al | MP2I/MPI | x5 |
| Behrouz A. Forouzan | Data Communications and Networking | |
| Bernhard Korte , Jens Vygen | Combinatorial Optimization | |
| Bishop | Pattern recognition and machine learning | |
| Bryant et O’Hallaron | Computer Systems – A Programmer’s Perspective | |
| Carton | Langages formels, calculabilité et complexité | x 3 |
| Conchon, Filliâtre | Apprendre à programmer avec OCaml | x4 |
| Cori, Lascar | Logique mathématique | T1 et T2 |
| Cormen, Leiserston, Rivest | introduction à l’algorithmique | x 3 |
| Cousineau, Mauny | approche fonctionnelle de la programmation | x 2 |
| Damphousse | Petite introduction à l’algorithmique | |
| David, Nour, Raffali | introduction à la logique | |
| Dehornoy | complexité et décidabilité | |
| Donahoo et Calvert | TCP/IP Sockets in C: Practical Guide for Programmers | |
| Dürr, Vie | Programmation efficace : Les 128 algorithmes qu’il faut avoir compris et codés dans sa vie | x4 |
| Erikson Jeff | Algorithms | |
| Garey, Johnson | computers & intractability | |
| Goossens | Guide to computer processor architecture | |
| Granjon | informatique, algorithmes en Pascal et en C | |
| Gusfield | algorithms on strings, trees and sequences | |
| Herlihy, Maurice, Shavit, Nir | The Art of Multiprocessor Programming | |
| Hopcroft & al | Introduction to automata theory, languages and computation | |
| Kernighan et Ritchie | Le langage C – 2e éd | x5 |
| Knuth | The art of computer programming vol 1,2,3,4 | x2 |
| Knuth | The art of computer programming vol 4B | |
| Kurose et Ross | Computer Networking: A Top-Down Approach | |
| Lacomme et al | Algorithmes de graphes | |
| Lalement | Logique, réduction, résolution | |
| Love | Linux System Programming | |
| Lynch Nancy | Distributed Algorithms | |
| Minsky, Madhavapeddy | Real World OCaml | |
| Mitchell | Concepts in programming languages | |
| Mitzenmacher Michael and Upfal Eli | Probability and computing | |
| Nielson & Nielson | Semantics With Applications: An Appetizer | |
| Okasaki | Purely Functional Data Structures | |
| Papadimitriou | Computational complexity | |
| Patterson et Hennessy | Computer Organization and Design RISC-V Edition: The hardware software interface | |
| Petazzoni | Seize problèmes d’informatique | |
| Sedgewick | Algorithms | 2 générique en anglais, 1 en Java en français, 1 en C en français |
| Sedgewick, Wayne | Algorithms 4th edition | |
| Silberschatz Abraham , Gagne Greg , Galvin Peter B | Operating System Concepts | |
| Sipser | Introduction to the theory of computation | |
| Tanenbaum, Feamster, Wetherall | Computer networks | |
| Warren | Hacker’s Delight | |
| Waterman | Introduction to computational biology |
