-
1 коллизионная норма
disposition de conflit, règle de la compétence législative, règle de conflit (de loi), règle formelle, règle indirecte
См. также в других словарях:
Regle d'inference — Règle d inférence Dans un système logique, les règles d inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L application des règles sur les axiomes du système permet d en démontrer les théorèmes.… … Wikipédia en Français
Regle de contrariete des couleurs — Règle de contrariété des couleurs En héraldique, la répartition des couleurs en trois groupes n est pas formelle, mais correspond bien au souci « technique » de lisibilité, exprimé par la règle dite « de contrariété des… … Wikipédia en Français
Règle d'inférence — Dans un système logique, les règles d inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L application des règles sur les axiomes du système permet d en démontrer les théorèmes. Sommaire 1… … Wikipédia en Français
Règle de contrariété des couleurs — En héraldique, la répartition des couleurs en trois groupes n est pas formelle, mais correspond bien au souci « technique » de lisibilité, exprimé par la règle dite « de contrariété des couleurs », qui s exprime ainsi :… … Wikipédia en Français
Règle de résolution — La règle de résolution ou principe de résolution de Robinson est une règle d inférence logique que l on peut voir comme une généralisation du modus ponens. Cette règle est principalement utilisée dans les systèmes de preuve automatiques, elle est … Wikipédia en Français
Règle grammaticale — Grammaire La grammaire[1] est l étude systématique des éléments constitutifs d une langue[2]. Par extension, on nomme aussi grammaire un manuel ou un ensemble de documents décrivant des règles grammaticales. Sommaire 1 Grammaire descriptive … Wikipédia en Français
Grammaire Formelle — Une grammaire est un formalisme permettant de définir une syntaxe et donc un langage formel, c est à dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en programmation… … Wikipédia en Français
Grammaire formelle — Une grammaire est un formalisme permettant de définir une syntaxe et donc un langage formel, c est à dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en programmation… … Wikipédia en Français
Serie formelle — Série formelle En mathématiques, les séries formelles sont un outil qui permet d utiliser l arsenal analytique des séries entières sans tenir compte de la notion de convergence. Pour cela on construit une série, non pas comme une fonction à l… … Wikipédia en Français
Série formelle — En mathématiques, les séries formelles sont un outil qui permet d utiliser l arsenal analytique des séries entières sans tenir compte de la notion de convergence. Pour cela on construit une série, non pas comme une fonction à l aide d une… … Wikipédia en Français
Coherence des axiomes de l'arithmetique formelle — Cohérence des axiomes de l arithmétique formelle Cette page expose des axiomes pour l arithmétique formelle et une preuve naturelle, connue des logiciens, de la cohérence de ces axiomes. Les axiomes de l arithmétique formelle L’arithmétique… … Wikipédia en Français