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
Lien moodle https://moodle.unistra.fr/course/view.php?id=11027
Exercices supplémentaires
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