formalisering
Formalisering, (se formalisere), det at formalisere.
Formalisering, (se formalisere), det at formalisere.
formalisering. Fx kan en matematisk teori udvikles i et naturligt sprog vha. ord som "hvis — så", "alle", "nogle" osv., men kan ved en formalisering af disse udtryk omdannes til et formelt sprog. Se også logik. Inden for lingvistikken og datalogien
formalisering af tanken om den usynlige hånd. Kort fortalt er indholdet i hovedsætningen, at enhver markedsøkonomi uden nogen markedsfejl på markederne vil være Pareto-efficient. På den ene side er denne hovedsætning et meget stærkt resultat, fordi den viser, at
formalisering af relationen mellem beslutningstager og interessent. Ofte forbindes lobbyisme med pluralismebegrebet, hvor relationerne er uformelle og den lobbyistiske påvirkning søges via besøg, breve og mediekampagner. De fleste ville i dag også sige, at også korporatismen er en form for
formalisering, hvorved undervisningen i geometri blev noget nedtonet. Fra begyndelsen af 1990'erne er forskere og undervisere i matematik i stigende grad blevet klar over værdien af den geometriske tænkemåde, og der gøres nu meget for at styrke geometriens stilling
formalisering af jordemoderuddannelsen i 1804, med oprettelsen af Jordemoderskolen. Jordemoderskolen blev i 1910 en del af Rigshospitalet, blev en professionsbacheloruddannelse i 2001, og blev i 2007 en del af professionshøjskoleuddannelserne. Beskæftigelsen for jordemødre Færdiguddannede jordemødre ansættes hyppigst på hospitalsafdelinger, fx
formalisering af de menneskelige kompetencer er langt vanskeligere. Et stort forskningsfelt er sprogsystemer, som kan udføre talegenkendelse, tekst-til-tale-generering og automatisk oversættelse. Et problem er her, at pålidelig oversættelse synes at forudsætte forståelse. Menneskers brug af naturligt sprog
udstedt i 1542 af den spanske konge Karl 5. med det formål at præcisere indholdet af Burgoslovene. Lovene omfattede bl.a. en formalisering af encomienda-systemet. De mødte massiv modstand fra kolonisternes side og blev på den baggrund revideret i 1552.
formalisering af Adam Smiths metafor om den usynlige hånd, der medfører, at de individuelle personers handlinger skaber et harmonisk hele. Den anden hovedsætning viser, at ethvert fordelingsmæssigt hensyn, der måtte være politisk ønske om, i princippet kan forfølges uden at
formalisering af den form for uudgrundelighed, som i praksis ofte er nyttig, idet den kan forhindre modparten i at gætte ens handling. Beskrivelsen af spil ved strategier og payoff (såkaldte spil på normal form) har været frugtbar, men mange spil