Ce projet, existant depuis 2006, a pour objectif de permettre aux différents contributeurs la mise en commun de leurs efforts et de discuter ensemble des questions relatives à la logique et au portail sur la logique.
Depuis 2011, ses participants se retrouvent principalement sur le Projet:Mathématiques et son lieu général de discussion qu'est le Thé.Pour participer au projet vous pouvez...
Les articles à compléter :
Les articles manquants :
Vous pouvez aussi consulter la liste des demandes d'articles.Recensement des modèles de logique :
Importance | |||||||
---|---|---|---|---|---|---|---|
Avancement | Maximum | Élevée | Moyenne | Faible | À évaluer | Total | |
AdQ | 2 | 1 | 1 | 4 | |||
BA | 1 | 1 | 1 | 3 | |||
A | 2 | 2 | |||||
B | 9 | 7 | 2 | 1 | 11 | 30 | |
Bon début | 12 | 15 | 18 | 10 | 85 | 140 | |
Ébauche | 13 | 10 | 24 | 23 | 97 | 167 | |
À évaluer | 0 | ||||||
Total | 35 | 34 | 48 | 35 | 194 | 152(?) | |
Dernière mise à jour : 11 août 2024. |
Nom | Spécialité ou compétence |
---|---|
Pierre de Lyon | Logique mathématique orientée théorie de la démonstration, théorie des types et lambda-calcul. Je m'intéresse aussi à l'histoire |
Léna | Les Lois de De Morgan (ma première contribution !) mais sinon, lambda-calcul, calcul des prédicats, validation formelle et intérêt pour le reste |
Lepticed7 | Logique du premier ordre, logique de description. |
JeanCASPAR | Théorie des types, théorie des catégories, sémantique. |
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search