Du søgte efter formalisere

Viser 1-20 af 96

Forrige 1 2 3 4 5 Næste
  1. formalisere

    (af fr. (se) formaliser, af lat.), holde strengt på formen; bringe i faste former; sætte i system. ... Læs mere

    Tags:

  2. formalisering

    (se formalisere), det at formalisere. ... Læs mere

  3. sandsynlighed

    det fundamentale begreb i sandsynlighedsregning. Ved sandsynligheden for en hændelse forstås i almindelighed den hyppighed, hvormed hændelsen indtræffer,... Læs mere

  4. Constitutions of Clarendon

    Henrik 2.s forsøg på at regulere og formalisere forholdet mellem kirke og krone i England, vedtaget i Clarendon 1164. Især dekretet om, at kriminelle gejstl... Læs mere

  5. logik (Højere ordens logik)

    En anden måde at udvide på er at tilføje mere komplicerede kvantorer. I eksemplet ovenfor blev der kvantoriseret over mennesker, altså objekter. Man kunne ... Læs mere

  6. corporate social responsibility

    ...CSR, en virksomheds frivillige inddragelse af sociale og miljømæssige hensyn i dens forretningsaktiviteter. På dansk oversættes CSR ofte til virksomhe... Læs mere

  7. gave

    i juridisk sprogbrug en vederlagsfri fordel, der som regel af gavmildhed ydes på giverens bekostning. Ofte består fordelen i en eller anden ting eller i pe... Læs mere

  8. Danmark - familieforhold

    Arbejdsdelingen i hjemmet er blevet mere lige, især i småbørnsfamilier, hvor kvinden er yngre, erhvervsarbejdende og har en højere uddannelse. Men det er... Læs mere

  9. buyider

    ... herskerdynasti 932-1062 i Iran og Irak. Buyiderne stammede oprindelig fra Daylam syd for Det Kaspiske Hav. Grene af dynastiet kontrollerede i 900- og 1000-... Læs mere

  10. deduktion

    i den formelle logik en udledning af et udsagn (konklusionen) ud fra andre udsagn (præmisserne) i overensstemmelse med logiske slutningsregler. En deduktion... Læs mere

  11. bayesiansk statistik

    efter Thomas Bayes (1702-61), i statistiske modeller betegnelse for estimation og test af parameterværdier via en kombination af information fra det foreligge... Læs mere

  12. Skolem-Löwenheims sætning

    sætning i matematisk logik, bevist 1915 af tyskeren Leopold Löwenheim (1878-1957) og 1920 af Thoralf Skolem uafhængigt af hinanden. Den siger, at en modsige... Læs mere

  13. ekspertsystem

    (1. led af lat. expertus, af experiri 'forsøge'), et computerprogram, der kan støtte eller udføre beslutnings- eller diagnoseprocesser på samme måde, som ... Læs mere

  14. beregnelighed

    emneområde inden for datalogi og filosofi, hvor man studerer, hvilke problemer der principielt kan løses af en automatisk udført beregningsprocedure, fx en ... Læs mere

  15. Holger Paaskesen

    ... Læs mere

  16. Afspænding fra neden

    Ved indgangen til 1970'erne var der faldet politisk ro om spørgsmålet om Danmarks fortsatte medlemskab af den nordatlantiske forsvarsalliance NATO. Spørgs... Læs mere

  17. kunstig intelligens

    KI, programmerede maskiner, som efterligner et eller flere aspekter af den menneskelige intelligens som evnen til abstrakt tænkning, analyse, problemløsn.... Læs mere

  18. spilteori

    videnskabelig disciplin, hvis emne er konflikter og konfliktløsning. Den grundlæggende idé bag spilteorien er, at strukturen i en konfliktsituation kan be... Læs mere

  19. formaliter

    (lat., af formalis), efter formen; formelt; det modsatte af realiter. ... Læs mere

  20. formal

    (af lat. formalis), vedr. formen; som kun tager hensyn til formen. ... Læs mere

    Tags:

Viser 1-20 af 96

Forrige 1 2 3 4 5 Næste

Find bøger

   
   Find Lydbøger
hos Storytel
   Find bøger
bogpriser.dk
   Studiebøger
pensum.dk
   E-bøger
hos g.dk

 

© Gyldendal 2009-2013 - Powered by MindTouch Deki