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_tradform_fr

Traduire/Formaliser


Description par l'auteur

Description : traduire et formaliser.

Niveau : U1

Mots-clés : logic quantifier methodology math_symbols

Domaine : algebra analysis geometry - Langue : fr

Catégorie : exercise

Auteur(s) : Fabrice,Guerimand - Contact : fwguerima@free.fr

Adresse : module=U1/logic/tradform.fr

Version : 1.07 - Copyright 2004 2019 2022 2023 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_tradform_fr.txt · Dernière modification : 25/06/2025 03:00 (modification externe)