formeel systeem oor Engels

formeel systeem

Vertalings in die woordeboek Nederlands - Engels

formal system

naamwoord

combination of formal language and inference rules

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

voorbeelde

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

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

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

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

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

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

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

Alle ordinale getallen en de klasse van alle verzamelingen zijn bijvoorbeeld in veel formele systemen echte klassen.
For instance, the class of all ordinal numbers, and the class of all sets, are proper classes in many formal systems.

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

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

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

Het is een van de twee formele systemen om noten in een bepaald octaaf aan te geven.
It is one of two formal systems for naming notes in a particular octave, the other being scientific pitch notation.

Slechts een paar NKK's omvatten kwalificaties die worden toegekend buiten de formele systemen om, bijvoorbeeld in de particuliere sector.
Only few NQFs cover qualifications awarded outside formal systems, for example in the private sector, which are often important on the labour market.

Hoeveel plekken die beter zijn in lezen dan de VS, hebben een formeel systeem om hun leraren beter te maken?
Now, out of all the places that do better than the U.S. in reading, how many of them have a formal system for helping teachers improve?

Een formeel systeem voor coördinatie en samenwerking tussen de instellingen voor de bescherming van intellectuele-eigendomsrechten moet nog worden opgesteld.
A formal coordination and cooperation mechanism between the institutions in charge of IPR protection still needs to be established.

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

Hoeveel plekken die beter zijn in lezen dan de VS, hebben een formeel systeem om hun leraren beter te maken?
Now, out of all the places that do better than the U. S. in reading, how many of them have a formal system for helping teachers improve?

Dit is een nieuwe eis en veel lidstaten beschikken nog niet over formele systemen voor toezicht en de beoordeling van vaardigheden.
This is a new requirement and many Member States do not yet have formal systems for supervision and competence assessment.

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

Er zullen steeds meer organisaties zijn die niet-formeel onderwijs aanbieden, d.w.z. educatieve activiteiten die buiten het formele systeem worden georganiseerd.
There will be an increasing number of organisations that will provide non-formal education, i.e. organised educational activities outside the established formal system.

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

Een formeel systeem (ook wel logisch systeem of logische calculus genaamd) bestaat uit formele taal in combinatie met een deductief systeem.
A formal system (also called a logical calculus, or a logical system) consists of a formal language together with a deductive apparatus (also called a deductive system).

57 Eind 2013 hadden alle 15 autoriteiten van de lidstaten formele systemen ingevoerd om te controleren of de prijzen redelijk zijn.
57 By the end of 2013, all 15 of the Mem‐ ber State authorities had formal sys‐ tems in place for checking that prices are reasonable.

Aan de hand van een formeel systeem kan een reeks stellingen worden opgesteld, die binnen het formele systeem zelf bewezen kunnen worden.
Once a formal system is given, one can define the set of theorems which can be proved inside the formal system.