Environnement informatique

Pronaos est un environnement de concours pour permettre aux candidats de l’agrégation d’informatique 2022 de préparer leurs épreuves orales.

La version 2022 est disponible au format OVA pour VirtualBox ici. Les sources de génération de la VM, basée sur Ubuntu 20.04, sont sur GitLab.

Python dispose des IDE Jupyter Lab, Pyzo, PyCharm. OCaml dispose de tuareg-mode, Jupyter Lab. Pour les autres langages (HTML, C++, Java, OCaml), il y a vim, emacs, Codium.

Pour cette VM de démonstration, le compte candidat a pour mot de passe concours.

Logiciels mis à disposition des candidats et candidates

Langages

Les numéros de versions listés sont des versions minimales disponibles immédiatement dans l’image mise à disposition, des mises à jour peuvent avoir lieu d’ici l’épreuve.

• Python 3.8.10, avec :

    numpy==1.22.3
    scipy==1.8.0
    matplotlib==3.1.2
    scikit-learn==1.0.2
    pandas==1.4.2
    Pillow==9.1.0
    imageio==2.18.0
    jupyterlab==3.3.4
    sympy==1.10.1
    jax==0.3.7

• OCaml 4.08.1, avec utop
• C et C++ (gcc 9.4)
• Java 11.0.15 (openjdk 11)
• R 3.6.3
• Node.js 10.19

Traitement de texte et environnements de développement

• LibreOffice
• LaTeX, Texmaker et pandoc
• codium, équivalent libre de VSCode
• Vim
• Emacs avec tuareg-mode
• Pyzo
• PyCharm
• Jupyter et JupyterLab, avec noyaux Python et OCaml

Web et bases de données

• SQLite 3.31.1
• MariaDB 15.1 (mysql) et phpMyAdmin (PHP 7.4.3)
• Firefox
• Chromium
• Node.js 10.19

Traitement d’image, visualisation

• Gimp
• Inkscape
• Graphviz
• Gnuplot

Gestion de versions

• git
• svn

Documentation hors ligne

• Zeal

    C
    C++
    Java SE11
    LaTeX
    MySQL
    NumPy
    OCaml
    Python 3
    R
    SQLite
    SciPy

Questions

Les questions spécifiques à la clé peuvent être posées à cle-agreg-info@groupes.renater.fr.

Remerciements

Merci à Matthieu Le Floch, François Boisson, Yann Hermans, François Avril, Antoine Crouzet et Raphaël Augris pour leurs conseils et commentaires.

 

Manuels

Livres disponibles

• Abelson, Sussman, Sussman ; Structure and interpretation of computer programs
• Appel A.W Modern compiler implementation (1 en C, 1 en Java, 1 en ML)
• 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
• Carton. Langages formels, calculabilité et complexité x 3
• Cori, Lascar : Logique mathématique (T1 et T2)
• Cormen, Leiserston, Rivest : introduction à l’algorithmique x 2
• 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é
• Garey, Johnson : computers & intractability
• Granjon : informatique, algorithmes en Pascal et en C
• Gusfield: algorithms on strings, trees and sequences
• Hopcroft & al. Introduction to automata theory, languages and computation
• Kernighan, Ritchie : le langage C
• Lacomme et al. Algorithmes de graphes
• Lalement. Logique, réduction, résolution.
• Mitchell. Concepts in programming languages
• Papadimitriou. Computational complexity
• 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)
• Sipser. Introduction to the theory of computation
• Waterman. Introduction to computational biology

Livres commandés et arrivés

• Arpaci-Dusseau. Operating Systems: Three Easy Pieces
• Balabonski et al. Numérique et sciences informatiques, Spécialité NSI 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
• Bishop. Pattern recognition and machine learning
• Conchon, Filliâtre. Apprendre à programmer avec OCaml (x4)
• 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)
• Kernighan et Ritchie – Le langage C – 2e éd (x4)
• Knuth. The art of computer programming vol 1, 2, 3, 4 (x2)
• Kurose et Ross. Computer Networking: A Top-Down Approach
• Love. Linux System Programming
• Minsky, Madhavapeddy. Real World OCaml
• Nielson & Nielson. Semantics With Applications: An Appetizer
• Okasaki. Purely Functional Data Structures
• Patterson et Hennessy. Computer Organization and Design RISC-V Edition: The hardware software interface
• Sedgewick, Wayne. Algorithms 4th edition
• Silberschatz Abraham , Gagne Greg , Galvin Peter B. Operating System Concepts
• Tanenbaum. Computer networks
• Warren. Hacker’s Delight

 

Livres non arrivés

• Aho, Hopcroft, Ullman. Structures de données et algorithmes
• Nancy Lynch. Distributed Algorithms
• Murphy. Machine Learning: A Probabilistic Perspective
  (mais disponible dans la malle de Paris)
• Bryant et O’Hallaron. Computer Systems – A Programmer’s Perspective
  (mais disponible dans la malle de l’ENS Rennes)