Réussir sa 4IR SI Starter Pack™

Les bases à avoir avant d'arriver en cours :

• Des bases en C et en assembleur (x86) seront nécessaires pour les cours de sécu et de microcontrôleurs
• Un peu d'élec pour les microcontrôleurs (diodes, résistances de pull up/down, rappels du BE CHTI ...)

Les liens ressources

• Cyber-Aide

Conseils plus pratiques

Général :

Semestre 1

OCaml (programmation fonctionnelle) :

Examen

• Attention au temps, ne vous laissez pas avoir
• Conseil :  vérifier que vous pouvez utiliser les fonctions de la lib standarde, faites-vous une fiche dessus, apprenez à l'utiliser et UTILISEZ-LA, c'est plus rapide de faire reverse(L) que de recoder la fonction reverse.

Installation sur Linux et Windows (WSL ou Windows natif)

Pour les personnes sous Linux ou Windows qui le veulent, vous pouvez installer OCaml (le language) et opam (le gestionnaire de packets) en vous basant sur ce tuto (extrait en dessous).

# Ubuntu
$ add-apt-repository ppa:avsm/ppa
$ apt update
$ apt install opam

# Archlinux
$ pacman -S opam

# Debian (stable, testing and unstable)
$ apt-get install opam

 

Il vous faudra ensuite installer utop et ocaml-top en tapant opam install <PacketName>

en 2022 ocaml-top nécessitait d'installer gtk2. Contacter M. Le Botlan si vous n'y arrivez pas il avait fait un fix pour certains étudiants.

Complexité :

Petite vidéo qui avec sa série de vidéos, résume très bien le cours :

Semestre 2

Modélisation Système concurrent :

https://www.youtube.com/watch?v=keO7Arv-vg4 

Web Sémantique :

Automates et Languages :

Devoirs maisons :

- LEX :

- YACC :

- Aide pour débugger du YACC (Bison) : https://www.gnu.org/software/bison/manual/html_node/Error-Reporting-Function.html
Ajouter ‘%define parse.error detailed’ au début du code (explication dans la doc ^)

Pour installer bison et lex il suffit de faire apt install (ou dnf/pacman en fonction de la distribution). On vous recommande vraiment d'utiliser un linux (sur votre pc, une machine virtuelle, montp etc)

- INSTALLATION de bison et de flex recommendée : easy, en plus, la version la plus récente de bison contient une option intéressante de débug :    -Wcounterexample

https://www.youtube.com/watch?v=aQJNffOlrio

- BON A SAVOIR : visiter https://www.gnu.org/software/bison/manual/bison.html#Precedence-Decl , chapitre 5.3.2 : precedence.

Le sujet du projet sur moodle (qui fait suite aux DMs) comprend de la doc simplifiée pour ceux que ça effraye ^^

Pour la partie Quantique :