formal system oor Nederlands

formal system

naamwoord

(logic) The grouping of a formal language and a set of inference rules and/or axioms.

Vertalings in die woordeboek Engels - Nederlands

formeel systeem

onsydig

combination of formal language and inference rules

A formal system of identifying criteria for automatic monitoring and assessment of projects has now commenced.
Een formeel systeem voor het vaststellen van criteria voor automatische controle en beoordeling van projecten is nu gestart.

Formal system

Vertalings in die woordeboek Engels - Nederlands

Metataal

voorbeelde

To attribute a meaning to a formal system would be arbitrary.
Een formeel systeem een betekenis toekennen zou dubieus zijn.

A formal system of exchange of quarterly sales and price data was also implemented between the participants.
De deelnemers voerden ook een formeel systeem in voor de uitwisseling van driemaandelijkse verkoop- en prijsgegevens.

Baseball was a sport, which meant that it was a formalized system of control.
Baseball was een sport, dat wil zeggen, een geformaliseerd controlesysteem.

Mathematical logicians study formal systems but are just as often realists as they are formalists.
Wiskundige logici bestuderen formele systemen, maar zijn net zo vaak realisten als formalisten.

All relevant actors, in and outside the formal systems, must collaborate for strategies to work 'on the ground'.
Alle relevante actoren, binnen en buiten de formele systemen, moeten samen aan strategieën 'in het veld' werken.

The Commission should not only take account of the formal systems for assessing skills.
De Commissie zou niet alleen rekening moeten houden met de formele structuren voor beoordeling van de vaardigheden.

DG ECHO has formal systems for regularly monitoring financial information and providing adequate management information.
DG ECHO heeft formele systemen om op regelmatige basis financiële informatie te controleren en adequate informatie over het beheer te leveren.

The parties I represent prefer a less formal system of bookkeeping.”
De groeperingen die ik vertegen-woordig geven de voorkeur aan een minder formeel boekhoud-systeem.'

The EESC advocates that impact assessments should be based on a formal system of Regulatory Impact Analysis.
Het Comité pleit ervoor dat effectbeoordelingen worden gebaseerd op een formeel stelsel van impactanalyse voor regelgeving.

As to sequencing and financing, priority would be given to bringing informal work into the formal system.
Wat de sequentie en de financiering betreft, zou prioriteit worden gegeven aan het onderbrengen van informeel werk in het formele systeem.

Love isn’t governed by a formal system.”
De liefde wordt niet beheerst door een formeel systeem.’

Sports, like every formalized system of control, were about money.
Sport ging, zoals elk ander geformaliseerd controlesysteem, uiteindelijk over geld.

Any language that one uses to talk about a formal system is called a metalanguage.
Een taal die wordt gebruikt om een formeel systeem te beschrijven heet een metataal.

Adding formalized systems brings efficiencies.
Het invoeren van geformaliseerde systemen verhoogt de efficiëntie.

Despite this, no formal system exists in the Delegations to account for the utilization of'Stabex funds.
Desondanks bestaat er " bij de delegaties geen enkel systeem voor'de verantwoording van het gebruik van de Stabex-tegoeden.

Propositional and predicate calculi are examples of formal systems.
De propositielogica en de predicatenlogica zijn voorbeelden van formele systemen.

DG ECHO has formal systems for regularly monitoring financial information and providing adequate management information.
ECHO heeft formele systemen om op regelmatige basis financiële informatie te controleren en adequate informatie over het beheer te leveren.

The formalized systems in which grown men threw around balls were called sports.
De geformaliseerde systemen waarin volwassen mannen ballen rondgooiden werden sport genoemd.

A formal system of identifying criteria for automatic monitoring and assessment of projects has now commenced.
Een formeel systeem voor het vaststellen van criteria voor automatische controle en beoordeling van projecten is nu gestart.

Gödel essentially constructed a formula that claims that it is unprovable in a given formal system.
In wezen construeerde Gödel een formule die stelt dat zij in een gegeven formeel systeem onbewijsbaar is.

Should we go further towards a formal system of banking supervision?
Moeten we verder gaan, richting een formeel systeem van bankentoezicht?

Despite this, no formal system exists in the Delegations to account for the utilization of Stabex funds.
Desondanks bestaat er bij de delegaties geen enkel systeem voor de verantwoording van het gebruik van de Stabex-tegoeden.

Like any formalized system of control, sports were hugely contentious.
Zoals elke ander geformaliseerd controlesysteem, was sport uitermate omstreden.

A formal system may represent a well-defined system of abstract thought.
Representatiestellingen geven een concrete vorm aan een abstract gedefinieerd begrip.

The Technical Specification could serve as an entry point for specifications developed outside the formal system.
De technische specificatie zou kunnen dienen als een uitgangspunt voor specificaties die buiten het officiële circuit worden ontwikkeld.