Études-Mathématique

From Lazi wiki
Revision as of 13:24, 20 January 2018 by Emmanuel (talk | contribs) (Jusqu'aux preuves de validité d'extensions)
Jump to: navigation, search

Sujets

Pré - Lazi1

Sujet Date Résolu Utile
/Règles de déduction 2016/12/28 non oui
/Structure globale 2017/02/15 non oui
/Syntaxe mots 2017/02/18 oui non
/Mathématiques et compute 2017/02/21 oui oui
/Calcul sur valeur dupliquée et Lazi 2017/02/22 non oui
/Notations et noms courts 2017/03/09 oui oui
/Collision syntaxe des noms et XML 2017/03/16 non non
/Listes de base 2017/03/24 oui oui
/Notation paire ou uple ? 2017/03/25 oui oui
/Arguments listFold* 2017/04/12 oui oui
/Dictionnaire et accès aux entrées ajoutées 2017/05/03 oui oui
/Type des formules et paramètres 2017/05/13 oui oui
/Syntaxe et précédence 2017/05/18 oui oui
/Quels types racine de Lazi ? 2017/06/24 non oui
/Les types de nom 2017/06/25 non oui
/Expressivité de Lazi-0 2017/06/26 oui oui
/Application de la règle de la descente 2017/06/27 oui oui
/Règle d'induction 2017/06/27 oui oui
/Déduction proofT 2017/06/27 oui oui
/Référence à l'objet entier dans lui-même 2017/07/27 oui oui
/Modification d'une partie d'un conteneur 2017/08/27 oui oui
/unionT et fonction de mapping 2017/10/24 oui oui
/Supprimer 0b et 1b 2018/01/20 oui oui

Jusqu'aux preuves de validité d'extensions

/Extension par règle simple 2017/09/10 oui oui
/Extension pour simplifier l'application des règles simples 2017/09/10 oui oui
/Comment gérer les déductions modifiant M ? 2017/09/21 oui oui
/Extension pour les fonctions 2017/09/30 non oui
/Mathématiques extensibles 2017/09/30 oui oui
/La traduction 2017/10/09 non oui
/La vérification des types 2018/01/20 non oui
/Extension compute 13/01/2018 non oui