Présentation

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

Pour participer au projet vous pouvez...

  • traduire un article manquant à partir d´un Wikipédia en langue étrangère ;
  • compléter ou corriger les articles existants, leur ajouter le modèle {{Portail|logique}} ;
  • rédiger vous-même un article inédit.

Les articles à compléter :

Les articles manquants :

Vous pouvez aussi consulter la liste des demandes d'articles.

Modèles

Recensement des modèles de logique :

Évaluation

Sur les 944 articles du Portail:Logique, 590 n'ont pas encore le modèle {{Wikiprojet|Logique|?}} en page de discussion.
██████████37,5 % d'évaluation / Portail:Logique
Pour voir l'écart, utiliser un de ces outils
Logique
Importance
Avancement Maximum Élevée Moyenne Faible À évaluer Total
AdQ AdQ 2 1 1 4
BA BA 1 1 1 3
A 2 2
B 9 7 2 1 12 31
Bon début 12 15 18 11 88 144
Ébauche 13 10 24 23 100 170
À évaluer 0
Total 35 34 48 36 201 153(?)
Dernière mise à jour : 13 décembre 2024.

Annonces

Participants

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.