Utilisateur:Lyondif02/Articles et ébauches
Un article de Wikipédia, l'encyclopédie libre.
[modifier] Préambule
Les articles créés ou principalement modifiés ne sont pas repris ici. Voir pour cela la liste des contributions (lien dans la colonne de gauche). Mon activité sur Wikipédia est majoritairement caractéristique de celle d’un WikiGnome.
[modifier] Articles
Cette liste est réduite :
- Calcul des relations sur le portail de logique : Le lien actuel redirige vers l'article calcul des prédicats, par ailleurs, bien fait.
- À l’occasion, développer un article propre au calcul des relations.
- Théorie des ensembles de Zermelo–Fraenkel, évoqué ici en page de discussion du portail de logique par rapport à ZFC et à Théorie axiomatique des ensembles.
- Théorie des ensembles de Morse–Kelley, plus forte que la théorie NBG.
- Tentative possible à partir des articles anglophones associés.
- Voir notamment l'article Issues in commonsense set theory de Mujdat Pakkan et Varol Akman (19/06/1998) pour une présentation globale des théories des ensembles d'un point de vue IA — intelligence artificielle (fichier PostScript).
- Paradoxe de Cantor : pas d’article à ce jour (12/04/2007).
- Développer par exemple à partir de l’article anglais associé.
- Voir aussi l’entrée dans Wolfram.
- Base de données semi-structurée : section "vide" à ce jour (10/04/2007).
- Développer, à l’occasion, à partir des travaux des équipes du labo'.
- Voir entre autre : le projet SmartTools, la solution de gestion de contenu de Magnitude.
- Projet WSDAI.NET : Voir aussi le site du projet.
- Rôle et négociation : Notes "à voix haute".
