Table des matières
4 relations: Algorithme de Davis-Putnam, Déterminants et articles en français, Disjonctivisme, Histoire des notations mathématiques.
Algorithme de Davis-Putnam
En calcul propositionnel, l'algorithme de Davis-Putnam est une méthode de détermination de la satisfiabilité d'une formule en forme normale conjonctive, c'est-à-dire une conjonction de clauses (disjonctions de littéraux).
Voir Disjonction et Algorithme de Davis-Putnam
Déterminants et articles en français
En grammaire, un déterminant est un mot-outil variable dont la fonction syntaxique est d'actualiser le nom en indiquant, le cas échéant, un certain nombre de précisions concernant celui-ci: genre, nombre, personne, etc.
Voir Disjonction et Déterminants et articles en français
Disjonctivisme
Le disjonctivisme est une théorie de la philosophie de la perception.
Voir Disjonction et Disjonctivisme
Histoire des notations mathématiques
Lhistoire des notations mathématiques décrit les débuts, les progrès et la diffusion culturelle des symboles mathématiques et les conflits entre méthodes de notation qui ont mené à leur généralisation ou leur marginalisation.

