Projet:Logique/Évaluation/Historique
< Projet:Logique | Évaluation
Cette page est mise à jour régulièrement par un bot.
Son contenu est donc peu susceptible d'avoir besoin d'édition manuelle. Veuillez ne pas tenter de la modifier à moins d'être certain de bien comprendre sa conception. En cas de doute, merci de contacter le propriétaire du bot.
Si vous souhaitez suivre les modifications récentes de cette page, vérifiez que l'option « Masquer les modifications faites par les bots dans la liste de suivi » ne soit pas activée dans vos paramètres de suivi.
| Logique | Évaluation _70.svg){kind=icon} | |
| ← index | ↑(haut) | statistiques → |
12 août 2024
modifier| ajout | Quantification existentielle | Slzbg | À évaluer | Ébauche | |||
| ajout | Boris Trakhtenbrot | Slzbg | À évaluer | Bon début | |||
6 août 2024
modifier| modif. | Liste d'œuvres de Bertrand Russell | Lebrouillard | 06/08/24 | À évaluer | Bon début | Faible | Bon début |
5 août 2024
modifier| ajout | Liste d'œuvres de Bertrand Russell | À évaluer | Bon début | ||||
| ajout | Théorie du cygne noir | VVLLAACC | À évaluer | Bon début | |||
4 août 2024
modifier| ajout | Martin Hyland | Slzbg | À évaluer | Bon début | |||
2 août 2024
modifier| ajout | Exemple | Judade | À évaluer | Ébauche | |||
1er août 2024
modifier| ajout | Induction structurelle | Slzbg | À évaluer | Bon début | |||
30 juillet 2024
modifier| ajout | Plurium interrogationum | Slzbg | À évaluer | Ébauche | |||
26 juillet 2024
modifier| ajout | Journal of Symbolic Logic | Slzbg | À évaluer | Ébauche | |||
8 juillet 2024
modifier| suppression | Tautologie | Lepticed7 | 25/12/17 | Élevée | Bon début | ||
| ajout | Tautologie (logique) | Lepticed7 | Élevée | Bon début | |||
4 juillet 2024
modifier| ajout | Théorème d'élimination des coupures | Slzbg | À évaluer | Bon début | |||
3 juillet 2024
modifier| ajout | Correction (logique) | Slzbg | À évaluer | Bon début | |||
27 juin 2024
modifier| suppression | Relation partie-tout | JuanManuel Ascari | 31/07/22 | À évaluer | Homonymie | ||
| suppression | Existence (mathématiques) | JuanManuel Ascari | 27/04/23 | À évaluer | Homonymie | ||
26 juin 2024
modifier| ajout | Vérité logique | Slzbg | À évaluer | Bon début | |||
| ajout | Vacuité | Slzbg | À évaluer | Ébauche | |||
24 juin 2024
modifier| ajout | Condition de vérité | Slzbg | À évaluer | Ébauche | |||
| ajout | Principe d'explosion | Slzbg | À évaluer | Bon début | |||
17 juin 2024
modifier| ajout | Interprétation (logique) | Slzbg | À évaluer | Bon début | |||
14 juin 2024
modifier| ajout | Énigme du dollar manquant | Slzbg | À évaluer | Bon début | |||
| ajout | Martin Davis | Slzbg | À évaluer | Bon début | |||
13 juin 2024
modifier| modif. | Amalgame sémantique | Pharma | 22/04/23 | À évaluer | Ébauche | Moyenne | Ébauche |
12 juin 2024
modifier| ajout | Carol Karp | Slzbg | À évaluer | Bon début | |||
| ajout | Problème de la couverture irredondante | Slzbg | À évaluer | Ébauche | |||
9 juin 2024
modifier| ajout | Évaluation partielle | Slzbg | À évaluer | Ébauche | |||
7 mai 2024
modifier| ajout | Esprit critique | JuanManuel Ascari | Maximum | B | |||
| modif. | Biais cognitif | JuanManuel Ascari | 01/12/21 | À évaluer | Bon début | Élevée | B |
| ajout | Système binaire | JuanManuel Ascari | Élevée | B | |||
2 mai 2024
modifier| modif. | Cercle de Vienne | JuanManuel Ascari | 23/04/23 | À évaluer | Bon début | Élevée | Bon début |
27 avril 2024
modifier| ajout | Robert Galbraith (logicien) | Slzbg | À évaluer | Bon début | |||
25 avril 2024
modifier| ajout | Négation (linguistique) | JuanManuel Ascari | À évaluer |  AdQ
| |||
22 avril 2024
modifier| ajout | Alex Wilkie | Slzbg | À évaluer | Bon début | |||
20 avril 2024
modifier| ajout | Preuve scientifique | JuanManuel Ascari | Moyenne | Bon début | |||
15 avril 2024
modifier| ajout | HighLife (automate cellulaire) | Slzbg | À évaluer | Bon début | |||
12 avril 2024
modifier| ajout | Satisfaisabilité | Slzbg | À évaluer | Ébauche | |||
10 avril 2024
modifier| ajout | Deux vérités (bouddhisme) | Slzbg | À évaluer | Bon début | |||
4 avril 2024
modifier| modif. | Problème du critère | Slzbg | 03/04/24 | À évaluer | À évaluer | À évaluer | Ébauche |