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 | 9 | 74 | 128 | |
Ébauche | 13 | 10 | 23 | 23 | 91 | 160 | |
Homonymie | 2 | 2 | |||||
À évaluer | 0 | ||||||
Total | 35 | 34 | 47 | 34 | 179 | 150(?) | |
Dernière mise à jour : 30 mai 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. |
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search