Log in

Relevant bibliographies by topics / Système de déduction

Contents

Journal articles

Academic literature on the topic 'Système de déduction'

Author: Grafiati

Published: 4 June 2021

Last updated: 14 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Système de déduction"

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

APA, Harvard, Vancouver, ISO, and other styles

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

APA, Harvard, Vancouver, ISO, and other styles

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 text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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 text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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 text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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

APA, Harvard, Vancouver, ISO, and other styles

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 text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

8

Hill, Claire Ortiz. "La Mannigfaltigkeitslehre de Husserl." Articles 36, no. 2 (2010): 447–65. http://dx.doi.org/10.7202/039480ar.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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 text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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

APA, Harvard, Vancouver, ISO, and other styles

More sources

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!