logique du premier ordre
Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes.
... Le premier cas sont les lan- gages construits autour des machines `a ´etats abstraits ou finis tel le langage B, utilis´e dans l’outil BZTT, ou le langage AsmL employ´e par SpecExplorer et l’AsmL Test ...
216
Premiers pas vers une résolution du problème de satisfaisabilité pour la logique monadique du premier ordre par une reformulation en logique des connaissances subjective mono-agent
... en logique monadique du premier ordre. Cette logique constitue un fragment décidable de la logique du premier ordre, et il est bien connu que le problème de sa- ...
11
Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes
... Le premier cas sont les lan- gages construits autour des machines `a ´etats abstraits ou finis tel le langage B, utilis´e dans l’outil BZTT, ou le langage AsmL employ´e par SpecExplorer et l’AsmL Test ...
216
Logique juridique et logique probabiliste à l'époque moderne
... dignité logique grâce à l’objectivité que lui procure le calcul ...la logique déontique et les propositions d'éthique analytique montrant que la logique des normes est insuffisante en tant qu'elle ...
248
Logique de projet et logique de profit : compatibilités et incompatibilités
... 3.1. Une préséance politique Dans la détermination de leur devenir, donc par les choix qu'ils opèrent, la société, l'entreprise, les collectifs au sens large mettent en jeu du normatif et donc de l'éthique , comme a su ...
27
Réseaux de preuves pour la logique linéaire additive du premier ordre
... premier ordre R´ esum´ e : Nous pr´ esentons des r´ eseaux de preuve canoniques pour la logique lin´ eaire additive du premier ordre, le fragment de la logique lin´ eaire avec ...
28
Les frontières, entre logique territoriale et logique personnelle
... Car la frontière est également un symbole et peut à ce titre épouser des manifestations différentes de la ligne pour prendre d’autres formes politiques, philosophiques, sociologiques, religieuses et même juridiques et, ...
17
Ordre moral, ordre local : le soupçon comme réponse à la vulnérabilité sociale
... la logique du soupçon et les principes de justice que se donnent les acteurs qui, placés en position de juge, accomplissent techniquement, bon gré mal gré, l’ordre moral compassionnel et punitif sur lequel repose ...
14
Ordre ou désordre
... par Jules Ferry ; sa forte personnalité lui a valu de collectionner les ennemis ; mais tout n'est pas que rancunes personnelles d'hommes écartés du pouvoir, qu'éloquence brutale, incisive d'un député fort assidu aux ...
964
Ordre de Croissance des Solutions des Equations Différentielles Linéaires du Second Ordre
... Soit f une fonction méromorphe non constante. Pour tout nombre complexe a, on désigne par n (t; a; f ) le nombre de racines de l’équation f (z) = a situées dans le disque jzj t, chaque racine étant comptée un nombre de ...
34
Ordre sacré et ordre politique chez les Touaregs de l'Aïr
... , littéralement la “visite”, le “séjour”, appelé encore, selon deux termes empruntés à l’arabe : tahajara s’il s’agit de la retraite de quarante jours et ebarek pour une visite brève de quelques jours. Individuels ou ...
21
Evaporation d'une goutte de liquide pur dans sa vapeur près du point critique : pertinence de l'hypothèse quasi-stationnaire et corrections au premier ordre
... Une analogie peut eˆ tre envisag´ee n´eglig´e dans les e´ quations 2 et 3 et o`u %P3 entre cette couche limite et le saut en densit´e a` l’interface liquide-vapeur dans les cas nettement[r] ...
6
Logique du fonctionnement et logique de l'utilisation
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
56
Logique Déontique et Logique des Normes
... 2.7. Analyse formelle Par ailleurs, mis à part cette interprétation sémantique, qui se rapproche plus de celle d’une théorie du premier ordre, examinons de plus près les conditions dans lesquelles les ...
22
Ordre moral, ordre local : le soupçon comme réponse à la vulnérabilité sociale
... d’un ordre local, situationnel, auxquelles les définitions produites de la cible du FUS doivent être ...Le premier de ces registres est celui de la relation au deman- ...
10
Quelle logique pour quelle rationalité ? Représentations et usages de la logique en sciences sociales.
... Or selon Evans-Pritchard, les primitifs sont dotés de capacités mentales identiques à celles des occidentaux. A ses yeux, les primitifs sont donc en particulier aptes à effectuer des inférences correctes, et donc à ...
21
Ordre de grandeur et système
... Les temporalités de la systémogénèse, de l’événement, sont généralement, on l’ a vu, d’un ordre de grandeur plus faible que celles du fonctionnement des systèmes formés, ou de la mise en place de leurs éléments. ...
21
La logique déontique : une application de la logique à l'éthique et au discours juridique
... la logique d´ eon- tique telle que connue aujourd’hui apparaˆıt pour la premi` ere fois dans les travaux de von Wright (1951) et peut ˆ etre vue comme ´ etant le fruit de l’´ emergence de la m´ e- thode ...
123
L’accueil dans l’administration publique : de la logique de service à la logique de performance
... La réalisation de la performance passe nécessairement par la conception et la mise en place d’une approche qualité au niveau de l’entité chargée de l’accueil, et ce en con[r] ...
3
article (C-1-c) Logique financière vs logique productive
... la logique financière, même si il y a beaucoup à lui reprocher: biens "communs" à sortir de l'échange marchand, propriété des moyens de production, redistribution de la richesse produite, opportunité ...
14