Manuels et environnement informatique

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, SussmanStructure and interpretation of computer programs
Aho, Hopcroft, UllmanStructures de données et algorithmes 
Appel A.WModern compiler implementation1 en C, 1 en Java, 1 en ML
Arpaci-DusseauOperating Systems: Three Easy Pieces
AutebertCalculabilité et décidabilité
AutebertThéorie des langages et des automates
Baase, van GelderComputer algorithms. Introduction to design & analysis,
BajardExercices 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 alMP2I/MPIx5
Behrouz A. ForouzanData Communications and Networking
Bernhard Korte , Jens VygenCombinatorial Optimization
BishopPattern recognition and machine learning
Bryant et O’HallaronComputer Systems – A Programmer’s Perspective
CartonLangages formels, calculabilité et complexitéx 3
Conchon, FilliâtreApprendre à programmer avec OCamlx4
Cori, LascarLogique mathématiqueT1 et T2
Cormen, Leiserston, Rivestintroduction à l’algorithmiquex 3
Cousineau, Maunyapproche fonctionnelle de la programmationx 2
DamphoussePetite introduction à l’algorithmique
David, Nour, Raffaliintroduction à la logique
Dehornoycomplexité et décidabilité
Donahoo et CalvertTCP/IP Sockets in C: Practical Guide for Programmers
Dürr, VieProgrammation efficace : Les 128 algorithmes qu’il faut avoir compris et codés dans sa viex4
Erikson JeffAlgorithms
Garey, Johnsoncomputers & intractability
GoossensGuide to computer processor architecture
Granjoninformatique, algorithmes en Pascal et en C
Gusfieldalgorithms on strings, trees and sequences
Herlihy, Maurice, Shavit, NirThe Art of Multiprocessor Programming
Hopcroft & alIntroduction to automata theory, languages and computation
Kernighan et RitchieLe langage C – 2e édx5
KnuthThe art of computer programming vol 1,2,3,4x2
KnuthThe art of computer programming vol 4B
Kurose et RossComputer Networking: A Top-Down Approach
Lacomme et alAlgorithmes de graphes
LalementLogique, réduction, résolution
LoveLinux System Programming
Lynch NancyDistributed Algorithms
Minsky, MadhavapeddyReal World OCaml
MitchellConcepts in programming languages
Mitzenmacher Michael and Upfal EliProbability and computing
Nielson & NielsonSemantics With Applications: An Appetizer
OkasakiPurely Functional Data Structures
PapadimitriouComputational complexity
Patterson et HennessyComputer Organization and Design RISC-V Edition: The hardware software interface
PetazzoniSeize problèmes d’informatique
SedgewickAlgorithms2 générique en anglais, 1 en Java en français, 1 en C en français
Sedgewick, WayneAlgorithms 4th edition
Silberschatz Abraham , Gagne Greg , Galvin Peter BOperating System Concepts
SipserIntroduction to the theory of computation
Tanenbaum, Feamster, WetherallComputer networks
WarrenHacker’s Delight
WatermanIntroduction to computational biology

Les commentaires sont clos.