Perceived semantic. quality. Semantic quality. Syntactic. quality. guttens alder er grønn: gutt.alder = grønn

Save this PDF as:
 WORD  PNG  TXT  JPG

Størrelse: px
Begynne med side:

Download "Perceived semantic. quality. Semantic quality. Syntactic. quality. guttens alder er grønn: gutt.alder = grønn"

Transkript

1 Z \ W Y X [ E F G H I G J K L I M F N M O H P Q F R F J S H TUTVR O R S M R F! "! #%$ & '! %$ ( ) * ' & $ ' +,$ -,* ) & $ '%'. * / & 0 1 ' * 0' * 3 4, +65 Participant knowledge Physical Perceived semantic Empirical : ; <6= ; A B C D C Modeling domain Semantic Model externalization Syntactic Language extension Technical Synsem.ppt 1 Synsem.ppt ] ^ I F H M F Q J MVM O H P Q F R F _ ` S J K S a M = c > d d A < A d d : <6e f? 9 g c e : h e A < g? 9 > c c A ; d > h h A j g e > e : h A c e 9 A ;? ; A k ; A e A? 9 g e l :? 6m n : ; d g? h 9 e 9 ; A c c A ; e f? 9 g c e ; A h d A? A e A h o,p A c e 9 d > h A n e > g h ; g < < g 9 > e c A e k ; r c %s A ; c 9 t f e 9 t 9 9 A 6u A 9 A ; v : ; r j ; A e f? 9 g c 9 > e c c n g d >9 A 9 w ' & / / 6-, / / -x$ ( ) * ' $, +6$ -,* ) & ' ' = A < g? 9 > c c A? h > ; e k ; r c ; f c c A? 9 : d c? >? h y z { z y } ~ { } ~ ~ ~ = f? 9 g c e A? e > A ; n : g? h ; 8?? j A h ; A k A ; c g? c : < j >? A ; A e 9 > d e k ; r c ; f c c z z y } ~ ~ { } ~ ~ ~ ƒ ~ ~ = f? 9 g c e A? j A h ; A? e A e > 9 q e A < g? 9 > c c 3 4 EI R S P Q G G R I RU H J Q JV` GUR M J F R S IUS R K S R J R I F H J ` I A ; d > h h A j g e > e j g e A ; A e k r e k ; r A e > h? A ; A? e oppfatning av virkeligheten, kjennskap til rukernes virkelighetsoppfatning, og ønsker om formelle egenskaper 6ˆ c e 9 A ;? ; A k ; A e A? 9 g e l :? e f < j : d j ; 8 c språkdrakt, notasjon, kortformer, oksologi Š O ` S P H I G F J F S R M M R S J ^ I F H M J S R G P R I RVJ R G = f? 9 g c e A? j A h ; A? e A A e A < g? 9 > e c A v A > d A? A guttens alder er grønn: gutt.alder = grønn 6 : A? 9 f k A ; e A < g? 9 > e c A v A > d A ; n g? e c A d > h A r 9 A ; A n g q e f? 9 g c e ; A h d A ; while(true); all ut-porter må kunne trigges deontiske regler

2 Ž R M J F P Q G RVO J Q H G S H TUT H F Q J M RVJ K S a M %š œ ž Ÿ Ÿ%Ÿ sammensetning (funksjon estår av hode og kropp) sekvens (hode kommer før kropp) ª «ŸŸ «egreper som over, inni, inntil, peker på U Ÿ%Ÿ ž Ÿ eskriver sammensetning, ikke sekvens Š O ` S H I R J M S Q O RVJ ^ I F H M J 6u A 9 g e k ; r c v : ; e k A e >v > c g e l :? g n A 9 < A d d A ; >? h e e k ; r c e e f? 9 g c e Backus-Naur Form Datamodelleringsspråk Predikatlogikk Kominserte representasjonsspråk e.g. datamodell + BNF 7 8 R S M F ^ J F F F R ± ««² š š ž tegneeditor, fargekoding, strukturmakroer, tvangstrøye pixeleditor, okser og streker, moduser, highlighting V³ Ÿ Ÿ%Ÿ Ikke alle enkeltrelasjoner er lovlige Sett av enkeltrelasjoner kan gi ulovlig tilstand Uµ ž ž Š O ` S H I J Q M S RV R I J ^ I F H M F Q J M RUM O H P Q F R F R I U ¹ º»» ¼ ½ ¾ º À Á% Ã,Ä Å ¼»» ¼ ÁÆ ¼ Ç Â º Ã% È º Ç Ã,¼ Å É Á ¾ º Ê ¼ Á Ë È Ä Ê º Ì ½» º Ç ¼ ¾ Í Ä Ç Î Ç Ï Ê Ð M / L = Ø,Ñ ž Ò, Ÿ% œ ¹ Error prevention : a priori-regler (må alltid respekteres), eks. syntaksorienterte editorer Error detection : a posteriori-regler (kan oversees underveis i modelleringen, men må før eller senere oppfylles) 9 10 ÓS L M6H OVJ ^ I F H M J S R G P R S Uµ ž Ñ Ô š øker modelleringsfriheten reglene kan aktiviseres manuelt eller automatisk når visse etingelser er oppfylt Uµ Ñ Ô š kan undertrykke kreativitet sikrer at rukeren hele tiden respekterer grunnprinsippene i modelleringsspråket kontinuerlig påtvunget av verktøyet ] R T H I F Q J MVM O H P Q F R F _ ` S J K S a M Õ,Ö Ø Ù Ú Û Ü Ý Þ Þ ß Ù à ÜÛ Û ß á â ã â â Ý Ù Ø Ý ß Ù â Û Ø à à ä Ø Ø ä á à à Ú ä å á Û Ø ä á à à â Û á ä Ø Ú Û Õ,æ ß é Ù à Ü Û Û Ý Ø ç } à è ê é } } %ë é Alle modellutsagn er korrekte og relevante M/D = Ø,ì í é Modellen inneholder alle korrekte og relevante utsagn D/M = Ø 11 1

3 Š O ` S H I J Q M S RVJ R T H I F Q J M M O H P Q F R F Uî ¹ inspeksjon av modellen Uï Ñ ¹ sjekk av konsistens mellom modellfragmenter sjekk av konsistens mellom modellfragment og lingvistisk eskrivelse ð ; : j d A < ¹ñ ò ó ô õ ô ö ø õ ù ô ú ö û ô ö ö ô û ü ò ý ø ú ö ò ó ø ö ù û ó ø õ ù þ ú ÿ ø û ò õ û ñ ø õ ø ý ô ú ö ö ý ô û û ò óô õ ô ÿ ÿ ô ý ø õ õ ô õ Ž Q P I S TUQ I G R S F Q P M ` I J Q J F R I J J R M M :? e > e 9 A? e e l A c c j g e A ; 9 k r d : h > e c A j A e c ; > n A d e A ; :? e > e 9 A? e e l A c c j g e A ; 9 k r c :? e 9 ; 8 c 9 > n > 9 A ` I J Q J F R I J J R M MV H J R S F K a P ` G Q J M RU R J M S Q O R P J R S Õ Ù å Þ ä Ú Ý Û à à Ø ä á à à Ø ä Ú Û â Ù Ü Ú Û Ý Õ ä â Ø à â á Ù Û Ù Ù Ý Ý Þ Ø Ù Õ â Ù Ú Ý ä â Ø â á Ý Þ Ø Ù Û Ü à à ä å Ü Ý Þ Û ä â Ü Õ â Ù Ú Ý ä â Ø â Û ä â Ü Ú Û Ü à Û Ý Û Û Ù ß à Ù Ý Ý Ö ÕUæ ä Ú Ý Û â â á Ü å â Ù Ú Ö Õ Þ ä Ø ä Ú â Ö Û Ü à Ý ß Ù Þ Û Þ ä à á Ý Û Û Ö Ö Ö Ú Õ Ý Û Ø Þ ä Ú Ý Ü Ý Û Ú Ý á Ü â Þ Û Ellers: Sjekk om G(Si) er avgjørar! Hvis avgjørar: ruk resolusjonsmetode til å estemme konsistens Õ" ß Ü Ý # ß â Ö Ü â Þ ä Ú Ý Ü Ý Û Ú Û â Ö Þ ä Ú Ý Ü Ý Û Ú Û " ß Ü Ý Ú Ö Ü â Ù ß å ã â Ù â â Ö Ù ß å ã â Ù â $ R J L P F H F H OVJ F H F Q J MVM ` I J Q J F R I J J R M M % ñ & ' û ô ó ø ô ý ò õ û ù û ö ô õ ö % ñ & ' û ô ó ø ô ý ù õ ò õ û ù û ö ô õ ö ô ÿ ÿ ô ý % û ô ù õ ( ô õ ô ý ù ô ø ( ) ý ø ý %* ô ÿ ò óô õ ÿ ò ( ù û ö ô ò ý ù ô ý ú ø ( ) ý ø ý ø õ ô õ + ý ô û ô ó ù ' ø ( ) ý ø ý û ù õ ò õ û ù û ö ô õ û ø õ ü ø û ö û ÿ, û ô ô ö ô ( ý ô õ û ô ö ø õ ö ø ÿ ÿ û ö ô ( % ô ö ò ô ý ü ò ý, û ô ô ò õ û ù û ö ô õ û ô õ Lewis: predikatlogikk Kung: grafteoretisk formulering ` I J F S L M F Q O Q F R F ` GxM ` I J Q J F R I J Õ.- Ú á Ù Ø Ú Û Ù à â Ü Ú Ü à ä Ý / Ý Û Ø Ý 0 ä â Þ 1 Ù Ú å ä â Ý è Definer systemet som et sett av deler Definer systemstrukturen Definer systemdelene Bestem egenskapene til systemet Õ,æ ä Ú Ý Û â Þ Û Ü ß Ü Û Û è á Û ç Û à á å Ú Ý Þ Ù Ú Û Ü à Û Ý / Ý Û Ø Ù Ý â Û ç å Ú Ý Þ Ù Ú Û Ü à á Û Ý Ý Ý / Ý Û Ø â ` I J F S L M F Q O Q F R F Q 3 8? h e 9 > d? 4 ; < >? h : ; Inputs og outputs representert som logiske uttrykk og knyttet sammen ved logiske operatorer = ; A < e 9 > d? 4 ; < >? h = > 8 8 : ; Konstruksjon av et tilstandsdiagram for prosessnettverket 6u >? h? A > e 9 > d? 4 ; < >? h > 7 A : ; Konstruksjon av et tilstandsdiagram fra kanonisk form av prosessnettverket

4 y { v x w z B Q I G O Q J F Q J M6O R S Q _ Q M H J ` I C g e > e ; En konseptuell modell estår av grafiske modellelementer og små eskrivelser i naturlig språk Tolkningen av NL-eskrivelsen må være konsistent med den lingvistiske tolkningen av modellelementet B Q I G O Q J F Q J M6O R S Q _ Q M H J ` I N DR _ Q I Q J ` I H O J K S a M 6m n A ; 9 < A d d c :? e A k A v >? A ; 9 n d >? h n > e 9 > e c A B e A < g? 9 > e c A e 9 ; 8 c 9 8 ; A ; 6ˆ c e A < k A d ; = > h? u A d 5 v : ; A? c d A 9 : company company company own own uy plant employee plant E F G H I J K L M N J O P - transition - endpoint agent: [+concrete +identifiale] patient: [+concrete + identifiale]] F L I J I Q P [+concrete + identifiale + countale] 19 0 B Q I G O Q J F Q J M6O R S Q _ Q M H J ` I N R 3 S $ /!.T $ '! &. / $! Uµ Ÿ% œ œ ú õ ù ü ù û ô ý ô ý ó ô U ô õ ö ù ö V W X ø Uµ š œ % Y V Ñ Z ` a Q P +transition + endpoint agent: [..] patient: [..]] Ú Ü Ü Ý â â Ü Þ Þ ] Ø á - â à Ù Û Ü ä Ú Ý # Ü 1 è Ü 1 ^ K _ O H L Q : [+concrete +countale + identifiale - living] [ Ú Ü Ü Ý â â è \ Ù K L P - transition - endpoint agent: [..] patient: [- living...]] B Q I G O Q J F Q J M6O R S Q _ Q M H J ` I N c $ R P H J ` I R S 6ˆ ; d : e? 5 f : < k g? f B A < k d : f A A : g A? d : n d > h c :? e 9 ; 8 c e l :? o Vi kominerer strukturene for enkeltordene, slik at entitetene unifiseres med argumentene til relasjonene Hvis unifikasjonen lykkes, er konstruksjonen mulig fra et lingvistisk synspunkt Ugyldig konstruksjon own(company,employee): - transition - endpoint agent:[+concrete...] patient:[+concrete - living +living...]] i j k l m n l l m n o o p q r n s t l p l m k n o o p r p k q u! "!! * + -,* & $ '%'. * / & 0 1 ' * 0' * 3 h Participant knowledge Physical Perceived semantic Empirical : ; <6= ; A B C D C Modeling domain Semantic Model externalization Syntactic Language extension Technical Synsem.ppt

5 Š Ž R M I Q M M R S} ~ Q T R I J ` I R S = k ; r c v : ; e 9 r A d e A C?? : e ; A d A n g? e B v : c 8 e e 9 ; 8 c 9 8 ; g? g df e A : ; e 9 r A d e A g n : k k v t ; e A d 5 A c e A c n A ; >? h : ƒ ˆ M F Q O Q F R F R S. k k d 4 ; >? h C? e k A c e l :? ; h l A?? : < h g? h A ; g n < A d d A ;,p ; g? e v : ; < g e l :? A ; g n < A d d A ; T: M1 M Ž 5 6 Ž S H I J _ ` S T H J ` I R S. < v : ; < 8 d A ; >? h> 5 g j : j g Kan gi ny forståelse ved å gjøre visse forhold eksplisitte 6u >v > e A ; >? h g n d g f : 8 9 Bedre oversikt, forståelse Basert på graf-estetiske retningslinjer Manuell eller automatisk Ž S H I J _ ` S T H J ` S I R S _ ` S F J } š ž Ÿ ž språk/meta-modell - egrensning av språk-elementer modell/spesifikasjon - skjule detaljer V³ inklusiv/eksklusiv deterministisk/indeterministisk gloal/lokal N M person writes paper person 1 N writes 7 8 Ž S H I J _ ` S T H J ` I R S _ ` S F J = d A 9 9 >? h Del av modell fjernes C?? e A 9 9 >? h ny del legges til modellen s A ; e l :? A ; Flere modeller av det samme som eksisterer på samme tid Ž S H I J _ ` S T H J ` I R S _ ` S F J T: M M š, œš Språk med ulike pragmatiske kvaliteter Semantisk, ikke syntaktisk mapping. kan være tekst eller diagram, ž ³ ± µ Ÿ œ Mer vanlig i programmeringsomgivelser

6 ª ««ª ± ² ³ µ ª ³ ª ¹ º»½¼ ¾ À ¾ Á Á Â Ã Ä Å Æ Ç ¼ ª ««ª ± ² ³ µ ª ³ ª ¹ º Þ ß à á à á â ã ä å æ ç à ß ç à ß è á é ê ë è ê.è É Ê Ë Ì Ë Í Î Ê É Î ÏÐ Ï Ñ Ë Î Ò Ó Ô Î Ô Ï Õ Ö Spesialiserte deklarative oversettingsspråk Generelt og komplett Språk og oppgaveuavhengig.è Í Í Í É Ð Ó Ì Ø Ù Ë Ô Ú É Ú É Ì É Ê Ì É Î É Ô Í Ë Î Ò Ó Ô É Ì Ulike repositories for modeller Tekstlige og diagrammatiske språk.û Ô Í É Ì Ë Ñ Í Ï Õ Í Õ Î Ë Ü Í Ó Ý Ë Í Ï Î Ñ Ñ Y Y œ}ì š í Identifisere og stailisere krav Uµ š Ò, Gradvis utvikle til fullt system U š Ytre fasade, ingen dyp oppførsel Uµ Ÿ Fastslå gjennomførarhet av foreslått løsning 31 3 ª ««ª ± ² ³ µ ª ³ ª ¹ º Þ ß à á à á â ã ä å æïî á ð ñ è à å à òä ó Ù Ë Î Î Ï Ð Ï Î É Ì Ï Ô ô Ù Ë Ô ô Î õ Ú Ï Ý É Ô Î Ò Ó Ô É Ì %.ö ø ù ú û ü ù ÿ ô ø û þ ô ö ô ý ÿ ù ý þ ý ò ö ò ö þ ô ö %.ú ø ý û ü ò ý ó ô ÿ ù ý þ ý ò ö ò ö þ ô ö %.þ ÿ þ û ü ò ý þ ô ý ò þ þ ü ) ý û ô ÿ ô õ %.ú ø û ü ò ý ó ô ö ô û ö ø ö ø ÿ ù ý ý ú ö % þ ú ý ù ø û ü ò ý ö ù ÿ ù ( ù þ ý ò û ô ö ô ö % û ü ò ý ÿ ô õ ( ô ÿ ù ý ô õ ý ú ö õ, ý ø û ö ô ö ª ««ª ± ² ³ µ ª ³ ª ¹ º Þ ß à á à á â ã ä å æïî è ã ß é ñ Uµ «Hva systemet skal gjøre på et visst astraksjonsnivå Logiske og algeraiske språk «Både HVA og HVORDAN, om en annen Eksekverare konseptuelle modeller œñ Ñ% š Programmeringsorienterte, prolemspesifikke ª ««ª ± ² ³ µ ª ³ ª ¹ º ñ è ê ñ ê ß ä å æð ïñ à å è ê ã á ê ë ë ê ò à ê ë ë ê ß % + # % (, ($ - %. / ) CM VHLL HLL ± ª ª «ª ª ± ª ª «³ ª «ª ª ª ª µ ± ª ª «ª! " ª ± ª «" ª " " Lavere astraksjon # $ % # $ & # ' ( ) * ª ««ª ± ² ³ µ ª ³ ª ¹ º 0 ã ã è òò ê ß ä å æ %1 ø ÿ ù ö ô ö û õ ù, ô ý %1 ø ÿ ù ö ô ö û ó, ÿ..., syntaktisk, semantisk, pragmatisk,... Syntaktisk korrekthet, validitet, kompletthet, forståelse % ö ù ÿ ü ) ý ô õ ô ó ù ÿ ô ý Manuelle eller i verktøystøtte Feilforhindring / feildeteksjon Konsistenssjekk, lingvistisk verifikasjon Transformasjoner Prototyping, modell-eksekvering ± ª ª «! " ª ± ª «" ª " "

Utgangspunkt: kvalitetsrammeverket

Utgangspunkt: kvalitetsrammeverket Utgangspunkt: kvalitetsrammeverket Metoder for å sikre syntaktisk og semantisk kvalitet Boka kap. 4 og 5 Participant knowledge K Physical Perceived semantic Empirical I Guttorm Sindre, IDI Modeling domain

Detaljer

Efficiency, Integrity, Reliability, Surviveability, Usability. Correctness, Maintainability, Verifiability

Efficiency, Integrity, Reliability, Surviveability, Usability. Correctness, Maintainability, Verifiability "! # $ & ' )()# * +, -. / 0 1-2 3 4 56 7 1-8 6 3 3-1 99 : 6 ; 9 < 9= >? > @ A 6 / 5-1 8-1 3 B 6 1 = A 9 >? C D? 6 E6-2 < F 4 F GH +! # + I # + $ $ J $ KML N O P Q R Q S P Q T U N O VWX Q X Y Z Opprinnelig

Detaljer

Målet med dette notatet er å dokumentere at det er funnet løsmasser ved grunnen og å dokumentere miljøgiftkonsentrasjonen i sedimentene.

Målet med dette notatet er å dokumentere at det er funnet løsmasser ved grunnen og å dokumentere miljøgiftkonsentrasjonen i sedimentene. NOTAT Oppdrag 1110630 Grunner Indre Oslofjord Kunde Kystverket Notat nr. 001 Dato 07.01.2015 Til Fra Kopi Kristine Pedersen-Rise Tom Øyvind Jahren [Navn] Sedimentundersøkelse ved Belgskjærbåen Kystverket

Detaljer

Uttrykkskraft for konseptuelle modelleringsspråk Metamodellering, ontologi

Uttrykkskraft for konseptuelle modelleringsspråk Metamodellering, ontologi !#" $ % & ' () * + + %, -!. / 0 1 2 3 / 4 5 7 8 9 3 / : 8 5 5 / 3 ; ; < 8 = ; > ;? @ A @ B C 8 1 7 / 3 : / 3 5 D 8 3? C ; @ A E F GH % ", ' H %JI ' "K () LM / 7 < N 5 O / 1 : / 3 P 8 N P / = 8 Q Q8 3 7

Detaljer

Tegn og tekst. Et representert tegn kan vises på flere måter. Noen definisjoner. Enda noen definisjoner. \yvind og ]se N{rb}? a a a.

Tegn og tekst. Et representert tegn kan vises på flere måter. Noen definisjoner. Enda noen definisjoner. \yvind og ]se N{rb}? a a a. o o {rb} rprr på r år o prpp rpro r r rr rpro o r o or α r o or bor brp or b rr på ppr r r r r r rrr år på o oroooro o r or o br å r r pår r r orør p o b b år r å r o o o rprrr o p o rprrr o or op r r

Detaljer

Offentlig utvalg for punktskrift, OUP Norsk standard for 8-punktskrift punktskrift 24. oktober 2004 sist endret

Offentlig utvalg for punktskrift, OUP Norsk standard for 8-punktskrift punktskrift 24. oktober 2004 sist endret Offentlig utvalg for punktskrift, OUP Norsk standard for 8-punktskrift punktskrift 24. oktober 2004 sist endret 19.10.2007 Desimal Hex Beskrivelse Tegnets utseende Punktkode 0 0000 4578

Detaljer

PDF created with pdffactory Pro trial version

PDF created with pdffactory Pro trial version [ ² Ú»» ³»»² ¾ ²» ¹» ô Ì ± « Forord Ò ; ±¹ ²» ³«¹»» òòò [ ²»² ª ; µ«² ¹» ¼» º± îðïéô ¹ «²²»² ¼»»» ¼» µ±³³» ² ³³» ² º± ¾ ²» ¹» «¹«±³ ¹ ( ¼» ¾»²¼ ²¹»»²»» ; ²» ò Ê»² : ¼»» ª µ ¹ ±¾¾ ±¹ ¼»² µ ª º± ª» ¹±¼ ò

Detaljer

Handi-Lift EA7 Målskjema

Handi-Lift EA7 Målskjema Handi-Lift EA7 Målskjema Dato: Monteringsdato: Vår ref.: Bestillings nr.: Kunde (HMS): Utprøvingsnr.: Bruker Navn: Bruker nr.: Fødselsdato: Adresse: Postnr.: Poststed: Telefon (priv.): Telefon (arb.):

Detaljer

STRATEGOS B. Målskjema. Serie nr.: Bruker Navn: Adresse: Kontaktpersoner. E-post: E-post: Levering Avd. Bruker Annet: Adresse:

STRATEGOS B. Målskjema. Serie nr.: Bruker Navn: Adresse: Kontaktpersoner. E-post: E-post: Levering Avd. Bruker Annet: Adresse: STRATEGOS B Målskjema Kunde: Ordredato: Bestillings nr. (HMS): Serie nr.: Selger: Ordre nr.: Innkjøps nr. (Handicare): Bruker Navn: Adresse: Postnr.: Telefon (priv.): Mobil: Poststed: Telefon (arb.): E-post:

Detaljer

Testobservator for kjikvadrattester

Testobservator for kjikvadrattester ST0202 Statistikk for samfunnsvitere Bo Lindqvist Institutt for matematiske fag 2 Kap. 11: Anvendelser av kjikvadratfordelingen: Kjikvadrattester Situasjon: Et tilfeldig utvalg av n individer er trukket

Detaljer

Målskjema. Serie nr.: Bruker Navn: Adresse: Kontaktpersoner. E-post: E-post: Levering Adresse:

Målskjema. Serie nr.: Bruker Navn: Adresse: Kontaktpersoner. E-post: E-post: Levering Adresse: Strategos B Målskjema Kunde: Selger: Ordredato: Ordre nr.: Bestillings nr. (HMS): Innkjøps nr. (Handicare): Serie nr.: Bruker Navn: Adresse: Postnr.: Poststed: Telefon (priv.): Telefon (arb.): Mobil: Kontaktpersoner

Detaljer

Kravspesifisering (2): Validering av kravspek er

Kravspesifisering (2): Validering av kravspek er Ø Ø SIF 8035 - Informasjonssystemer Grunnkurs, 2002 Læremål Kravspesifisering (2): Validering av kravspek er Guttorm Sindre, IDI Forstå Kvalitetskriterier for kravspesifikasjoner Viktige steg i prosessen

Detaljer

Handi-Lift ML7 Målskjema

Handi-Lift ML7 Målskjema Handi-Lift ML7 Målskjema Dato: Monteringsdato: Vår ref.: Bestillings nr.: Kunde (HMS): Utprøvingsnr.: Salgsordre Tilbud Utprøving Resirkulering Bruker Navn: Bruker nr.: Fødselsdato: Adresse: Postnr.: Ordre

Detaljer

PDF created with pdffactory Pro trial version

PDF created with pdffactory Pro trial version [ ² Ú»» ³»»² ¾ ²» ¹» ô λ¹²¾² Forord Ü»²²» ²»² ¹» ¼» º ²«¼»»³¾» îðïéò a» ª ¼»»» ô ª ¼» ¾»² ² ³³» ² º± ¾ ²» ¹»²ò Ü»²²» µ ª ¾ «µ» ¼ ¾ ¹±¼ µ»² ³»¼ô ±¹ îðïè ª ²² ± ¼» ¼»²²» ªb» ³»¼»¹» ²»² ª ò»»³¾» îðïê ¼¼»

Detaljer

PDF created with pdffactory Pro trial version

PDF created with pdffactory Pro trial version [ ² Ú»» ³»»² ¾ ²» ¹» ô ß«¹»²¼ ¼»² Forord Ÿ ² îðïé ¹»² ¾» µ ª»» ª ¾ ²» ¹»² ±»ô»»² ±² ª ¾ ²» ¹»²ô µ µ» ± ² ²¹» ±¹ ª»¼ ¹±¹ µ» ¾» ¼ò Ð ² ¾» ¼» ¾ ²» ¹»²» ¾ ¹¹» ± ºa ¹»²¼» ³»æ ó Î ³³» ² º± ¾ ²» ¹»² ²² ± ¼ ±¹

Detaljer

Business modelling is not process modelling Gordijn/Akkermans/van Vliet. : Den fysiske ytring med kontekst og referanse

Business modelling is not process modelling Gordijn/Akkermans/van Vliet. : Den fysiske ytring med kontekst og referanse ! " # %$%& ' " ( ) * ) * + " #, -. / 0 1-2 3 4 56 7 1-8 6 3 3-1 99 : 6 ; 9 < 9= >? > @ A 6 / 5-1 8-1 3 B 6 1 = A 9 >? C D E# ) " + & # F & ) " ( G? H I6. H / ; I 5/ 2 3 4 6-1 5 Boka kap 2.2.7 Language,

Detaljer

Tegn og tekst. Om tegn og glyfer. Tegnkoder og kodetabeller Kode Noe som representerer noe annet. Et representert tegn kan vises på flere måter

Tegn og tekst. Om tegn og glyfer. Tegnkoder og kodetabeller Kode Noe som representerer noe annet. Et representert tegn kan vises på flere måter r s s {rb} ærb p br brp r bs srr på ppr sr sr ss r r r rrr år på s s s sr rr s ss r r s brs å sr r pår rss r rør sp b b år rss å r s s s rprsr ss på r år prspp rprss r rs rr rprss r s r α r s r br s rprsrr

Detaljer

Dagens tema. C-programmering. Nøkkelen til å forstå C-programmering ligger i å forstå hvordan minnet brukes.

Dagens tema. C-programmering. Nøkkelen til å forstå C-programmering ligger i å forstå hvordan minnet brukes. Dagens tema C-programmering Nøkkelen til å forstå C-programmering ligger i å forstå hvordan minnet brukes. Adresser og pekere Parametre Vektorer (array-er) Tekster (string-er) Hvordan ser minnet ut? Variabler,

Detaljer

Vektorer. Dagens tema. Deklarasjon. Bruk

Vektorer. Dagens tema. Deklarasjon. Bruk Dagens tema Dagens tema Deklarasjon Vektorer Vektorer (array-er) Tekster (string-er) Adresser og pekere Dynamisk allokering Alle programmeringsspråk har mulighet til å definere en såkalte vektor (også

Detaljer

Dagens tema INF1070. Vektorer (array er) Tekster (string er) Adresser og pekere. Dynamisk allokering

Dagens tema INF1070. Vektorer (array er) Tekster (string er) Adresser og pekere. Dynamisk allokering Dagens tema Vektorer (array er) Tekster (string er) Adresser og pekere Dynamisk allokering Dag Langmyhr,Ifi,UiO: Forelesning 23. januar 2006 Ark 1 av 23 Vektorer Alle programmeringsspråk har mulighet til

Detaljer

P ² Ö³, ƒ. ƒ μ² 1,. ƒô Ï,. Ô² Ô ³ 2. ƒ ŒŒ - Š ˆ ˆ ƒ ˆ Ÿ. ˆ Š œš ˆ ƒ. ƒ Š. ² μ Ê ² μ ± Ö ² μ Éμ Ö

P ² Ö³, ƒ. ƒ μ² 1,. ƒô Ï,. Ô² Ô ³ 2. ƒ ŒŒ - Š ˆ ˆ ƒ ˆ Ÿ. ˆ Š œš ˆ ƒ. ƒ Š. ² μ Ê ² μ ± Ö ² μ Éμ Ö P18-2007-163. ² Ö³, ƒ. ƒ μ² 1,. ƒô Ï,. Ô² Ô ³ 2 Œ Œ ƒ Œ ƒ ƒ ŒŒ - Š ˆ ˆ ƒ ˆ Ÿ ˆŸ ˆŸ ˆ Š œš ˆ ƒ ˆŸ Œ ƒ Š ƒ Š ² μ Ê ² μ ± Ö ² μ Éμ Ö 1 É Ö ÒÌ ² μ Œμ μ²ó ±μ μ μ Ê É μ μ Ê - É É, ² - Éμ 2 ƒμ μ-μ μ É É ²Ó Ò

Detaljer

v2w x y z { v2~ x x z x x x ƒ S F< E: >U V A C U C > h G T : U E T AAC > H C A r

v2w x y z { v2~ x x z x x x ƒ S F< E: >U V  A C U C > h G T : U E T AAC > H C A r Œ 0 Œ åde Œ mer!! *)+,.- / 0 / 12! +. 9 = D FF FI F K L K M N N FK L P Q R2 S Q V W Y Z S2^ V vorfor modellere, vorfor ta faget vgrenning av faget intereeområde S W I = V Y a bc V Y S2^ YY V FN d Y W =

Detaljer

Unicode. Unikt vakkert eller unisont håpløst? En vandring gjennom tegnkodingens historie. Dag Lamgmyhr, Ifi/UiO Ark 1 av 23

Unicode. Unikt vakkert eller unisont håpløst? En vandring gjennom tegnkodingens historie. Dag Lamgmyhr, Ifi/UiO Ark 1 av 23 Unicode Unikt vakkert eller unisont håpløst? En vandring gjennom tegnkodingens historie Dag Lamgmyhr, Ifi/UiO Ark 1 av 23 Hva er tegnkoding? Tegnkoding er bare å definere en tabell over hvilke tegn man

Detaljer

Kvalitet av konseptuelle modeller

Kvalitet av konseptuelle modeller Oversikt over forelesningen Kvalitet av konseptuelle modeller Hva menes med kvalitet? Rammeverk for å evaluere modellkvalitet (Kapittel 3) odellkvalitet Introduksjon til språkkvalitet John Krogstie 1.

Detaljer

Tom Heine Nätt og Christian F. Heide. Datasikkerhet

Tom Heine Nätt og Christian F. Heide. Datasikkerhet Tom Heine Nätt og Christian F. Heide Datasikkerhet KAPITTEL 1! " # $ % & ' & ( ) * + *, & - * '. ' / 0. + 1 ' 2 ) 3 & ( 4 5 6 7 6 8 9 : ; < = 8 9 > 7? > @ ) A (. ),. 1 ( A,, 1 ( & B C D E C - F, *, D.

Detaljer

C C H. Forklar trippelbindingen ved betraktning av hybridisering av karbonatomene og atom- og molekylorbitaler.

C C H. Forklar trippelbindingen ved betraktning av hybridisering av karbonatomene og atom- og molekylorbitaler. P! #" %$& & &')(%* " -*..0/.2.3547683:9- ;7? @>; 4AA. B;.!/ 6 ; - BEF %G 6 >A 6.0IJ!/ K MLN.?QP)R7SUTATVAẄ YX >Z0 7? J[!A 62\ ] L.?QP^RBSUTBV`_aWYR +$ bdcfegihbdk lmelyno^p)orq ctsbdhle!c nvuwe!lycxc

Detaljer

Dagens tema: INF2100. Utvidelser av Minila array-er. tegn og tekster. Flass- og Flokkode. prosedyrer. Prosjektet struktur. feilhåndtering.

Dagens tema: INF2100. Utvidelser av Minila array-er. tegn og tekster. Flass- og Flokkode. prosedyrer. Prosjektet struktur. feilhåndtering. Dagens tema: Utvidelser av Minila array-er tegn og tekster Flass- og Flokkode array-er prosedyrer Prosjektet struktur feilhåndtering del 0 Dag Langmyhr,Ifi,UiO: Forelesning 6. september 2005 Ark 1 av 19

Detaljer

LED arbeidslys. Katalog Kontakt: Rakkestad Stavanger Side 1 12/02/17

LED arbeidslys. Katalog Kontakt: Rakkestad Stavanger Side 1 12/02/17 LED arbeidslys Katalog 2017 www.kamled.no post@kamled.no Kontakt: Rakkestad 97660606 - Stavanger 91390246 Side 1 12/02/17 LRD2137 og LRD2138 LED arbeidslys Arbeidslys med plastbrakett Godkjenninger: CE,

Detaljer

Tegn og tekst. Posisjonssystemer. Logaritmer en kort repetisjon. Bitposisjoner og bitmønstre. Kapittel August 2008

Tegn og tekst. Posisjonssystemer. Logaritmer en kort repetisjon. Bitposisjoner og bitmønstre. Kapittel August 2008 Posisjonssystemer 10 5 (100 000) 10 4 (10 000) 10 3 (1 000) 10 2 (100) 10 1 (10) 10 0 (1) Tegn og tekst \yvind og ]se N{rb}? 2 7 (128) 2 6 (64) 2 5 (32) 2 4 (16) 2 3 (8) 2 2 (4) 2 1 (2) 2 0 (1) Kapittel

Detaljer

Dagens tema. Datamaskinen LC-2 En kort repetisjon. Binære tall Litt om tallsystemer generelt. Binære tall. Heksadesimale og oktale tall

Dagens tema. Datamaskinen LC-2 En kort repetisjon. Binære tall Litt om tallsystemer generelt. Binære tall. Heksadesimale og oktale tall Dagens tema Datamaskinen LC-2 En kort repetisjon Binære tall Litt om tallsystemer generelt Binære tall Heksadesimale og oktale tall Programmering av LC-2 Maskinkode Assemblerkode Kjøring av LC-2-programmer

Detaljer

SAKSLISTE SIGDAL KOMMUNE

SAKSLISTE SIGDAL KOMMUNE SAKSLISTE SIGDAL KOMMUNE Styre/råd/utvalg: Eldrerådet Møtested: Kommunestyresalen Møtedato: 03.03.2015 Tid: 14:00 Det innkalles med dette til møte i Eldrerådet Saker til behandling: Saksnr. Arkivsaksnr.

Detaljer

Navn pa plan: R46 Hanestad fjelltak

Navn pa plan: R46 Hanestad fjelltak Í Î Ï Ð Ñ Ò Ó Ï Ô! " #! $ "! % &! % '! ( ( )! * %! ) $ + ', -. / 0 1 2 3 / 4 2 0 2 5 3 / 6. 7 0 / 4 8 5 3 / 9 4 8 2 7. 7 : ; < = 3 > 2? 6 4. 8 @ A. / 6. 7 B 7 3 6 0 A C 0 / : 6 0 > 2 0 / 0 7 5 3 / D 9

Detaljer

IN 147 Program og maskinvare

IN 147 Program og maskinvare Dagens tema Mer om C Et eksempel til (med diverse forklaringer) Representasjon av tegn og logiske verdier Vektorer Statusverdi Innhenting av definisjoner Inkrementering og dekrementering av variable for-setningen

Detaljer

Miljøtekniske Grunnundersøkelser og Tiltaksplan Forurenset Grunn

Miljøtekniske Grunnundersøkelser og Tiltaksplan Forurenset Grunn Statens Vegvesen Region Nord Miljøtekniske Grunnundersøkelser og Tiltaksplan Forurenset Grunn Kartlegging av søppelplass, Skjervøy kommune Planlegging ny fylkesveg 866 Langbakken 2014-01-31 Oppdragsnr.:

Detaljer

SAKSLISTE SIGDAL KOMMUNE

SAKSLISTE SIGDAL KOMMUNE SAKSLISTE SIGDAL KOMMUNE Styre/råd/utvalg: Sigdal Kommunale råd for mennesker med nedsatt funksjonsevne Møtested: Kommunehuset Møtedato: 03.03.2015 Tid: 10:00 Det innkalles med dette til møte i Sigdal

Detaljer

Velkommen til INF2100. Bakgrunnen for INF2100. Hva gjør en kompilator? Prosjektet. Jeg er Dag Langmyhr

Velkommen til INF2100. Bakgrunnen for INF2100. Hva gjør en kompilator? Prosjektet. Jeg er Dag Langmyhr Kursopplegg Velkommen til INF2100 en en for INF2100 Jeg er (dag@ifi.uio.no). Dagens tema: Hva går kurset ut på? for kurset Hvordan gjennomføres kurset? Hvordan får man det godkjent? Pause (med registrering

Detaljer

KONTINUASJONSEKSAMEN I FAG 78052 SYSTEMERING 2 Torsdag 24. august 2000 Tid: kl 0900-1300

KONTINUASJONSEKSAMEN I FAG 78052 SYSTEMERING 2 Torsdag 24. august 2000 Tid: kl 0900-1300 NORGES TEKNISK- NATURVITENSKAPELIGE UNIVERSITET INSTITUTT FOR DATATEKNIKK OG INFORMASJONSVITENSKAP Faglig kontakt under eksamen: Navn: Hallvard Trætteberg Tlf.: 7359 3443 Hjelpemidler: Ingen tillatte hjelpemidler.

Detaljer

Digital representasjon

Digital representasjon Hva skal jeg snakke om i dag? Digital representasjon dag@ifi.uio.no Hvordan lagre tall tekst bilder lyd som bit i en datamaskin INF Digital representasjon, høsten 25 Hvordan telle binært? Binære tall Skal

Detaljer

Velkommen til INF2100

Velkommen til INF2100 Kursopplegg Velkommen til INF2100 Jeg er (dag@ifi.uio.no). Dagens tema: Hva går kurset ut på? Bakgrunn for kurset Hvordan gjennomføres kurset? Hvordan får man det godkjent? Pause (med registrering av fremmøte)

Detaljer

Velkommen til INF2100

Velkommen til INF2100 Kursopplegg Velkommen til INF2100 Jeg er (dag@ifi.uio.no). Dagens tema: Hva går kurset ut på? Bakgrunn for kurset Hvordan gjennomføres kurset? Hvordan får man det godkjent? Pause (med registrering av fremmøte)

Detaljer

ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ Ÿ Œ œ ˆ ˆ Š Œ. .. ³μ. μ ± Ë ²Ó Ò Ö Ò Í É Å ˆˆ Ô± ³ É ²Ó μ Ë ±, μ, μ Ö Œ Œ ˆˆ 79 ˆ Š ˆ

ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ Ÿ Œ œ ˆ ˆ Š Œ. .. ³μ. μ ± Ë ²Ó Ò Ö Ò Í É Å ˆˆ Ô± ³ É ²Ó μ Ë ±, μ, μ Ö Œ Œ ˆˆ 79 ˆ Š ˆ ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ 01.. 4.. 1 Ÿ Œ œ ˆ ˆ Š Œ ˆˆ ˆÄ ˆƒƒ Œˆ Œ Š.. ³μ μ ± Ë ²Ó Ò Ö Ò Í É Å ˆˆ Ô± ³ É ²Ó μ Ë ±, μ, μ Ö ˆ 70 Ÿ Œ œ ˆ ˆ Š Œ ˆˆ ˆÄ 7 ˆ ˆ IFW- ˆˆ ˆ Œ Œ Œ ˆˆ 79 Š ˆ 80 ˆ Š ˆ 81 E-mail: neznamov@vniief.ru

Detaljer

(a δ,a+δ), (a δ,a+δ) = {x R x a < δ}. (a δ,a+δ)\{a} = (a δ,a) (a,a+δ) = {x R 0 < x a < δ}, f(x) = 2x 1.

(a δ,a+δ), (a δ,a+δ) = {x R x a < δ}. (a δ,a+δ)\{a} = (a δ,a) (a,a+δ) = {x R 0 < x a < δ}, f(x) = 2x 1. ÆÇÌ Ì ÇÅ Ê ÆË Ê Î Ä ÌÁÄ ÊÍà Á ÃÍÊË Ì Å Ì½½½ Î ÍÆÁÎ ÊËÁÌ Ì Ì Á Ê Æ ØØ ÒÓØ Ø Ø ÒÒ ÓÐ Ö ÒÓ ÒÝØØ Ô Ò ÙÑ ÙÖ Ø Å Ì½½½ ÓÖ ÓÐ Ø Ð ÐÖ Ó Ò Ó Ö ÙÒ Ñ ÒØ ÓÑ Ø ÙØ ÝÐÐ Ò ÒÓØ Ø Ø Ð Ã Ô ØØ Ð ½ Ñ Ð ÒØ ÒÒ Ø ÒÓ Ò Ö ÑÔÐ Ö

Detaljer

Ó³ Ÿ , º 6Ä7(176Ä177).. 823Ä Œ. Œ ²±μ,,.. É ²,.. μ ²Ó,.. Íμ,.. ŠÊÉÊ μ,.. μ ±μ,.. ÒÏ

Ó³ Ÿ , º 6Ä7(176Ä177).. 823Ä Œ. Œ ²±μ,,.. É ²,.. μ ²Ó,.. Íμ,.. ŠÊÉÊ μ,.. μ ±μ,.. ÒÏ Ó³ Ÿ. 2012.. 9, º 6Ä7(176Ä177).. 823Ä837 Œ ˆŠ ˆ ˆ Š ƒ Š ˆŒ Š Œ ƒ Š Š Š ˆŒ ˆ ˆ. Œ. Œ ²±μ,,.. É ²,.. μ ²Ó,.. Íμ,.. ŠÊÉÊ μ,.. μ ±μ,.. ÒÏ Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê μë ± Ê É É ³.. Š² ³ É Ì ±μ μ, μë Ö μ Éμ É μ μ

Detaljer

Tegn og tekst. \yvind og ]se N{rb}? Læreboka kapittel August Institutt for informatikk 29. august 2007.

Tegn og tekst. \yvind og ]se N{rb}? Læreboka kapittel August Institutt for informatikk 29. august 2007. Tegn og tekst \yvind og ]se N{rb}? Læreboka kapittel 2 29. ugust 2007 IN1040-tekst-1 Problemstilling Utgangspunkt: Hvert tegn i teksten representeres av et unikt bitmønster. Eksempel: Med E = 01000101,

Detaljer

Prosjektplan v1.3 (final)

Prosjektplan v1.3 (final) Prosjektplan v1.3 (final) gruppe 42: Nils-Kristian Liborg (kap.5), Bente Brevig (kap.5), Tom Olav Bruaas (kap: 3.4, 4.1), Eirik Lied (kap: 3.4, 4.1) Hege Lid Pedersen (dokumentasjon, kap: 1, 2, 3.3, 4.3)

Detaljer

Vår ref.: Saksbehandler: Arkiv: 15/ Frode Mikalsen U43 AKVA Løpenr.: Tlf. dir.innvalg: Deres ref.: Dato: 6880/

Vår ref.: Saksbehandler: Arkiv: 15/ Frode Mikalsen U43 AKVA Løpenr.: Tlf. dir.innvalg: Deres ref.: Dato: 6880/ f f æ Å f f f WÅ Ø Ø Å ØY f W ff f j () f f j æ f f j W f f W j f j (jf æ ) f W æ j f f f j j f f f j f ff f W f W f Ø @f wwwf f W "xff "? f W f f W j H j f f j ()) j f f f j j j f j f f ( ) f j f ff f

Detaljer

Digital representasjon

Digital representasjon Hva skal jeg snakke om i dag? Digital representasjon dag@ifi.uio.no Hvordan lagre tall tekst bilder lyd som bit i en datamaskin Hvordan telle binært? Binære tall For å bruke bit (0 og 1) som tall, må vi

Detaljer

Sjøtorget brygge. Konkurransegrunnlag NY KAI. Prosjektbeskrivelse:

Sjøtorget brygge. Konkurransegrunnlag NY KAI. Prosjektbeskrivelse: Sjøtorget brygge Konkurransegrunnlag NY KAI Prosjektnavn: Prosjektbeskrivelse: Oppdragsgiver: Sjøtorget brygge, Drøbak Oktober 2015 Sjøtorget brygge, Drøbak A-1 A PROSJEKTINFORMASJON A.1 Dokumentliste

Detaljer

Tegn og tekst. \yvind og ]se N{rb}? Læreboka kapittel 2. Institutt for informatikk Gerhard Skagestein 30. august 2006.

Tegn og tekst. \yvind og ]se N{rb}? Læreboka kapittel 2. Institutt for informatikk Gerhard Skagestein 30. august 2006. Tegn og tekst \yvind og ]se N{rb}? Læreboka kapittel IN-tekst- Om tegn og glyfer Tegn et bakenforliggende begrep for bestemte strektegninger på papir, skjerm, steintavler... Glyf t tegn kan vises fram

Detaljer

ˆ ˆŒˆ ˆŸ Š Œ ƒˆˆ 60Ä1000 ŒÔ ˆ ˆŠ ˆŸ Ÿ ˆ ˆ ˆ ˆ Š ˆ Š ˆŠˆ

ˆ ˆŒˆ ˆŸ Š Œ ƒˆˆ 60Ä1000 ŒÔ ˆ ˆŠ ˆŸ Ÿ ˆ ˆ ˆ ˆ Š ˆ Š ˆŠˆ Ó³ Ÿ. 2017.. 14, º 1(206).. 144Ä163 ˆ ˆŠ ˆ ˆŠ Š ˆ ˆ ˆŒˆ ˆŸ Š Œ ƒˆˆ 60Ä1000 ŒÔ ˆ ˆŠ ˆŸ Ÿ ˆ ˆ ˆ ˆ Š ˆ Š ˆŠˆ.. É ³μ μ 1,. Œ. ˆ μ,.. ˆ μ,.., ƒ.. Ö μ ƒ É Ê ± É ÉÊÉ Ö μ Ë ± ³... Šμ É É μ ˆ ŠÊ Î Éμ ± É ÉÊÉ, ƒ

Detaljer

FELLESNEMND FOR KOMMUNANE ULLENSVANG, JONDAL OG ODDA I PERIODEN

FELLESNEMND FOR KOMMUNANE ULLENSVANG, JONDAL OG ODDA I PERIODEN FELLESNEMND FOR KOMMUNANE ULLENSVANG, JONDAL OG ODDA I PERIODEN 2017-2019 MØTEINNKALLING: Dato: 13.09.2017 Kl. : 09:00 Stad : Kommunestyresalen i Odda Saksliste 001/17 Godkjenning av innkalling / underteikning

Detaljer

Šˆ Ÿ Š Œ ˆˆ Ÿ ˆ Š ˆ Ÿ

Šˆ Ÿ Š Œ ˆˆ Ÿ ˆ Š ˆ Ÿ ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ 2018.. 49.. 2.. 476Ä581 Œ ƒ ˆŠ Šˆ Ÿ Š Œ ˆˆ Ÿ ˆ Š ˆ Ÿ.. ƒê μ 1, 2,.. Êϱ 2,. ƒ. Ê±μ ± 1,,.. ÒÏ 2 1 Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê 2 Í μ ²Ó Ò ² μ É ²Ó ± Ö Ò Ê É É Œˆ ˆ, Œμ ± ˆ 477 Œ ˆŸ Š ˆ Šˆ Š 480

Detaljer

ISO Dagens tema. Tegn. Uttrykk. I Minila lagres kun heltall, men de kan tolkes som tegn. Det siste om Minila.

ISO Dagens tema. Tegn. Uttrykk. I Minila lagres kun heltall, men de kan tolkes som tegn. Det siste om Minila. April 1995, DFL, Ifi/UiO Dagens tema Dagens tema Det siste om Minila og tekster Flink maskinen Litt datamaskinhistorie Registre og lagre Instruksjoner Flok kode Flass kode I Minila lagres kun heltall,

Detaljer

Meta- og språk-modellering

Meta- og språk-modellering Oversikt over ukas tema Meta- og språk-modellering Guttorm Sindre, IDI Motivasjon for metamodellering Oversikt over sentrale konsepter (2.4 fra boka ) Uttrykkskraft for konseptuelle modelleringsspråk Metamodellering,

Detaljer

dq = c v dt + pdα = 0 dq = c p dt αdp = 0 µ pdα = αdp c p dα = c v dp = c v = D θ = T

dq = c v dt + pdα = 0 dq = c p dt αdp = 0 µ pdα = αdp c p dα = c v dp = c v = D θ = T ÙÖ ½ ÇÔÔ Ø Ò Ò Ò ÓÔÔ Ú º¾½ºÌº ¾¾¼¼ ØÑÓ Ö Ý ¾¼½ Ä Ò Ò ÓÖ Ð Ø Ð ÑÐ Ñ ØØ ÖÑÓÔÔ Ú Ö º¾½ºÌ Î ÒØ Ö Ø ÖÖ ÐÙ Ø Ó Ö Ø Ð Ô Ö Ø Ò Γ ÓÖ ÓÑ Ú Ð Ò µ ÐÐØ Ö Ñ Ò Ö ÒÒ Ø ÖÖ Ø Ò ÙÖ ½µº ÖÑ Ú Ð ÐÙ Ø ÓÑ Ú Ø Ð Ö Γ d µ ÐÐØ Ð

Detaljer

P ²Êϱ 1,..Šμ ² ±μ 1,.. μ Î 1,2 ˆ ˆŸ. ² μ Ê ² μ Ì μ ÉÓ. É μ ±, Ì μé μ Ò É μ Ò ² μ Ö. ÍÒ Œμ ±μ ±μ μ μ Ê É μ μ Ê É É ³. Œ..

P ²Êϱ 1,..Šμ ² ±μ 1,.. μ Î 1,2 ˆ ˆŸ. ² μ Ê ² μ Ì μ ÉÓ. É μ ±, Ì μé μ Ò É μ Ò ² μ Ö. ÍÒ Œμ ±μ ±μ μ μ Ê É μ μ Ê É É ³. Œ.. .. ²Êϱ 1,..Šμ ² ±μ 1,.. μ Î 1,2 ˆ ˆ Œ ˆ ˆŸ Š ˆ : ˆ ˆ ˆ ˆ? P14-2011-18 ² μ Ê ² μ Ì μ ÉÓ. É μ ±, Ì μé μ Ò É μ Ò ² μ Ö 1 Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê, μ Ö 2 ÊÎ μ- ² μ É ²Ó ± É ÉÊÉ Ö μ Ë ± ³... ±μ ²Ó- ÍÒ Œμ ±μ ±μ

Detaljer

P ±Ê. Š - ˆ Œˆ œ Ÿ Š ˆŒ ˆŸ ƒ Ÿ Š Œ ˆ ŠˆŒ. ² μ Ê ² Œ É ³ É Î ±μ ³μ ² μ.

P ±Ê. Š - ˆ Œˆ œ Ÿ Š ˆŒ ˆŸ ƒ Ÿ Š Œ ˆ ŠˆŒ. ² μ Ê ² Œ É ³ É Î ±μ ³μ ² μ. P-22-86.. ±Ê Š - ˆŒˆ œÿ Š ˆŒ ˆŸ ƒ Ÿ Š Œ ˆ ŠˆŒ ˆ Œ ² μ Ê ² Œ É ³ É Î ±μ ³μ ² μ E-mail: dnd@jinr.ru ±Ê.. P-22-86 ŠÊ μî μ- μ² μ³ ²Ó Ö μ± ³ Í Ö Ï Éμ μ μ Ö ± Éμ³ É Î ± ³ μ Ê ³ Ê ²μ ŠμÔËË Í ÉÒ ³μ ² ²μ± ²Ó μ

Detaljer

Kommunestyrets vedtak til Budsjett Tinn kommune. K-sak 112/14

Kommunestyrets vedtak til Budsjett Tinn kommune. K-sak 112/14 til Budsjett 2015 Tinn kommune K-sak 112/14 Vedtatt i Tinn kommunestyret 18. desember 2014 INNHOLDSFORTEGNELSE Forord 3 1. 4 2. Hovedoversikter kommunestyrets vedtak til Budsjett 2015 7 3. Rådmannens budsjettforslag

Detaljer

Læringsmål. INF1000: Forelesning 12. Hovedkilde. Kunne binærtall og heksadesimale tall og konvertering mellom ulike tallsystemer: Titallsystemet

Læringsmål. INF1000: Forelesning 12. Hovedkilde. Kunne binærtall og heksadesimale tall og konvertering mellom ulike tallsystemer: Titallsystemet INF1000: Forelesning 12 Digital representasjon av tall og tekst Læringsmål Kunne binærtall og heksadesimale tall og konvertering mellom ulike tallsystemer: Titallsystemet Det heksadesimale Det binære tallsystemet

Detaljer

Utfordringer med tall

Utfordringer med tall Utfordringer med tall e følgende oppgavene er øvinger for å utdype tallforståelse. e første fem oppgavene handler om faktorer og faktorisering. I de to siste handler det om å vurdere størrelsen av tall

Detaljer

EKSAMEN I EMNE TMA4285 TIDSREKKER OG FILTERTEORI 15. desember 2004 Tid: 09:0013:00

EKSAMEN I EMNE TMA4285 TIDSREKKER OG FILTERTEORI 15. desember 2004 Tid: 09:0013:00 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 3 Bokmål Faglig kontakt under eksamen: Arvid Næss 73 59 70 53/ 99 53 83 50 EKSAMEN I EMNE TMA4285 TIDSREKKER OG FILTERTEORI

Detaljer

ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ ± É,. ˆ. ˆ ± Ñ Ò É ÉÊÉ Ö ÒÌ ² µ, Ê

ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ ± É,. ˆ. ˆ ± Ñ Ò É ÉÊÉ Ö ÒÌ ² µ, Ê ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ 2004.. 35.. 2 Š 621.039.5; 550.837 ƒ ˆŸ Š Œ.. ± É,. ˆ. ˆ ± Ñ Ò É ÉÊÉ Ö ÒÌ ² µ, Ê ˆ 349 Š ƒ ƒˆ Šˆ Œ ˆ ˆ ƒ ˆ Šˆ Š ˆ 350 Ÿ œ Œ Š Œˆ ˆ ˆ ˆ ŠˆŒˆ Œˆ ƒ ˆ Œ ˆ 366 ˆ œ ˆ Š ƒ - ˆ ˆˆ Œ ƒ ƒˆˆ ˆ ƒ

Detaljer

Oppgave 1. Modelleringsperspektiver og modelleringsspråk (40%) Alle underoppgavene teller likt

Oppgave 1. Modelleringsperspektiver og modelleringsspråk (40%) Alle underoppgavene teller likt NORGES TEKNISK- NATURVITENSKAPELIGE UNIVERSITET INSTITUTT FOR DATATEKNIKK OG INFORMASJONSVITENSKAP Side 1 av 2 Faglig kontakt under eksamen: Navn: Hallvard Trætteberg Tlf.: 7359 3443 Hjelpemidler: Ingen

Detaljer

SAKSLISTE SIGDAL KOMMUNE

SAKSLISTE SIGDAL KOMMUNE SAKSLISTE SIGDAL KOMMUNE Styre/råd/utvalg: Hovedutvalg for helse og sosial Møtested: Komunestyresalen Møtedato: 20.05.2014 Tid: 12:00 Det innkalles med dette til møte i Hovedutvalg for helse og sosial.

Detaljer

INF3140 Modeller for parallellitet INF3140/4140: Programanalyse

INF3140 Modeller for parallellitet INF3140/4140: Programanalyse INF3140/4140: Programanalyse Uke 4, side 1. Hvordan sjekke egenskaper ved programmer? Testing eller debugging øker tilliten til programmet ved prøving, men gir ingen garanti for korrekthet Operasjonell

Detaljer

ÓÖÓÖ Ì Ø Ð ½ºÚ Ð Ö ËØ Ò Ö Î Ø ÔÖÓ ÓÖ ÁÒ Ø ØÙØØ ÓÖ ÓÒÓÑ Ú Í µ ÓÖ Ò Ñ ÒØ Ð Ö Ø Ú Ø Ø Ó Ò ÓÖÑ Ø Ú Ú Ð Ò Ò Ö ÒÒÓÑ Ð Ö ÔÖÓ Òº Ì Ø Ð ¾ºÚ Ð Ö Ö Ð Ú Ö Ø Ñ ÒÙ

ÓÖÓÖ Ì Ø Ð ½ºÚ Ð Ö ËØ Ò Ö Î Ø ÔÖÓ ÓÖ ÁÒ Ø ØÙØØ ÓÖ ÓÒÓÑ Ú Í µ ÓÖ Ò Ñ ÒØ Ð Ö Ø Ú Ø Ø Ó Ò ÓÖÑ Ø Ú Ú Ð Ò Ò Ö ÒÒÓÑ Ð Ö ÔÖÓ Òº Ì Ø Ð ¾ºÚ Ð Ö Ö Ð Ú Ö Ø Ñ ÒÙ ÈÖ Ö Ó ÓÒØÖ Ø Ö Ö ÙÐ Ö ØÐ Ú Ö Ò Ö Ö Ì ÓÖ Ø Ó ÑÔ Ö Ò ÐÝ Å Ø ÖÓÔÔ Ú Ñ ÙÒÒ ÓÒÓÑ Ã Ö Å Ö Ö Ø Ð ØÖ ÁÒ Ø ØÙØØ ÓÖ ÓÒÓÑ ÍÒ Ú Ö Ø Ø Ø Ö Ò À Ø ¾¼¼ ÓÖÓÖ Ì Ø Ð ½ºÚ Ð Ö ËØ Ò Ö Î Ø ÔÖÓ ÓÖ ÁÒ Ø ØÙØØ ÓÖ ÓÒÓÑ Ú Í µ ÓÖ

Detaljer

ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ Ï Ìμ μ. Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê

ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ Ï Ìμ μ. Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ 2015.. 46.. 1 Š ˆ Š Š Š.. Ï Ìμ μ Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê ˆ 167 Œ 168 Šμ É Ê±Í Ö 168 μ É Ò Ì ±É É ± 171 ˆ ˆ Šˆ 172 ˆμ Í Ö μ, μ μ Ê ² 172 Í É Ö 173 ³Ò μéò 178 ƒ μ Ò ³ 180 ² Ö ³ É μ μ± Ê ÕÐ

Detaljer

Tsunami Læringsmodeller i matematikk Andreas Christiansen

Tsunami Læringsmodeller i matematikk Andreas Christiansen ÄÖ Ò ÑÓ ÐÐ Ö Ñ Ø Ñ Ø ÍØÚ Ð Ò ÓÔÔ Ú Ò Ö Ö Ø Ò Ò ÈÖ Ø Ô Ó ÙØ ÒÒ Ò À ÙÐ Ò ÎÓÐ Å ¾¼¼ Ì Ñ Ø Ñ Ø Ò³ Ô ØØ ÖÒ Ð Ø Ô ÒØ Ö³ ÓÖ Ø ÔÓ Ø³ ÑÙ Ø ÙØ ÙÐ Ø Ð Ø ÓÐÓÙÖ ÓÖ Ø ÛÓÖ ÑÙ Ø Ø ØÓ Ø Ö Ò ÖÑÓÒ ÓÙ Û Ýº ÙØÝ Ø Ö Ø Ø Ø Ø

Detaljer

ÁÒ ÐÓÚ Ò Ñ ÑÓÖÝ Ó Ä Ø È ÙÐ ½

ÁÒ ÐÓÚ Ò Ñ ÑÓÖÝ Ó Ä Ø È ÙÐ ½ ÝÒ Ñ Ð Ø Ô Ò ÓÒ ÓÖ Ø Ú Â ÑÑÝ È ÙÐ Å Ø ÖÓÔÔ Ú ØÙ ÔÖÓ Ö ÑÑ Ø ÅÓ ÐÐ Ö Ò Ó Ø ÒÐÝ Ñ ØÙ Ö ØÒ Ò Ò Ò ÓÖ Ö Ò Ó Ê Ó ¾¼¼ Î Ð Ö Ö ÐÚ Ò Ñ Ö ¾¼¼ Ø Ñ Ø Ñ Ø ¹Ò ØÙÖÚ Ø Ò Ô Ð ÙÐØ Ø ÍÒ Ú Ö Ø Ø Ø Ç ÐÓ ÁÒ ÐÓÚ Ò Ñ ÑÓÖÝ Ó Ä

Detaljer

Olav Eikland har vært oppdragsleder for Asplan Viak. Arendal, Olav Eikland Oppdragsleder. Øivind Hugsted Utreder

Olav Eikland har vært oppdragsleder for Asplan Viak. Arendal, Olav Eikland Oppdragsleder. Øivind Hugsted Utreder ! " # $ * +, -. / 0 1 2 0 3 + 4. 5 6 7 + 0 8 & & 9 % & ' ( : & & 9! " # ; < 9 = < $ >??! > @! > A ( 9! 8 & & 9 B? C A @ D E F & 8 & & # 9 G & H & I H J F J I & J I & 8 & & 9 8 K L 9 ( J M " N H K H M O

Detaljer

Hvordan komme i gang med ArchiMate? Det første modelleringsspråket som gjør TOGAF Praktisk

Hvordan komme i gang med ArchiMate? Det første modelleringsspråket som gjør TOGAF Praktisk Hvordan komme i gang med ArchiMate? Det første modelleringsspråket som gjør TOGAF Praktisk Logica 2012. All rights reserved No. 3 Logica 2012. All rights reserved No. 4 Logica 2012. All rights reserved

Detaljer

Úª ª ÛøƵ ªµ ªÆÚ ± ÊÒÒ Úª ª ÛøƵ ªµ ªÆÚ ±

Úª ª ÛøƵ ªµ ªÆÚ ± ÊÒÒ Úª ª ÛøƵ ªµ ªÆÚ ± ÆøÊ ±Æ ª ªºÆª; Ã Ê ± ± øµ fiß ª øµ ø ºª ª Ù ÿª ª ÿ± ª Ù Õ ªª Ù fl ª øæ fl ªÚÕ ªª ø Ú ± ªÊ Õ(µ øº ± ª ºÆ Õ ÆÚÓ Ô ÔÌÍËÍ ÆÚÔÍËÙ æ ÆÚÔÈ ÏÚ ªº ø Õ(µ øº ± ª ºÆ Õ ÆÚÓ Ô ÔÌÍËÍ ÆÚÔÍËÙ æ ÆÚÔÈ ÏÚ ªº ª ª ±Æ ª ªºÆª;

Detaljer

Tegn og tekst. Læringsmål. Om tegn og glyfer. Problemstilling. \yvind og ]se N{rb?

Tegn og tekst. Læringsmål. Om tegn og glyfer. Problemstilling. \yvind og ]se N{rb? Læringsmål Tegn og tekst Forstå prinsippene for hvordn tegn og tekst kn representeres ved hjelp v biter og bytes. Kjenne til en del sentrle stndrder, spesielt: ASCII ISO 8859 lfbetsuppen \yvind og ]se

Detaljer

Hovedtall for norsk FoU

Hovedtall for norsk FoU Reidar Conradi Institutt for datateknikk og informasjonsvitenskap Norges teknisk-naturvitenskaplige universitet www.idi.ntnu.no/~conradi, conradi@idi.ntnu.no Tel 73.593444, Fax 73.594466 IDI-seminar, Bårdshaug,

Detaljer

Historikk: datastudier ved NTNU

Historikk: datastudier ved NTNU Reidar Conradi Institutt for datateknikk og informasjonsvitenskap Norges teknisk-naturvitenskaplige universitet www.idi.ntnu.no/~conradi, conradi@idi.ntnu.no Tel 73.593444, Fax 73.594466 Bodø, 20. Nov.

Detaljer

Synnøve Nyhagen Eiendomsmegler MNEF / fagansvarlig / partner M: E: eie.no/kontor/eie-roa

Synnøve Nyhagen Eiendomsmegler MNEF / fagansvarlig / partner M: E: eie.no/kontor/eie-roa Sørengkaia 33 Synnøve Nyhagen Eiendomsmegler MNEF / fagansvarlig / partner M: 92 06 54 82 E: sn@eie.no eie.no/kontor/eie-roa Emilie Skatvedt Eiendomsmeglerfullmektig M: 94 89 48 62 E: esk@eie.no eie.no/kontor/eie-roa

Detaljer

Postmottak Bergen kommune

Postmottak Bergen kommune Fra: Morten Nytun Sendt: 10. mars 2014 10:34 Til: Postmottak Byggesaksavdelingen Kopi: Ulvik, Kjersti Benedikte; Ida Furuholmen Emne: Utfyllende anke sak nr 201127343 Sæls Veie

Detaljer

Dagens tema. Flyt-tall. Koding. Tegnsett. Hvordan lagres de? Hvilke egenskaper har de? Hvordan regner man med dem?

Dagens tema. Flyt-tall. Koding. Tegnsett. Hvordan lagres de? Hvilke egenskaper har de? Hvordan regner man med dem? Dagens tema Flyt-tall Koding Hvordan lagres de? Hvilke egenskaper har de? Hvordan regner man med dem? Koding av instruksjoner 64-bits kode Tegnsett Ulike typer tegnkoding Programmering i C Hva er flyt-tall?

Detaljer

MØTEINNKALLING. Utval: Fast utval for plansaker Møtedato: Møtestad: Ingebrigt Davik-huset, Brattvåg Møtetid: Kl. 12:45

MØTEINNKALLING. Utval: Fast utval for plansaker Møtedato: Møtestad: Ingebrigt Davik-huset, Brattvåg Møtetid: Kl. 12:45 MØTEINNKALLING Utval: Fast utval for plansaker Møtedato: 13.01.2015 Møtestad: Ingebrigt Davik-huset, Brattvåg Møtetid: Kl. 12:45 Den som har lovleg forfall, eller er ugild i nokon av sakene, må melde frå

Detaljer

MØTEINNKALLING. Medlemer som kan vere ugilde i ei sak vert bedne om å gje melding, slik at varamedlemer kan verte kalla inn.

MØTEINNKALLING. Medlemer som kan vere ugilde i ei sak vert bedne om å gje melding, slik at varamedlemer kan verte kalla inn. ØRSTA KOMMUNE MØTEINNKALLING Utval: Eldrerådet Møtestad: Ørstafjord Dato: 28.01.2016 Tid: 13:00 Medlemer som kan vere ugilde i ei sak vert bedne om å gje melding, slik at varamedlemer kan verte kalla inn.

Detaljer

INF2820 Datalingvistikk V2017 Forelesning 1.2 Jan Tore Lønning

INF2820 Datalingvistikk V2017 Forelesning 1.2 Jan Tore Lønning INF2820 Datalingvistikk V2017 Forelesning 1.2 Jan Tore Lønning ENDELIGE TILSTANDSMASKINER OG REGULÆRE SPRÅK 19. januar 2017 2 Fysisk modell En tape delt opp i ruter. I hver rute står det et symbol. En

Detaljer

Understanding Quality in Conceptual Modeling

Understanding Quality in Conceptual Modeling Understanding Quality in Conceptual Modeling Odd Ivar Lindland, Guttorm Sindre, Arne Sølvberg IEEE Software, March 1994 Innhold Modelleringsspråk; eksempler Egenskaper og Perspektiver Hva er en god modell?

Detaljer

ƒ ˆ Š Ÿ PT - ˆŒŒ ˆ Ÿ Š Ÿ ˆŸ Œ Š ˆŒ œ Œ

ƒ ˆ Š Ÿ PT - ˆŒŒ ˆ Ÿ Š Ÿ ˆŸ Œ Š ˆŒ œ Œ ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ 016.. 47.. ƒ ˆ Š Ÿ PT - ˆŒŒ ˆ Ÿ Š Ÿ ˆŸ Œ Š ˆŒ œ Œ.. μ μ μ 1,, ƒ.. Š Íμ, 1 μ ± Ô±μ μ³ Î ± Ê É É ³. ƒ.. ² Ì μ, Œμ ± Œμ ±μ ± μ Ê É Ò Ê É É ³. Œ.. μ³μ μ μ, Œμ ± ˆ 5 ˆ ƒ Œ ˆ Š ˆ ƒ ˆ Œ. Š Ÿ

Detaljer

Forbedret påskekorrigering for detaljomsetning

Forbedret påskekorrigering for detaljomsetning Notater Documents 1/2013 Dinh Quang Pham Forbedret påskekorrigering for detaljomsetning Notater 1/2013 Dinh Quang Pham Forbedret påskekorrigering for detaljomsetning Statistisk sentralbyrå Statistics

Detaljer

Marie-Jose Brossard-Jurkovich

Marie-Jose Brossard-Jurkovich à 161 EX /FA/EG Û Û Û Û Û Û q Û q y y v» 161 EX/FA/EG Û 1. v 2001 5 2126 2. v 12 Andree Lawrey Marie-Jose Brossard-Jurkovich Sebastien Surun Habit Abou Sakr t Diana Cistovaite ½ F.R.Mkandawire y Abdellatif

Detaljer

Porsgrunn kommune Postboks PORSGRUNN. Med hilsen. Ragnhild Lien seksjonssjef Plan og teknikk, offentlig plan og forvaltning

Porsgrunn kommune Postboks PORSGRUNN. Med hilsen. Ragnhild Lien seksjonssjef Plan og teknikk, offentlig plan og forvaltning Porsgrunn kommune Postboks 128 3901 PORSGRUNN Postadresse: Postboks 4350 NO- 2308 Hamar postmottak@jbv.no Sentralbord: 05280 Org. Nr.: 971 033 533 MVA Henvendelse til: Stig Hagelid Fjeldstad Dato: 10.08.2015

Detaljer

Use case modellen. Use case modellering i analysefasen. Hva er en Aktør? Hva er et Use case?

Use case modellen. Use case modellering i analysefasen. Hva er en Aktør? Hva er et Use case? 1/15/2004 1 Use case modellen Use case modellering i analysefasen Metode for å identifisere og beskrive de funksjonelle kravene til et system Kapittel 3 i UML Distilled Kapittel 8 i Gurholt og Hasle Kirsten

Detaljer

Thermal Brewer Aurora

Thermal Brewer Aurora 2 Thermal Brewer Aurora NO Brukerhåndbok Book2b (NO) GTBSH-001 GTBSH-002 GTBSH-003 GTBSH-004 GTBTH-001 GTBTH-002 GTBTH-003 GTBTH-004 GTBSL-001 GTBSL-002 GTBSL-003 GTBSL-004 GTBSH-005 GTBTL-001 GTBTL-002

Detaljer

Ë ÑÑ Ò Ö Ú ÓÚ ÔÖÓ Ø Ì ØØ Ð ÅÌ ÆÖ ½¼ ÓÑÔÐ Ü ÅÓ Ð Ì ÒÝ Ð ØÓ ½ º¼ º¼ ÐØ Ö µ Î Ð Ö µ Ä Ö À ÐÚÓÖ ÒÙÒ ÂÓÒ Ö Ò Ì ÓÑ Ù Ø ÝÚ Ò ÃÓÐ ÇÔÔ Ö Ú Ö ËÙÒ Ø Ñ Ë Ö Ú Ë ÙÖ

Ë ÑÑ Ò Ö Ú ÓÚ ÔÖÓ Ø Ì ØØ Ð ÅÌ ÆÖ ½¼ ÓÑÔÐ Ü ÅÓ Ð Ì ÒÝ Ð ØÓ ½ º¼ º¼ ÐØ Ö µ Î Ð Ö µ Ä Ö À ÐÚÓÖ ÒÙÒ ÂÓÒ Ö Ò Ì ÓÑ Ù Ø ÝÚ Ò ÃÓÐ ÇÔÔ Ö Ú Ö ËÙÒ Ø Ñ Ë Ö Ú Ë ÙÖ ½ Ë ÑÑ Ò Ö Ú ÓÚ ÔÖÓ Ø Ì ØØ Ð ÅÌ ÆÖ ½¼ ÓÑÔÐ Ü ÅÓ Ð Ì ÒÝ Ð ØÓ ½ º¼ º¼ ÐØ Ö µ Î Ð Ö µ Ä Ö À ÐÚÓÖ ÒÙÒ ÂÓÒ Ö Ò Ì ÓÑ Ù Ø ÝÚ Ò ÃÓÐ ÇÔÔ Ö Ú Ö ËÙÒ Ø Ñ Ë Ö Ú Ë ÙÖ Å Ø Ò ÙÖ ÙÒ Ø ÑºÓÑ ÃÓÒØ ØÔ Ö ÓÒ Ì ÓÑ Ù Ø ËØ ÓÖ µ

Detaljer

Kvalitative utsagn fra en logikers ståsted

Kvalitative utsagn fra en logikers ståsted Kvalitative utsagn fra en logikers ståsted Bjørnar Solhaug Seminar om estimering av sikkerhetsnivå fra et tverrfaglig perspektiv SINTEF, 29. september, 2015 1 Oversikt Hva er logikk? Logikk vs. naturlig

Detaljer

I dag UML. Domenemodell visualisering av konsepter. Eksempel. Hvordan finne domeneklasser?

I dag UML. Domenemodell visualisering av konsepter. Eksempel. Hvordan finne domeneklasser? UML Use case drevet analyse og design 31.01.2005 Kirsten Ribu I dag Domenemodell (forløper til klassediagram) Interaksjonsdiagrammer Sekvensdiagram Kollaborasjonsdiagram 1 2 Domenemodell visualisering

Detaljer

SAKSLISTE SIGDAL KOMMUNE

SAKSLISTE SIGDAL KOMMUNE SAKSLISTE SIGDAL KOMMUNE Styre/råd/utvalg: Hovedutvalg for helse og sosial Møtested: Komunestyresalen Møtedato: 04.03.2014 Tid: 18:00-22:00 Det innkalles med dette til møte i Hovedutvalg for helse og sosial

Detaljer

¾

¾ ½ ÆÓÖ ¹ ÌÝ ÌÝ ¹ ÆÓÖ Ê Ø ÙÒ ÁÒ Ó Å Ö Ø Ò Ö ¾ º ÖÙ Ö ¾¼¼ ¾ ÁÒ ÐØ Ú ÖÞ Ò ½ Ä Ò ÖØ Ò ½º½ à ÖØ Ò º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½º½º½ Ä Ò ÖØ º º º º º º º º º º º º º º º

Detaljer

Enkel beskrivelse av islandsk språk

Enkel beskrivelse av islandsk språk Enkel beskrivelse av islandsk språk Både kunnskaper om andrespråksutvikling, om trekk ved elevers morsmål og om norsk språkstruktur er til god nytte i undervisningen. Slike kunnskaper gjør at læreren lettere

Detaljer

Rapport fra verksted

Rapport fra verksted f 4 j Dj c y è 6 8 L : 9 84 86 V wwwj : 66 c@j f I 9 I 4 H 8 fy f 4 (6) fy IHLD U 4 F 4 P 4 D FÅL 8 F 8 Ij 9 IL: H D D PJ PLLI 9 f H 9 P f (PL) P f 4 P f L 4 IUJIVL 4 j 4 I f HV ÅL V y I f 6 P I 6 6 jfø

Detaljer

-Š Š LHC.. ³μ,.. Ö±μ,.. Ê ±μ Î Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê

-Š Š LHC.. ³μ,.. Ö±μ,.. Ê ±μ Î Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ 2008.. 39.. 1 -Š Š LHC.. ³μ,.. Ö±μ,.. Ê ±μ Î Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê.. μ μö É É, μ Ö ˆ 217 Šˆ ˆŸ t-š Š 218 ˆƒ t t- 219 Š ˆ -Š Š 220 Œ ˆ Œ ˆŸ Œ t-š Š E 225 ˆ Œ ˆ Œ t-š Š LHC 228 ˆ ˆŠ t-š

Detaljer

MAT1030 Forelesning 11

MAT1030 Forelesning 11 MAT1030 Forelesning 11 Relasjoner Roger Antonsen - 25. februar 2009 (Sist oppdatert: 2009-03-03 11:37) Kapittel 5: Relasjoner Binære relasjoner Definisjon. La A være en mengde. En binær relasjon på A er

Detaljer

Disseksjon av en font

Disseksjon av en font Velkommen dag@ifi.uio.no L L Alle bruker fonter! Alle vet hva en font er: Fonter i hopetall Det finnes tusenvis av fonter: For bøker: For presentasjoner: Elegante: Morsomme: Garamond Lucida Fax Calligra...

Detaljer

INF1800 LOGIKK OG BEREGNBARHET

INF1800 LOGIKK OG BEREGNBARHET INF1800 LOGIKK OG BEREGNBARHET FORELESNING 1: INTRODUKSJON Roger Antonsen Institutt for informatikk Universitetet i Oslo 19. august 2008 (Sist oppdatert: 2008-09-03 12:35) Velkommen til INF1800! Introduksjon

Detaljer