Université Paris Diderot - Licence 3 Année 2014–2015
Texte intégral
Documents relatifs
[r]
On suppose que les ions peuvent échanger de l’énergie entre eux et que le système peut ainsi évoluer vers un état d’équilibre thermodynamique que l’on représente par une loi
[r]
Exercice 2 [Unification] Pour les problèmes d’unification suivants donner un unificateur prin- cipal s’il existe, ou indiquer qu’il n’y en a pas.. u, x, y, z sont des variables,
Pour chacun des ensemble de formules T suivants, complétez I de deux façons différentes afin qu’elle soit un modèle de
Dans le terminal, allez voir avec la commande ls -l si dans le répertoire IP1-Python/TP1/ il y a bien les fichiers poeme.txt et chanson.text.. Dans le terminal, dans le
La combinaison de touches C-a (c’est-à-dire obtenu en appuyant sur la touche ctrl et la touche a) permet de se rendre au début de la ligne.. La combinaison de touches C-e
Montrer qu’il existe un élément de G d’ordre 2 ; indication : on pourra regrouper chaque élément avec son inverse. Exercice 12 : nombres