Le wiki de WIMS EDU

L'association WIMS EDU a ouvert ce wiki afin de favoriser les collaborations entre utilisateurs de WIMS.

Outils pour utilisateurs

Outils du site


ressources:exercices:logic:u1_logic_typer_fr

Typer


Description par l'auteur

Description : nature fonctionnelle, typage, variable libre-liée.

Niveau : U1

Mots-clés : Typer Méthodologie

Domaine : algebra - Langue : fr

Catégorie : exercise

Auteur(s) : Fabrice Guerimand - Contact : Fabrice.Guerimand@unice.fr

Adresse : module=U1/logic/typer.fr

Version : 1.00 - Copyright 2003 Fabrice Guerimand

This work is licensed under the GNU GPL: http://www.gnu.org/licences/gpl.html

Vous pourriez laisser un commentaire si vous étiez connecté.
ressources/exercices/logic/u1_logic_typer_fr.txt · Dernière modification : 08/08/2022 05:00 de 127.0.0.1