Teaching

1ère année de TPS

Algorithmique et Programmation C

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

Premier TP:

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 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

Classe virtuelle mercredi 16, 8h30: Lien reçu par email (sinon il faut me demander par email) et aussi disponible sur le moodle