To see the other types of publications on this topic, follow the link: Système de déduction.
Journal articles on the topic 'Système de déduction'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 15 journal articles for your research on the topic 'Système de déduction.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
1
GERTZ, HANS. "DÉDUCTION ÉLÉMENTAIRE DU SYSTÈME OPTIQUE ÉQUIVALENT DU CRISTALLIN." Acta Ophthalmologica 2, no. 1-2 (2009): 137–51. http://dx.doi.org/10.1111/j.1755-3768.1924.tb00770.x.
Full text
2
Garcia, Françoise. "Étude et implémentation d'un système de déduction pour logique algorithmique." RAIRO - Theoretical Informatics and Applications 22, no. 1 (1988): 57–92. http://dx.doi.org/10.1051/ita/1988220100571.
Full text
3
Le Bas, Christian, and Caroline Mothe. "Les déterminants de l’utilisation du brevet bloquant : Une étude des entreprises françaises." Management international 14, no. 3 (2010): 29–46. http://dx.doi.org/10.7202/044291ar.
Full textAbstract:
A la fonction traditionnelle des brevets de protection des innovations s’ajoute aujourd’hui une dimension stratégique : celle de barrer la route de l’innovation aux concurrents. Nous cherchons à cerner les déterminants de l’utilisation du brevet bloquant, en utilisant la distinction entre stratégies offensives et défensives. Cette recherche, qui concilie déduction et induction, s’appuie sur la perception de responsables de la propriété intellectuelle et de conseils français. Les principaux déterminants de l’utilisation des brevets bloquants semblent être la taille de l’entreprise, l’intensité technologique du secteur d’activité, le type de système juridique national et la culture en matière de PI.
4
Fortin, Mario. "Une comparaison des taux d’imposition implicites des services du logement locatif et du logement occupé par son propriétaire." Articles 67, no. 1 (2009): 37–57. http://dx.doi.org/10.7202/602025ar.
Full textAbstract:
RÉSUMÉ En ne taxant pas le rendement implicite du capital investi dans un logement occupé par un propriétaire et en exonérant le gain en capital réalisé sur une résidence principale, le système fiscal subventionne implicitement les logements occupés par leur propriétaire. Par ailleurs, les locataires bénéficient ultimement des avantages fiscaux accordés au logement locatif et en particulier du taux d’imposition plus faible des gains en capital et de la déduction pour coût en capital supérieure à la dépréciation physique. Les simulations montrent que si le taux d’endettement du logement est faible, il est plus avantageux d’être propriétaire. L’avantage fiscal relatif de la propriété résidentielle s’accroît avec les taux réels d’intérêt mais diminue avec l’inflation. La popularité des logements en copropriété pourrait ainsi résulter de la baisse du taux d’inflation et de l’augmentation des taux réels d’intérêt observés depuis la fin de la grande récession.
5
Vidal-Rosset, Joseph. "Anselme et Descartes, Deux Arguments Logico-Théologiques." Revista de Filosofia Moderna e Contemporânea 8, no. 1 (2020): 217–32. http://dx.doi.org/10.26512/rfmc.v8i1.31015.
Full textAbstract:
Ce texte est une version profondément remaniée d’une conférence donnée sur ce sujet en février 2018 lors de la journée d’études à Nancy, dans le cadre des Archives Vuillemin, et en mai 2018, à l’Université de Brasilia. Contrairement à ce que j’ai affirmée dans ces conférences ainsi que dans une publication précédente, la formalisation de l’argument de Descartes (que je développe ici en déduction naturelle) montre que la logique minimale ne suffit pas à traduire l’argument de Descartes; la logique intuitionniste est requise pour que cet argument soit valide. Si la traduction de l’argument d’Anselme que je donne pour commencer contredit l’analyse et les conclusions de Vuillemin sur ce sujet, en revanche, l’interprétation que Vuillemin fait du système de Descartes comme philosophie intuitionniste est confirmée par la formalisation qui suit. Enfin, le pluralisme philosophique propre à l’esprit de la classification de Vuillemin est aussi éclairé par la conclusion de cet article.
6
Nicolas, Jacques. "Ally, un nouveau système d'apprentissage déductif." Intellectica. Revue de l'Association pour la Recherche Cognitive 2, no. 1 (1987): 48–69. http://dx.doi.org/10.3406/intel.1987.1801.
Full text
7
Rivenc, François. "Remarques à propos d'une récente Introduction à la logique." Dialogue 38, no. 2 (1999): 369–78. http://dx.doi.org/10.1017/s0012217300007265.
Full textAbstract:
Ce bel ouvrage, clair, aéré et spacieux, se caractérise à la fois par sa volonté de simplicité d'accàs (en particulier pour la première partie, oú l'accent est mis sur le côté opératoire de la logique), et son ambition (deuxiéme partie, plus théorique), puisqu'on y trouve notamment une démonstration de la complétude d'un certain système déductif S1 pour la logique classique des prédicats, ainsi qu'une version synoptique du théorème de Gödel (1931), selon lequel toute thèorie du premier ordre (consistante) complète axiomatisable est décidable, d'où il s'ensuit que l'arithmétique, c'est-à-dire l'ensemble des énoncés du premier ordre vrais dans N, n'est pas axiomatisable; ce qu'on exprime souvent en disant que tout système formel pour l'arithmétique est incomplet, au sens où il y a des énoncés vrais qui ne sont pas des théorèmes du système.
8
Hill, Claire Ortiz. "La Mannigfaltigkeitslehre de Husserl." Articles 36, no. 2 (2010): 447–65. http://dx.doi.org/10.7202/039480ar.
Full textAbstract:
Résumé Pour projeter de la lumière dans de nombreux coins et recoins obscurs de la logique pure de Husserl et dans les rapports entre sa logique formelle et sa logique transcendantale, et combler des lacunes empêchant qu’on arrive à une appréciation juste de sa Mannigfaltigkeitslehre, ou théorie de multiplicités, on examine comment, en prônant une théorie des systèmes déductifs, ou systèmes d’axiomes, comme tâche suprême de la logique pure, Husserl cherchait à résoudre certains problèmes épineux auxquels il s’était heurté en écrivant Philosophie de l’arithmétique. Ces problèmes sont décrits. Ensuite, on rassemble les éléments nécessaires pour caractériser ce que Husserl, à travers les textes présentement disponibles, voulait dire des Mannigfaltigkeiten. Pour conclure, il est indiqué comment Husserl pouvait considérer que sa théorie représentait une solution aux problèmes qui avaient conduit à son élaboration.
9
Le Flem, Claude-Daniel. "La modélisation psychomécanique des systèmes temporels : le cas du russe." Revue québécoise de linguistique 20, no. 2 (2009): 195–221. http://dx.doi.org/10.7202/602710ar.
Full textAbstract:
Résumé La démarche de la psychomécanique est en principe hypothético-déductive, la théorie prenant son départ à une exigence absolue — un « inévitable » — et procédant déductivement jusqu’à la rencontre avec les faits : Guillaume pose par exemple dans Temps et verbe (1965) que toutes les langues construisent leur systématique verbale à partir d’un présent universel α/ω). Le modèle qu’il élabore pour le russe comme celui de Meney (1974a et b, 1975), bien qu’incompatibles entre eux, acceptent ce postulat qui entraîne des problèmes de cohérence interne et, en bout de course, la non-satisfaction de l’exigence minimale d’adéquation d’observation. L’hypothèse de remplacement que je propose, limitée à l’indicatif, révoque sa division en époques au bénéfice de la combinatoire de deux systèmes aspectuels, l’un lexical, l’autre grammatical. Cette solution, qui range le russe parmi les langues exclusivement aspectuelles, s’impose par sa simplicité, sa cohérence, son accord avec la sémiologie et son efficacité sur le plan empirique.
10
MAZURKIEWICZ, STANY. "Intuition et déduction en mathématiques. Retour au débat sur la «crise des fondements»BRUNO LECLERCQ Bruxelles, EME Éditions, collection «Logiques et Systèmes», 2014, 270 p." Dialogue 54, no. 2 (2015): 371–73. http://dx.doi.org/10.1017/s0012217315000578.
Full text
11
Galetto, A., W. Lopez, and E. Baumeister. "Compétitivité de la production laitière au Nicaragua : analyse de la productivité et des coûts dans les élevages laitiers et à viande de la région de Matagalpa." Revue d’élevage et de médecine vétérinaire des pays tropicaux 60, no. 1-4 (2007): 133. http://dx.doi.org/10.19182/remvt.9965.
Full textAbstract:
L’article analyse la productivité, les résultats économiques et les coûts de la production laitière de systèmes d’élevage laitier et à viande dans le département de Matagalpa, situé dans la région centre du Nicaragua. Les données sur les exploitations ont été obtenues à partir d’interviews d’un jour, destinées à l’origine à être utilisées à des fins d’évaluation interne pour un projet de développement agricole. Au total 124 observations ont été relevées sur la structure des élevages, les ventes, l’utilisation d’intrants, l’emploi de main d’oeuvre et le cheptel. Seule la zone de pâturage des bovins, qui représentait 83 p. 100 des terres, a été utilisée dans l’analyse. Les données on été divisées en quartiles afin de les organiser. Les résultats ont montré que les élevages les plus petits utilisaient la terre de manière plus intensive et avaient une productivité plus grande. Au contraire, les élevages plus grands étaient caractérisés par une productivité plus élevée de leur ressource rare, la main d’oeuvre, une indication dans les deux cas de l’efficacité de leur répartition. Le revenu familial, obtenu après déduction des dépenses en liquide et de la dépréciation des recettes totales, a été de 10 $ US par jour et par personne de la famille ayant une activité sur l’exploitation. Le coût moyen de la production de lait à court terme a été de 0,071 $/L pour l’ensemble de l’échantillon, alors que sur le long terme il a été de 0,236 $/L. Il y a eu une forte relation négative entre le coût de production et la productivité de la terre.
12
Mudry, J. "L'analyse discriminante, un puissant moyen de validation des hypothèses hydrogéologiques." Revue des sciences de l'eau 4, no. 1 (2005): 19–37. http://dx.doi.org/10.7202/705088ar.
Full textAbstract:
L'étude des tableaux de données hydrochimiques acquises au cours de campagnes synchrones (« instantanés ») ou de suivis diachroniques à pas régulier (hebdomadaire, quotidien, horaire) s'opère généralement en résumant l'information par des méthodes statistiques. Ces méthodes descriptives, qui négligent nécessairement une partie de l'information initiale, permettent l'interprétation de la structure du tableau de données en termes de fonctionnement hydrocinématique (BAKALOWICZ, 1979, 1982, MUDRY et BLAVOUX, 1988, ROLET et SEGUIN, 1986 8 et b). Ces méthodes, fondées sur l'analyse d'une seule population statistique (bi ou multidimensionnelle) impliquent un mode de raisonnement déductif. Leur application, ainsi que l'examen du tableau des données brutes (ou de ses représentations graphiques), peut mettre en évidence des sous-groupes fondés sur des critères hydrogéologiques. La réalité de ces sous-groupes peut être testée à l'aide de méthodes statistiques basées sur l'analyse de la variance. Certaines méthodes utilisent le rapport des variances qu'elles comparent à la distribution de Snedecor (analyse de la variance à une ou deux voies), d'autres comparent des variances multidimensionnelles intraclasses à la variance interclasses, c'est le cas de l'analyse discriminante. Les sous-groupes constituent une variable qualitative dont la pertinence peut être démontrée par la calcul. L'analyse discriminante apparaît donc comme un outil décisionnel. Le présent article présente brièvement la méthode du point de vue statistique et montre deux exemples d'application à des sources karstiques. Le premier exemple traite de l'appartenance chimique d'une phase de basses eaux à la petite crue qui la précède et non à un tarissement au sens hydrocinématique. L'analyse discriminante permet d'affirmer qu'une recharge peu perceptible sur l'hydrogramme de la source amène une évolution chimique irréversible de l'eau de la réserve, responsable des phénomènes d'hystérésis observés sur les courbes concentration-débit. Ce cas est celui de l'aquifère de la Fontaine de Vaucluse (Sud-Est de la France) pendant un suivi quotidien d'étiage. Le second exemple permet de rattacher, par son comportement physico-chimique hebdomadaire, une émergence karstique à une autre et non à une troisième. Ce cas est celui du karst de la Rochefoucauld (Charente), avec les sources du Bouillant, de la Font de Lussac et de la Lèche. Les sources du Bouillant et de la Font de Lussac ont un comportement physico-chimique semblable, alors que la Lèche réagit de manière totalement indépendante. Elle constitue un système globalement distinct du point de vue hydrocinématique, ce qui permet de minimiser les relations mises en évidence par traçage artificiel entre les deux systèmes.
13
Racine, Jean-Bernard. "Nouvelle frontière pour la recherche géographique." Cahiers de géographie du Québec 13, no. 29 (2005): 135–68. http://dx.doi.org/10.7202/020861ar.
Full textAbstract:
A partir de l'analyse de quelques-unes des études les plus significatives de la nouvelle école géographique anglo-saxonne, l'auteur décrit le cheminement d'un mouvement intellectuel et scientifique qui aboutit incontestablement à ouvrir de nouveaux horizons au géographe tout en lui permettant de reformuler les problèmes classiques. L'auteur envisage successivement cinq grands thèmes de réflexion dialectique : a) géographie quantitative et géographie théorique, b) analogies organiques et théorie des systèmes, c) géographie mathématique et méthode expérimentale, d) géographie inductive et géographie déductive, e) structures spatiales et comportements spatiaux. Il lui parait évident en définitive que si la finalité de la recherche géographique réside toujours dans la définition et l'explication d'une situation écologique d'ordre qualitatif, la quantification et ses corrolaires théoriques et techniques forment aujourd'hui les plus sûrs moyens d'analyse, de synthèse, voire même d'expression, dont il peut disposer. A cet égard les différentes méthodes d'analyse factorielle, combinées aux ressources des modèles de régression multiple sont particulièrement aptes à féconder le qualitatif par le quantitatif. C'est en tout cas ce dont témoignent, après les différents travaux de Brian Berry et de Leslie King, deux thèses récentes présentées par leurs disciples, consacrées l'une à l'écologie factorielle du Toronto métropolitain, l'autre à la structure spatiale du « champ urbain » du Québec méridional.
14
Mazzaroba, Orides, and Matheus Felipe De Castro. "História do direito constitucional brasileiro: a constituição do Império do Brasil de 1824 e o sistema privado escravocrata / History of brazilian constitutional law: the Constitution of the Empire of Brasil of 1824 and the slavery private system/ Histoire du droit constitutionnel bresilien : la Constitution Imperiale Bresilienne et le systeme esclave." Revista Brasileira de Direito 13, no. 2 (2017): 99. http://dx.doi.org/10.18256/2238-0604/revistadedireito.v13n2p99-119.
Full textAbstract:
RESUMO:O presente artigo tem por tema a história da Constituição do Império do Brasil de 1824, objetivando abrir um flanco de análise por meio das suas relações com o sistema escravocrata brasileiro então vigente. O problema de pesquisa se concentra exatamente numa aparente contradição entre um texto de uma constituição de modelo liberal econômico e o funcionamento de um sistema econômico privado incompatível, a princípio, com aquelas declarações. Parte-se da hipótese de que o problema não pode ser analisado numa relação de separação entre teoria e prática, mas, ao contrário, através de uma interpenetração dessas instancias através da Lei e do funcionamento efetivo das instituições estatais. O marco teórico adotado no texto para a análise é o materialismo histórico e os autores que serviram de base para a pesquisa se inscrevem nesse contexto. O método escolhido foi o dedutivo e o artigo está dividido em introdução, capítulo analítico, considerações finais e referenciais bibliográficos. PALAVRAS-CHAVE:Direitos Fundamentais; Relações Privadas; Constitucionalismo; Liberdade; Escravidão.ABSTRACT:The subject of this article is the history of the constitution of the Empire of Brazil, in 1824, aiming to open an analytical side thrugh its relations with the brazilian enslave system current then. The research problem is concentrate precisely in an apparent contradition between a text of a constitution of economic liberal model and the operation of private economic system incompatible, initially, with those statements. It started from the hypothesis that the problem can´t be analyzedin a relationship of separation between theory and practice, but, instead, by an interpenetration of this instances through the law and the effective functioning of state institutions. The theoretical framework adopted in the text for analysis in the historical materialism and the authors used as a basis for research are inscribed in this context. The deductive method was chosen analytical chapter, final considerations and bibliografic references.KEYWORDS:Fundamental Rights; Private Relations; Constitutionalism; Freedom; Slavery.RÉSUMÉ: Cet article est soumis l'histoire de la Constitution de l'Empire du Brésil, visant à ouvrir un côté analytique à travers ses relations avec le système esclavagiste brésilien alors en vigueur. Le problème de la recherche se concentre précisément dans une apparente contradiction entre un texte d'une constitution du modèle libéral économique et le fonctionnement du système économique privé incompatible, en commençant par ces déclarations. Il a commencé à partir de l'hypothèse que le problème ne peut pas être analysé dans une relation de séparation entre la théorie et la pratique, mais plutôt par une interpénétration de ces instances par la loi et le fonctionnement efficace des institutions de l'Etat. Le cadre théorique adopté dans le texte pour l'analyse est le matérialisme historique et les auteurs ont utilisé comme base pour la recherche sont inscrits dans ce contexte. La méthode choisie a été le déductive et l'article est divisé en introduction, chapitre analytique, les conclusions et les références bibliographiques.MOTS-CLÉS: Droits Fondamentaux; Relations Privées; Constitutionnalisme; Liberté; Esclavage.
15
Niyonsenga, Gaudence, Darius Gishoma, Ruth Sego, et al. "Connaissances, utilisation et obstacles liés au dépistage du cancer du col utérin dans des hôpitaux de district de Kigali, au Rwanda." Canadian Oncology Nursing Journal 31, no. 3 (2021): 275–84. http://dx.doi.org/10.5737/23688076313275284.
Full textAbstract:
Contexte : Dans le monde, le cancer du col utérin arrive au troisième rang des cancers les plus fréquents chez les femmes, mais il passe au deuxième rang en Afrique orientale, où se trouve le Rwanda. Le dépistage périodique est un moyen de prévention efficace. Malgré cela, en Afrique, on estime que le taux de dépistage de ce cancer se situe entre 10 et 70 %. Plusieurs facteurs entravent le dépistage, surtout en Afrique subsaharienne. Au Rwanda, on recense peu d’écrits sur l’utilisation des services de dépistage et les facteurs nuisant au dépistage du cancer du col utérin. Objectif : Évaluer les connaissances sur le dépistage du cancer du col utérin qu’ont les femmes fréquentant les hôpitaux de district de Kigali (au Rwanda), recenser l’utilisation de ce service et déterminer les obstacles qui empêchent d’y recourir. Méthodologie : Une étude transversale descriptive a été menée, et les données ont été collectées au moyen d’un questionnaire structuré. Des questions nominales de type « oui ou non » ont mis en lumière les connaissances des femmes sur le cancer du col utérin et l’utilisation des services de dépistage. Pour cerner les obstacles au dépistage, nous avons utilisé des questions de type « échelle de Likert ». Ces données ont ensuite fait l’objet d’une analyse statistique descriptive et déductive. La sélection des répondantes s’est faite par échantillonnage aléatoire systématique depuis la base de données des patientes fréquentant les services gynécologiques de trois hôpitaux de district de Kigali (Rwanda). Résultats : Au total, 329 femmes ont répondu au sondage. La moitié d’entre elles (n = 165) connaissaient bien le dépistage du cancer du col utérin. Le pourcentage de dépistage se situe à 28,3 %. Nous avons décelé un lien entre l’utilisation du dépistage et une bonne connaissance du sujet (P = 0,000, r = -0,392) ainsi que certains facteurs démographiques (P = 0,000). Parmi les obstacles qui concourent à restreindre l’accès au dépistage, nous avons relevé des obstacles individuels (méconnaissance de l’existence des services de dépistage), géographiques (milieu rural) et liés au système de santé et aux prestataires de soins (campagnes de sensibilisation déficientes, attitudes négatives des prestataires de soins envers les patientes et longs délais d’attente). Conclusion : Dans les hôpitaux de district étudiés de Kigali (Rwanda), on constate un faible pourcentage de dépistage du cancer du col utérin causé par plusieurs obstacles. Il est donc fortement recommandé d’engager une campagne d’information permanente sur ce cancer et son dépistage. Enfin, il est crucial que les prestataires de soins qualifiés encouragent les femmes à se soumettre au dépistage, et qu’ils s’efforcent de réduire les obstacles qui s’y rattachent.