semântica formal oor Frans

semântica formal

Vertalings in die woordeboek Portugees - Frans

sémantique formelle

étude de la sémantique, ou l'interprétations, des langages formels et naturels

Semântica formal

Vertalings in die woordeboek Portugees - Frans

sémantique des langages de programmation

voorbeelde

O estudo de interpretações é chamado Semântica Formal.
L'étude des interprétations est appelée la sémantique formelle.

Artigo principal: Semântica formal Uma interpretação de um sistema formal é uma atribuição de significados para os símbolos e valores de verdade para sentenças de um sistema formal.
Une interprétation d'un système formel est l'attribution des significations aux des symboles et aux valeurs de vérité aux phrases d'un système formel.

Graham Priest argumenta em “Além dos Limites da Razão”(Beyond the Limits of Thought) que a dialetheia surgiu nas fronteiras da expressabilidade, em contextos filosóficos diferentes da semântica formal.
Graham Priest soutient dans Beyond the Limits of Thought que les dialethéia se positionnent aux frontières de l'expressibilité, dans un certain nombre de contextes philosophiques autres que la sémantique formelle.

Na lógica, semântica formal ou lógica semântica, é o estudo da semântica ou interpretações (idealizações) de linguagens naturais e formais, geralmente tentando captar a noção pré-teórica de vínculo.
En logique, la sémantique de la logique est l'étude de la sémantique, ou l'interprétations, des langages formels et naturels qui, en général, tentent de saisir la notion pré-théorique de déduction.

Ver artigo principal: Sintaxe (lógica) Ver artigo principal: Semântica formal (lógica) Na metalógica 'sintaxe' tem a ver com linguagens formais ou sistemas formais sem fazer referência a qualquer interpretação delas; por outro lado, 'semântica' tem a ver com as interpretações de linguagens formais.
En métalogique, la « syntaxe » est en rapport avec les langages formels ou systèmes formels, sans interprétation, alors que, la « sémantique » est en rapport avec l'interprétation des langages formels.

Ele é muito famoso por seu pioneiro trabalho sobre linguística cognitiva -- mais especificamente, pela relação entre semântica e estruturas linguísticas formais e as conexões entre tipologia semântica e universal.
Leonard Talmy est surtout connu pour son travail de pionnier en linguistique cognitive, plus particulièrement sur la relation entre structures sémantiques et formelles, et les connexions entre typologies sémantiques et universaux.

As principais abordagens modernas para a semântica de linguagens formais são as seguintes: Modelo da teoria semântica é um arquétipo da teoria semântica da verdade de Alfred Tarski, baseada em seu Esquema-T, e é um dos conceitos fundamentais da teoria dos modelos.
Les principales approches modernes de la sémantique des langages formels sont les suivantes: La sémantique de la théorie des modèles est l'archétype de la théorie de la vérité d'Alfred Tarski, basé sur son schéma-T, et est l'un des concepts fondateurs de la théorie des modèles.

Completude semântica é a recíproca da corretude para sistemas formais.
La complétude sémantique est la réciproque de la correction des systèmes formels.

Exemplos: Se a especificação formal está numa semântica operacional, o comportamento observado do sistema concreto pode ser comparado com o comportamento da especificação (a qual deve ser executável ou simulável).
Par exemple : si la spécification formelle est dotée d'une sémantique opérationnelle, le comportement observé du système concret peut être comparé avec le comportement de la spécification (qui elle-même doit être exécutable ou simulable).

Algumas ideias-chave da linguagem Algol foram tomadas, produzindo-se a linguagem ALGOL 68: A sintaxe e semântica se tornaram ainda mais ortogonais, com rotinas anônimas, um sistema recursivo de digitação com funções de ordem superior, etc; não somente a parte livre de contexto da linguagem, mas a sintaxe da linguagem completa e a semântica foram definidos formalmente, em termos da gramática de Van Wijngaarden, um formalismo desenvolvido especificamente para esta finalidade.
Les idées essentielles d'Algol se retrouvent finalement dans Algol 68 : La syntaxe et la sémantique deviennent encore plus orthogonales, avec des procédures anonymes, un système de types récursifs, des fonctions d'ordre supérieur... Toute la syntaxe et la sémantique du langage sont décrites formellement, et plus seulement la partie non contextuelle de la syntaxe.

Em todo o caso, o primeiro argumento de carácter formal da JCB é puramente semântico e as práticas em questão integram claramente a categoria das infracções «muito graves» na acepção das orientações.
Au demeurant, le premier argument formel de JCB serait d’ordre purement sémantique et les pratiques en question relèveraient clairement de la catégorie des infractions «très graves» au sens des lignes directrices.

Esses URI são descritos formalmente através de modelos URI legíveis por máquina (IETF RFC 6570), utilizando componentes com um valor semântico tanto do ponto de vista jurídico como do utilizador final.
Ces URI sont décrits de manière formelle à l’aide d’URI types exploitables par les systèmes d’information (IETF RFC 6570), composés d’éléments standardisés comprenant des données sémantiques qui ont un sens à la fois pour les juristes et pour l’utilisateur final.

Esses URI (indicadores uniformizados de recursos) são descritos formalmente através de modelos URI suscetíveis de leitura ótica (IETF RFC 6570), utilizando componentes que comportam dados semânticos com sentido tanto para os juristas como para o utilizador final.
Ces URI sont décrits de manière formelle à l’aide d’URI types exploitables par les systèmes d’information (IETF RFC 6570), composés d’éléments standardisés comprenant des données sémantiques qui ont un sens à la fois pour les juristes et pour l’utilisateur final.