Gotowe bibliografie tematyczne / Encodage en logique

Spis treści

  1. Artykuły w czasopismach
  2. Rozprawy doktorskie

Gotowa bibliografia na temat „Encodage en logique”

Autor: Grafiati
Data publikacji: 14 września 2024
Data aktualizacji: 31 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Encodage en logique”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.

Rozprawy doktorskie na temat "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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii