1ère année de TPS

Algorithmique et Programmation C

• Slides du Cours 1
• Instructions pour commencer les TP
• documentation de la kirby
• Installation de WSL2 sur Windows
• Aide-mémoire git
• Base de connaissance
• documentation graphique

Exercices supplémentaires

• https://gop.bramas.fr
• https://www.nandgame.com/
• http://www.france-ioi.org/

TP1 pour ceux qui n'ont pas encore de compte unistra

• TP1/bonjour-le-monde
• TP1/correction
• TP1/cylindres
• TP1/lorem
• TP1/molkky
• TP1/kirby-find-banana
• TP1/dessin-maison
• TP1/tri-fruits
• TP1/kirby-replace
• TP1/etalement
• TP1/kirby-maze
• TP1/tonneaux
• TP1/labyrinthe

Autres astuces pour les TPs

Re-télécharger le programme prepare.py:

wget -O prepare.py https://git.unistra.fr/snippets/132/raw

Sur les linux de l'école

echo 'code() { /usr/bin/flatpak run --branch=stable --arch=x86_64 --command=com.vscodium.codium com.vscodium.codium "$@"; }' >> ~/.bashrc && source ~/.bashrc

Sur Mac

il est fortement conseillé d'installer docker et brew ensuite vous pouvez ajouter un alias à votre terminal: :

echo "alias run-in-ubuntu='docker run --rm --privileged -v \"\$PWD\":/usr/src -w /usr/src -i -t bramas/tps-c bash'" >> ~/.zshrc
source ~/.zshrc

Ensuite quand on veut lancer un terminal linux on écrit cela dans le terminal mac:

run-in-ubuntu

Logique et Programmation Logique

https://moodle.unistra.fr/course/view.php?id=5892

Coq en ligne

https://jscoq.github.io/scratchpad.html

Installation de Coq

• sur windows : https://github.com/coq/coq/wiki/Installation%20of%20Coq%20on%20Windows
• sur mac : https://github.com/coq/coq/wiki/Installation%20of%20Coq%20on%20Mac

Sur linux

installation des librairies nécessaire

sudo apt update
sudo apt install -y m4 unzip bubblewrap libcairo2-dev libexpat1-dev libgtk-3-dev libgtksourceview-3.0-dev

installation d'opam

curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh > install.sh
sudo sh install.sh

Initialisation (répondre oui "y" à tout en cas de doute) (prends quelques minutes)

opam init

Ajout du repo Coq

opam repo add coq-released https://coq.inria.fr/opam/released

Installation de Coq (prends quelques minutes)

opam install coq

Installation de CoqIDe (prends quelques minutes)

opam install coqide

mettre a jour opam

eval $(opam env)

exécuter coqide

coqide

2ère année de TPS, SDIA

Théorie des jeux

Moodle => https://moodle.unistra.fr/course/view.php?id=5891

Cours Algorithmique distribuée

Vidéos Youtube : https://www.youtube.com/watch?v=gja5IlFtpuQ&list=PLFu-en1ZR-sVQMrqqF8V3dN1c81C-Ew