Relevant bibliographies by topics / Encodage en logique

Contents

  1. Journal articles
  2. Dissertations / Theses

Academic literature on the topic 'Encodage en logique'

Author: Grafiati
Published: 14 September 2024
Last updated: 31 July 2025

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 'Encodage en logique.'

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 "Encodage en logique"

1

Migliore, Tiziana. "Les contraintes de la motivation des signes d'après le système semi-symbolique." Estudos Semióticos 19, no. 2 (2023): 178–92. https://doi.org/10.11606/issn.1980-4016.esse.2023.210160.

Full text
Abstract:
Une étude attentive des œuvres de Floch peut contribuer à préciser et à mettre à jour la question de la motivation des signes. C’est le but de notre article, de mieux comprendre le caractère fondé de la relation entre le signifiant et le signifié à travers la catégorie sémiotique que Floch a sondée, expliquée et appliquée à maintes reprises et dont il a été le promulgateur majeur : le semi-symbolique. Notre hypothèse est que les réflexions théo
APA, Harvard, Vancouver, ISO, and other styles
2

Shuttleworth, Mark. "Manuscripts don't Translate? Some Issues Arising from the Translating of Bulgakov's The Master and Margarita." Babel. Revue internationale de la traduction / International Journal of Translation 40, no. 4 (1994): 193–202. http://dx.doi.org/10.1075/babel.40.4.02shu.

Full text
Abstract:
Pour plusieurs raisons, l'ouvrage de Bulgakov, The Master and Margarita, est intéressant pour les étudiants en traduction et c'est la raison pour laquelle le présent article aborde toute une série de questions. Cependant, l'auteur tente avant tout de cerner deux aspects fondamentaux. En premier lieu, il analyse le caractère étonnamment "étrange" de l'univers textuel du roman et les difficultés qu'il représente par conséquent pour le traducteur. Au nombre de ces difficultés figure entre autres la nécessité pour le traducteur d'être familiarisé avec toute une gamme d'antécédents littéraires prés
APA, Harvard, Vancouver, ISO, and other styles
3

Parlebas, Pierre. "Semiotricité et corps en jeu." Semiotica, September 9, 2022. http://dx.doi.org/10.1515/sem-2022-0081.

Full text
Abstract:
Abstract Tout au long de sa vie et dès sa naissance, chaque personne doit attribuer du sens à tour ce qui l’entoure : objets, individus, paysages … Cette construction d’une signification corresponde à un décodage de l’environnement humaine et matériel qui repose notamment sur la mise en jeu du corps et sur ses manifestations motrices. À ce titre, les jeux et les sports représentent un domaine privilégié ou cette mobilisation des conduites motrices est au centre de la construction d’un sens et de la décision du pratiquent. Ce décodage subjectif s’appuie sur les sonnées objectives de la logique
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Encodage en logique"

1

Bobot, François. "Logique de séparation et vérification déductive." Phd thesis, Université Paris Sud - Paris XI, 2011. http://tel.archives-ouvertes.fr/tel-00652508.

Full text
Abstract:
Cette thèse s'inscrit dans la démarche de preuve de programmes à l'aide de vérification déductive. La vérification déductive consiste à produire, à partir des sources d'un programme, c'est-à-dire ce qu'il fait, et de sa spécification, c'est-à-dire ce qu'il est sensé faire, une conjecture qui si elle est vraie alors le programme et sa spécification concordent. On utilise principalement des démonstrateurs automatiques pour montrer la validité de ces formules. Quand ons'intéresse à la preuve de programmes qui utilisent des structures de données allouées en mémoire, il est élégant et efficace de s
APA, Harvard, Vancouver, ISO, and other styles
2

Dubois, De Prisque Louise. "Prétraitement compositionnel en Coq." Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASG040.

Full text
Abstract:
Cette thèse présente une méthodologie de prétraitement visant à transformer certains énoncés de la logique de l'assistant de preuve Coq en énoncés de logique du premier ordre, de façon à les envoyer à des prouveurs automatiques, et en particulier des prouveurs SMT. Cette méthodologie consiste à composer de petites transformations indépendantes et certifiantes, prenant la forme de tactiques Coq. Une implémentation de cette méthodologie est proposée dans un plugin appelé Sniper, qui offre une tactique "pousse-bouton" d'automatisation. Par ailleurs, un ordonnanceur de transformations logiques per
APA, Harvard, Vancouver, ISO, and other styles
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!

To the bibliography