Teaching

1ère année de TPS

Algorithmique et Programmation C

• Slides du Cours 1
• Instructions pour commencer les TP
• documentation de la librairie TPS
• Installation de WSL2 sur Windows
• Aide-mémoire git

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

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 Mac vous pouvez installer docker et ajouter cette ligne à la fin du fichier ~/.bashrc :

alias run-in-ubuntu='docker run --rm --privileged -v "$PWD":/usr/src -w /usr/src -i -t bramas/tps-c bash'

puis fermer et réouvrir le terminal. Ensuite quand on veut lancer un terminal linux on écrit cela dans le terminal mac:

run-in-ubuntu

Ouvrir un fichier quelconque depuis le terminal, faite xdg-open LE_FICHIER. Vous pouvez renommer cette commande en open en modifiant le fichier ~/.bashrc

code ~/.bashrc

en ajoutant à la fin

alias open="xdg-open"

Logique et Programmation Logique

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

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