Utilisateur:Eusebius/travail
Cette page est un brouillon appartenant à Eusebius
Conseils de rédaction
- → N'hésitez pas à publier sur le brouillon un texte inachevé et à le modifier autant que vous le souhaitez.
- → Pour enregistrer vos modifications au brouillon, il est nécessaire de cliquer sur le bouton bleu : « Publier les modifications ». Il n'y a pas d'enregistrement automatique.
Si votre but est de publier un nouvel article, votre brouillon doit respecter les points suivants :
- Respectez le droit d'auteur en créant un texte spécialement pour Wikipédia en français (pas de copier-coller venu d'ailleurs).
- Indiquez les éléments démontrant la notoriété du sujet (aide).
- Liez chaque fait présenté à une source de qualité (quelles sources – comment les insérer).
- Utilisez un ton neutre, qui ne soit ni orienté ni publicitaire (aide).
- Veillez également à structurer votre article, de manière à ce qu'il soit conforme aux autres pages de l'encyclopédie (structurer – mettre en page).
- → Si ces points sont respectés, pour transformer votre brouillon en article, utilisez le bouton « publier le brouillon » en haut à droite. Votre brouillon sera alors transféré dans l'espace encyclopédique.
Bac à sable perso
modifierBookmarks
modifier- Théorème de Löb
- Paradigme (programmation)
- Logique défaisable
- Logique déontique
- Sémantique de Kripke
- SLD-résolution
- Formule de Sahlqvist
- Négation par l'échec
- Instanciation universelle
- Règle d'inférence
- Logique propositionnelle
- Logique modale
- Prolog
- Programmation par contraintes
- Trusted Computing Group
- Trusted Platform Module
- Laboratoire d'informatique de Grenoble
- Grenoble Universités
- Lénaïc (chanteur)
- Maîtrise de la Perverie
Liens utiles
modifier- Questions techniques
- Utilisateurs prêts à aider
- Projet Traduction
- Conventions bibliographiques
- Notes
- Aide:Référence
- Catégorie:Modèle de maintenance
- Wikipédia:POP
- Wikipédia:Critères d'admissibilité des articles
- Wikipédia:Requête aux administrateurs
- Wikipédia:Vandalisme en cours
- Wikipédia:Legifer/avril_2009#Photo_de_mus.C3.A9e.2C_restrictions_.C3.A0_la_publication_.26_Co
![]() |
|
Note to self
modifier- Requête bot : bandeau du portail info sur toutes les pages de Catégorie:Personnalité liée au secteur de l'informatique
- Boîte biographie sur les personnalités en informatique
- Modèle {{dynastie}} pour les lauréats du prix Turing ?
Pages à améliorer ou tenir à jour
modifier- logique défaisable
- logique modale
- logique déontique
- logique floue (Mamdani, Takagi-Sugeno, systèmes d'inférence floue)
- Prolog
- Analyse syntaxique
- Developpez.com
- Intelligence artificielle distribuée
- Imperial College
- Jevons à traduire de l'anglais
- LIG
- Perceptron
- Problème des généraux byzantins
- Trusted Platform Module
- Maîtrise de la Perverie
- Relation binaire (propriétés liées à la logique modale)
Pages à créer
modifier- logique non monotone en
- logique paraconsistante en
- logique doxastique en
- logique par défaut en
- Logique PDL en
- raisonnement défaisable en
- Jason (logiciel)
- JACK
- ContractNet
- système normatif
- Trusted Computing Platform
- San José Pinula
- Henrik Sahlqvist
- Logique BAN en
- circonscription (logique) en
- Answer set programming en
- Sémantique des modèles stables en
- Catégorie:Règles d'inférence en
- Schéma axiomatique en
Contacts
modifierPages de brouillon
modifier<references>