formal semantics oor Fins

formal semantics

naamwoord

The study of the semantics, or interpretations, of formal languages.

Vertalings in die woordeboek Engels - Fins

formaalinen semantiikka

naamwoord

voorbeelde

In any event, JCB’s first formal point is purely semantic, and the practices in question fall clearly within the category of ‘very serious’ infringements within the meaning of the Guidelines.
JCB:n mainitsema ensimmäinen muotoseikka on joka tapauksessa täysin semanttinen, ja kyseiset menettelytavat kuuluvat selvästi suuntaviivoissa tarkoitettuihin ”erittäin vakaviin” kilpailusääntöjen rikkomisiin.

2 Formal semantics of modal logics
2 Mahdollisten maailmojen semantiikka

These URIs are formally described by machine-readable URI templates (IETF RFC 6570), using components that carry semantics both from a legal and an end-user point of view.
Nämä URIt kuvataan formaalisesti koneellisesti luettavilla URI-malleilla (IETF RFC 6570) käyttäen komponentteja, joissa on sekä oikeudelliseen että loppukäyttäjän näkökulmaan liittyvää semantiikkaa.

These URIs are formally described by machine-readable URI templates (IETF RFC 6570), using components that carry semantics both from a legal and an end-user point of view.
Nämä URI-osoitteet muodostetaan määrämuotoisina koneellisesti luettavilla URI-malleilla (IETF RFC 6570) käyttäen komponentteja, jotka ovat semanttisesti mielekkäitä sekä oikeudellisesta että loppukäyttäjän näkökulmasta.

Saul Kripke, in Naming and Necessity, took explicit issue with Lewis's use of possible worlds semantics, and defended a stipulative account of possible worlds as purely formal (logical) entities rather than either really existent worlds or as some set of propositions or descriptions.
Saul Kripke puolusti teoksessaan Naming and Necessity stipulatiivista käsitystä mahdollisesta maailmasta puhtaasti formaalina (loogisena) entiteettinä, ennemmin kuin sen enempää todellisena olemassa olevana maailmana kuin pelkkänä joukkona väittämiä tai kuvauksia.

Recently ontology research has provided a formal approach for improving the semantic interoperability.
Ontologiatutkimus tarjoaa formaalin lähestymistavan semanttisen yhteiskäyttöisyyden parantamiseksi.

The present research shows that Tolkien favours semantic translation and formal correspondance.
Tutkimus osoitti, että Tolkien suosii semanttista kääntämistapaa sekä formaalista vastavaisuutta.

Work in the field of integrated product data modelling will concentrate on formalizing and standardizing the data structures used to describe products and their components, thus extending the functionality of product data modelling systems to a higher level of semantics, including knowledge representation and sharing.
Tuotteita koskevien tietojen integroidun mallintamisen alan työt keskittyvät tuotteiden ja niiden komponenttien kuvaukseen käytettyjen tietorakenteiden laatimiseen ja standardointiin, ja täten niillä laajennetaan tuotteita koskevien tietojen mallintamisjärjestelmien toimintaa ylemmälle semanttiselle tasolle, johon kuuluu tietojen esitys ja jakaminen.

An ontology is a formal description of concepts and properties used in semantic metadata descriptions but not only that – Ontologies provide us with primitives that help us discover implicit relationships. JSON-LD
Ontologia on formaali kuvaus käsitteistä ja ominaisuuksista, joita käytetään semanttisen metatiedon kuvauksessa. Ontologiat antavat meille lisäksi työkalut implisiittisten eli asiayhteydestä pääteltävissä olevien asioiden suhteiden havaitsemiseen. JSON-LD

Depending on the teacher, there will be a detailed exposition of proof-theoretic and/or semantic methods for showing the validity of arguments in formal logic, with an emphasis on predicate logic.
Riippuen opettajasta, tavoitteena on yksityiskohtainen selostus todistus-teoreettisista ja/tai semanttisista menetelmistä muodollisen logiikan argumenttien pätevyyden osoittamiseksi, painopisteen ollessa predikaattilogiikassa.