Les cours

Les documents suivants sont des résumés de cours de licence et maîtrise d'informatique de Jussieu Paris 7. La note donnée essaie de prendre en compte à la fois la forme (présentation et organisation) et le fond (cours entièrement ou partiellement traité, compléments, références, illustrations...).

Base de données

Réalisé par Serge Gregorief le prof.
Couvre tout le cours (copie conforme de ce qu'il écrit au tableau). Mise en forme inexistante. Quasiment aucune explication.

475 ko
1182 ko


Linguistique

Réalisé par le prof. En deux parties.
Couvre tout le cours. Bien présenté. Beaucoup d'exemples.

Partie sur les probabilités
260 ko
Partie sur les chaînes de Markov
231 ko
221 ko

Système

Réalisé par Bernard Mangeol, Isabelle Chrisment, Jean François Mari et Denis Roegel enseignant à NANCY II.
Couvre une bonne partie du cours de Yunes. Bien présenté.

594 ko

Programmation fonctionnelle et logique

Réalisé par deux élèves (dont moi).
La partie sur Prolog (que j'ai faite) reprend tout ce qui a été vu en réorganisant le cours et en l'approfondissant (et corrigeant quelques erreurs insidieuses). Très bien présenté. Quelques exemples bien sentis.
La partie Scheme (avec laquelle je n'ai rien à voir) semble (je n'ai pas vérifié) complète. Des exemples à foison. Mise en forme inexistante.

Prolog
798 ko
Scheme
224 ko



Génie logiciel

Réalisé par moi-même.
Couvre deux parties sur trois, à savoir quelques notions de logique et présentation de la notation Z. La partie sur les ASM n'est donc pas abordée.
Les parties traitées sont très complètes (avec quelques compléments par rapport au cours). Très bien présenté.

1056 ko


 

Les langages de programmation

Il s'agit de langage de programmation non directement abordés en cours.
Les notes indiquent d'une part si le document aborde tous les aspects du langage et d'autre part s'il est utilisable en pratique. Elles sont toutes élevées car ce sont tous des documents précieux pour travailler.

ANSI C

Réalisé par Bernard Cassagne.
Présentation très complète de l'ANSI C et de ses principales librairies.
Deux petits points noirs cependant : la version pdf (mais pas la version HTML) est difficilement exploitable et le document ne traite QUE de la version ANSI du C donc adieu fork().

873 ko
458 ko
en ligne

C++

Réalisé par Chritian Cateyde.
Documentation extrêmement complète sur le C++ (peu de livres dans le commerce sont aussi complets).
On peut pinailler en signalant que certains points auraient pu être présentés plus précisément et que certaines explications implicites auraient pu être dites explicitement. Mais le document est excellent : c'est simple, j'aurais pas fait mieux :-)

373 ko
557 ko
en ligne

Un conseil jetez un coup œil sur la page perso de Christian Casteyde, vous y trouverez la dernière version de sa doc en de nombreux formats, ainsi que d'autres guides intéressants.


OCaml

Réalisé par Jason Hickey, membre de l'équipe Caml (je crois).
Présentation assez complète et simple, malheureusement certaines explications manquent parfois un peu de précision et de clarté.
Ocaml sort des laboratoires de l'Inria mais la doc est en anglais, internationalité oblige...

352 ko

Java

Pour Java deux doc se complètent mutuellement et sont intéressantes pour travailler.
L'API éditée par Sun est bien sûr indispensable pour connaître les différentes fonctions disponibles dans Java.
Le problème, c'est que si la question porte sur Java lui-même alors l'API ne vous sera d'aucune utilité. Tournez vous alors vers la documentation du site infini-fr. Malheureusement celle-ci n'est disponible qu'en ligne, pas très pratique... par contre elle est en français pour ceux qui auraient quelques difficultés avec la langue de Shakespear.

Puisque l'API Java est mise à jour tous les deux mois, je vous laisse aller la chercher ici (pour la version 1.4.1). Vous pouvez aussi la consulter en ligne ici.
La doc de infini-fr se trouve ici. Vous trouverez également d'autres doc intéressantes sur ce site.





Script shell

Réalisé par Mendel Cooper.
Ce très gros (plus de 350 pages) guide présente en détail l'art (délicat) des scripts shell. Pour faciliter sa compréhension, il est illustré par de nombreux exemples.

J'ai mis ici deux notes plutôt qu'une car ce guide ne convient pas à toutes les utilisations. Si vous souhaitez écrire un script de 5 lignes sans chercher à savoir comment ça marche, je vous déconseille cette documentation dans laquelle on se perd assez facilement.
Par contre, si votre but est de comprendre en détail ce langage parfois facétieux, ce guide est fait pour vous. Il est même accessible aux débutants (mais dans ce cas, méfiez vous quand même car le niveau monte assez vite)

La version online (et donc la plus récente) se trouve ici. Sur cette même page, vous pouvez télécharger la version SGML et HTML. Cependant, comme ces formats ne sont pas forcément les plus pratiques, je vous offre en plus, dans ma grande bonté, la version 2.7 en PDF.

1128 ko

Et en exclusivité, pour accompagner cette doc, voici un petit script de ma composition. Il est un peu commenté (sans excès toutefois) et sert à rechercher tous les fichiers contenant une certaine chaîne de caractère en mettant en forme le résultat (avec couleurs et tout ça...). J'en suis assez content (je l'utilise très souvent) même si je pense qu'il est possible de l'optimiser pour accélérer la recherche (mais comme je n'ai pas que ça à foutre, ça ira bien comme ça!!!).
Vous trouverez ici une page qui explique tout pour pouvoir l'utiliser.

6 ko



 

Les systèmes d'exploitation


N'ayant jamais cherché de doc sur les systèmes d'exploitation, je me contente de mettre ici la doc de Christian Casteyde sur Linux. Il n'y a pas de note car je ne l'ai jamais lue mais ça ne m'étonnerai pas qu'elle soit de qualité.

843 ko
en ligne

D'autres doc arriveront peut être plus tard.

 

Divers

Les protocomes zero-knowledge ou à divulgation nulle

Sujet de mon TER (Travail d'Etude et de Recherche), les protocoles ZK sont des protocoles cryptographiques permettant de prouver la connaissance d'un secret sans divulguer celui-ci.
Mon travail a consisté à faire une synthèse assez complète (mais malgré tout très loin d'être exhaustive) de ce qu'on peut trouver sur ce sujet. Le compte rendu (sous format pdf) est une description assez progressive (de l'intuitif vers des notions mathématiques plus rigoureuses). Il est accompagné d'une soutenance (sous forme ppt) non commentée qui ne devrait pas être très intéressante.

567 ko
231 ko
en ligne




Installation automatique de Windows 2000

Lors de mon stage chez TMS France, j'ai conçu un CD permettant d'installer Windows 2000 et d'autres logiciels automatiquement (sans intervention humaine).
Le compte rendu est un mode opératoire pour reconstruire ce CD. Celui-ci est accompagné de quelques outils dans un fichier zip. Malheureusement, tous les outils dont il est question dans le compte rendu ne sont pas disponibles en ligne car trop lourd.

1599 ko
en ligne
452 ko

La gestion de réseaux par politiques

Voici le rapport bibliographique par lequel mon stage de DEA a commencé.
Il est assez complet et permet d'éclaircir les points que j'ai trouvé obscurs dans les normes. Son gros défaut est qu'il se limite à une vision très "COPS" (Common Open Policy Service) de la gestion de réseaux par politique. Or il semble que cette vision doive être remplacée à moyen terme par une gestion organisée autour de NetConf un protocole développé au sein de l'IETF encore à l'état de draft.
Modifications du 05 sept 2004 : Amélioration de la partie concernant les architectures.

5745 ko

Et maintenant, voici le rapport final du stage. Il reprend en grande partie la bibliographie et dérit le travail que j'ai effectué. Je doute qu'il représente un quelconque intérêt autrement que pour TAI, le labo où j'ai fait mon stage.

19725 ko



La Voix sur IP avec qualité de service

Voici le rapport bibliographique du stage de DEA de Vincent Maury.

Pas de note ou de commentaire car je ne l'ai pas encore lu...

642 ko