Méthodes de Logique


Articles publiés dans cette rubrique

mardi 18 mai 2010
par  Joseph Vidal-Rosset

Calcul des énoncés - 1 - Méthode des tables de vérité

La méthode des tables de vérité est une méthode élémentaire pour tester la validité d'une formule du calcul propositionnel. On dit que c'est une méthode sémantique parce qu'elle est fondée sur l'interprétation des formules élémentaires sur lesquelles on distribue les deux valeurs que sont le (...)

vendredi 10 février 2012
par  Joseph Vidal-Rosset

Logique intuitionniste - Méthodes de décision

La méthode des artbres de Beth adaptée à la logique propositionnelle intuitionniste

vendredi 10 février 2012
par  Joseph Vidal-Rosset

Logiciels pour l’automatisation des preuves en logique intuitionniste

On donne dans cet article quelques liens qui permettent de se procurer des logiciels qui prouvent ou réfutent automatiquement la validité intuitionniste des formules du calcul propositionnel.

samedi 11 février 2012
par  Joseph Vidal-Rosset

Séminaire de François Lepage

Les pièces jointes à cet articles sont des documents utilisés par François Lepage lors de son séminaire à l’Université de Lorraine.

Agenda

<<

2011

>>

<<

Décembre

>>

Aujourd'hui

LuMaMeJeVeSaDi
2829301234
567891011
12131415161718
19202122232425
2627282930311
Aucun évènement à venir les 6 prochains mois