Difference between revisions of "Études-Mathématique"

From Lazi wiki
Jump to: navigation, search
(Pré - Lazi1)
 
(Jusqu'aux preuves de validité d'extensions)
 
(5 intermediate revisions by the same user not shown)
Line 50: Line 50:
 
|-
 
|-
 
| [[/unionT et fonction de mapping]]  || 2017/10/24 || oui || oui
 
| [[/unionT et fonction de mapping]]  || 2017/10/24 || oui || oui
 +
|-
 +
| [[/Supprimer 0b et 1b]]  || 2018/01/20 || oui || oui
 
|}
 
|}
  
Line 67: Line 69:
 
|-
 
|-
 
| [[/La traduction]]  || 2017/10/09 || non || oui
 
| [[/La traduction]]  || 2017/10/09 || non || oui
 +
|-
 +
| [[/La vérification des types]]  || 2018/01/20 || non || oui
 +
|-
 +
| [[/Extension compute]]  || 2018/01/13 || non || oui
 +
|-
 +
| [[/crtruth dans les conditions des règles simples]]  || 2018/01/20 || non || oui
 
|}
 
|}

Latest revision as of 14:37, 20 January 2018

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 2018/01/13 non oui
/crtruth dans les conditions des règles simples 2018/01/20 non oui