formele semantiek oor Engels

formele semantiek

Vertalings in die woordeboek Nederlands - Engels

formal semantics

naamwoord

study of the semantics, or interpretations, of formal and natural languages

voorbeelde

- formele semantiek van interfaces ,
- FORMAL SEMANTICS OF INTERFACES ,

Ze zijn syntactische vormen, waarvan de vormen en locaties geen betekenis hebben, tenzij ze een interpretatie (of formele semantiek) krijgen.
They are syntactic forms whose shapes and locations have no meaning unless they are given an interpretation (or semantics).

Om de semantiek van formele talen te beschrijven zijn de volgende algemene benaderingen in gebruik: Modeltheoretische semantiek - het archetype van de op het T-schema gebaseerde semantische waarheidstheorie van Alfred Tarski en een van de basisconcepten van de modeltheorie.
The main modern approaches to semantics for formal languages are the following: Model-theoretic semantics is the archetype of Alfred Tarski's semantic theory of truth, based on his T-schema, and is one of the founding concepts of model theory.

In de metalogica heeft de term "Syntaxis" betrekking op formele talen/systemen als zodanig waarbij de interpretatie buiten beschouwing wordt gelaten, terwijl de term "semantiek" betrekking heeft op de interpretatie van formele talen.
In metalogic, 'syntax' has to do with formal languages or formal systems without regard to any interpretation of them, whereas, 'semantics' has to do with interpretations of formal languages.

Zie Interpretatie (logica) en Formele semantiek voor de hoofdartikelen over dit onderwerp.
Syntax and semantics Main articles: Syntax (logic) and Formal semantics (logic)

Zie Interpretatie (logica) en Formele semantiek voor de hoofdartikelen over dit onderwerp.
Main article: Formal semantics (logic), Interpretation (logic), and Model theory

Zie Interpretatie (logica) en Formele semantiek voor de hoofdartikelen over dit onderwerp.
Main articles: Formal semantics (logic) and Interpretation (logic)

Zie Interpretatie (logica) en Formele semantiek voor de hoofdartikelen over dit onderwerp.
Main articles: Formal semantics (logic), Interpretation (logic), and Model theory

Zie Interpretatie (logica) en Formele semantiek voor de hoofdartikelen over dit onderwerp.
Main articles: Interpretation (logic) and Formal semantics (logic)

Zie Formele semantiek en Interpretatie (logica) voor de hoofdartikelen over dit onderwerp.
InterpretationsEdit Main articles: Formal semantics (logic) and Interpretation (logic)

Zie Interpretatie (logica) en Formele semantiek voor de hoofdartikelen over dit onderwerp.
InterpretationsEdit Main articles: Interpretation (logic) and Formal semantics (logic)

In eerste instantie werden de ideeën die bepalend zijn geweest voor de ontwikkeling van de formele semantiek, ontwikkeld door filosofen en logici.
Initial ideas that were essential to the development of formal semantics were developed by logicians and philosophers, especially Richard Montague and David Lewis.

• Prof. dr. Barbara Partee wordt onderscheiden voor de cruciale rol die ze speelde in de ontwikkeling van de formele semantiek van natuurlijke taal.
Prof. Barbara Partee will receive an honorary doctorate for the crucial role she played in the development of the formal semantics of natural language.

Zij heeft niet alleen de acceptatie ervan binnen de taalkunde sterk bevorderd, maar zelf ook vele, substantiële bijdragen aan de ontwikkeling van de formele semantiek geleverd.
Not only did she strongly promote the acceptance of formal semantics within linguistics and work to foster the cooperation of logicians, philosophers, and linguists, but also made many substantial contributions to the development of this domain.

Zo stelde Partee de eerste bundel samen met bijdragen, waaronder ook van haar eigen hand, van logici en taalkundigen over de Montague Grammatica, het model dat in de jaren zeventig gezichtsbepalend was voor de formele semantiek.
For example, Partee compiled the first series of articles, including her own, written by logicians and linguists about Montague Grammar, the leading model for formal semantics in the 1970s.

Partee ontvangt het eredoctoraat vanwege de cruciale rol die zij heeft gespeeld in de ontwikkeling van de formele semantiek van natuurlijke taal. Volkow wordt onderscheiden voor haar grensverleggende hersenonderzoek dat leidde tot het inzicht dat verslaving een behandelbare hersenziekte is.
Partee receives an honorary doctorate for her contribution to the development of formal semantics in natural language, while Volkow is recognised for her pioneering work in demonstrating that drug addiction is a treatable disease of the brain.

Om de semantiek van formele talen te beschrijven zijn de volgende algemene benaderingen in gebruik:
The main modern approaches to semantics for formal languages are the following: