Teaching

1ère année de TPS

Lien zoom reçu par email.

Algorithmique et Programmation C

premier cours mardi 15, 8h30

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/ubuntu-gdb 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

Corrigés TP notés

TP noté 1:

Logique et Programmation Logique

premier cours mercredi 16, 10h30, sur zoom

https://moodle3.unistra.fr/course/view.php?id=14235

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://moodle3.unistra.fr/course/view.php?id=14237

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