hoofdstuk 3 bisimulatie checken
|
|
- Leopold Bosmans
- 6 jaren geleden
- Aantal bezoeken:
Transcriptie
1 hoofdstuk isimultie heken 1
2 PROCESSEN Bsi Proess Alger 2. Bisimultie. Bisimultie heken. Reursie 5. Contextvrije proessen 6. Prllelle proessen: interleving 7. Dedlok en ommunitie 8. Curious queues 9. De sheduler 10. Astrtie: de stille stp 11. Aties met prioriteiten 12. Proessen met dt 1. Alternting Bit Protool 2
3
4 Let P nd Q e regulr proesses whose underlying NFA hve totl of n sttes nd m trnsitions. Then, s ws shown y Knellkis nd Smolk [20], whether or not P nd Q re isimilr n e deided in polynomil time, O(nm) time to e ext. (This lgorithm ws susequently improved upon y Pige nd Trjn who devised one tht runs in O(mlog n) time [0].) This is in strk ontrst to the equivlene prolem for regulr expressions, whih ws shown y Stokmeyer nd Meyer to e PSPACE-omplete []. Moreover, isimultion ws originlly defined y Milner s the limit of sequene of suessively finer equivlene reltions k, where 1 is lnguge equivlene. Knellkis nd Smolk showed tht, for eh fixed k, deiding k is PSPACE-omplete, omplexity tht disppers in the limit; i.e., upon rehing.
5 Milner [2] proposed isimilrity to formlly pture the notion of ehviourl equivlene, nd gve it, long with Dvid Prk [2], simple nd elegnt mthemtil definition in terms of isimultions. A isimultion is inry reltion R on proesses suh tht whenever R(P, Q), if P n perform some -trnsition to eome P then Q n perform the sme -trnsition to eome some Q suh tht R(P,Q ); nd onversely if Q n perform some - trnsition to eome Q then P n perform the sme - trnsition to eome some P suh tht R(P,Q ). Note the reursive nture of the definition. Now, two proesses P nd Q re isimilr if there exists isimultion R suh tht R(P,Q). It is well-known tht isimultions re losed under union nd tht the lrgest isimultion, under set inlusion, exists. In ft, this lrgest isimultion,, isn equivlene reltion nd tken to e isimultion equivlene.
6 pgve: ps het KS lgoritme toe op de grf in figuur 1() g: h: d d d Figure 1 () ()
7 .1.1. DEFINITIE. Lten g = (N, E, r) en g = (N, E, r ) twee proesgrfen zijn over de verzmeling A. We definiëren een reeks vn equivlentierelties n (voor n 0) tussen proesgrfen, ls volgt. (i)g 0 h geldt voor lle proesgrfen g, h. (ii) g n+1 h, ls elke -stp vnuit de wortel vn g gemtht kn worden door een -stp vnuit de wortel vn h, zodnig dt voor de eindpunten s, t vn deze -stppen (preiezer, de sugrfen g s en g t epld door deze eindpunten) geldt s n t, en vie vers. Tenslotte: g h ls n g n h. De grfen g, h heten dn oservtioneel equivlent.
8 .2. Het minimliseren ( ollpsen ) vn een proesgrf. In de theorie vn eindige utomten heen we stte minimlistion. Zo ook voor proessen. Een isimultie vn proesgrf g met zihzelf, R: g g, heet een uto-isimultie. Bij een proesgrf g nemen we nu zijn mximle utoisimultie. (Die is er, omdt de vereniging vn twee isimulties tussen g,h weer een isimultie is; door de vereniging vn lle isimulties tussen g en h te nemen, heen we de unieke mximle isimultie.) Deze mximle utoisimultie R mx : g g geeft dus n welke knopen vn g met elkr isimilir zijn. Door deze isimilire knopen met elkr te identifieren, krijgen we de minimlistie g min vn g.
9 g min kn niet nog verder ge-ollpst worden. Bovendien heen we:.2.1. PROPOSITIE. Voor proesgrfen g, h en hun minimlisties g min en h min geldt: g h g min = h min. (Hierij is de = in de rehterknt, de gelijkheid op grfen, soms ook wel grf-isomorfie genoemd.) Deze propositie houdt dus in dt om te heken of g en h isimilir zijn, we lleen mr hoeven te eplen of hun minimlisties hetzelfde zijn.
10 0 α 0: {(, α), (,α), (,α)} 1: {(,α)} 2: {(,α)} : {(,α)} : {(,α)} 5: {(,α)} 6: {(,α)} 5 6
11 0 α 0: {(, γ), (, γ), (, β)} 1: {(, γ)} 2: {(, β)} β : {(, γ)} : {(, γ)} γ 5: {(, γ)} 6: {(, γ)} 5 6
12 0 α 0: {(, δ), (, γ), (, β)} 1: {(, δ)} 2: {(, β)} γ : {(, γ)} : {(, δ), (, γ)} β δ 5: {(, δ)} 6: {(, δ)} 5 6
13 0 5 6
14
opgaven formele structuren procesalgebra
opgven formele struturen proeslger Opgve 1. (opgve 3.3.7 op p.97 vn het ditt 2005) Een mier moet vn links voor onder nr rehts hter oven op een kuus, met ties (rehts), (hter), en (oven). Uitwerking vn opgve
Nadere informatieIn dit hoofdstuk introduceren we de hoofdrolspelers van het college: eindige automaten.
9 2 Eindige utomten In dit hoofdstuk introduceren we de hoofdrolspelers vn het college: eindige utomten. 2.1 Deterministische eindige utomten We eginnen met een vooreeld. Vooreeld 2.1 Beschouw het volgende
Nadere informatieVorig college. IN2505-II Berekenbaarheidstheorie. Intermezzo / kleine opfriscursus. Deterministische eindige automaten (DFA) College 6
Vorig college College 6 Algoritmiekgroep Fculteit EWI TU Delft Hotel Hilbert Aftelbrheid vs. Overftelbrheid Digonlisering Overftelbrheid vn R 6 mei 2009 1 2 Intermezzo / kleine opfriscursus Deterministische
Nadere informatieAutomaten & Complexiteit (X )
Automten & Complexiteit (X 401049) Eigenschppen vn reguliere tlen Jeroen Keiren j.j..keiren@vu.nl VU University Amsterdm 9 Februri 2015 Reguliere tlen Vorig college: De volgende beweringen zijn equivlent:
Nadere informatieZelfstudie practicum 1
Zelfstudie prtium 1 1.8 Gegeven is de volgende expressie:. () Geef de wrheidstel vn deze expressie. () Minimliseer de gegeven expressie. () Geef een poort implementtie vn de expressie vn onderdeel ().
Nadere informatieHet reëel getal b is een derdewortel van het reëel getal a c. Een getal en zijn derdewortel hebben hetzelfde toestandsteken.
Werkoek Alger (cursus voor 5u wiskunde) Hoofdstuk : Rekenen in R Nm:. 1. Derdewortel vn een reëel getl (oek pg 7) Een derdewortel vn het reëel getl is dus een getl wrvn de derdemcht gelijk is n. Vooreelden:
Nadere informatieFormeel Denken 2012 Uitwerkingen Tentamen
1. Schrijf de formule vn de propositielogic Formeel Denken 2012 Uitwerkingen Tentmen (23/01/13) ( ) volgens de officiële grmmtic uit de syllus, en geef de wrheidstel. De officiële schrijfwijze is De ijehorende
Nadere informatieBekijk onderstaand algoritme recalg. Bepaal recalg(5) en laat zien hoe u het antwoord hebt verkregen.
Vooreeldtentmen 1 Tentmen Dtstructuren en lgoritmen (T641 en T6741) OPGAVE 1 c d Bekijk onderstnd lgoritme recalg. Bepl recalg() en lt zien hoe u het ntwoord het verkregen. Wt erekent recalg in het lgemeen?
Nadere informatieParels van studenten tijdens een examen
Prel 1 Prels vn studenten tijdens een exmen c k x k n+1 n+1 ( = c k x k ( ) )x c n+1x n+1 n+1 k ( ) k x n+1 k ( ) k k k Prel 2 Vrg: Zij n N, c k C voor k = 1,..., n, c n 0. Toon n dt de functie f(z) =
Nadere informatieis het koppel dat overeenkomt met het eindpunt van λ.op ax by = a a b x y = a b = x y a b ax by bx + ay = a b
1 Tweedimensionle Euclidische ruimte 11 Optelling, verschil en sclire vermenigvuldiging = ( b, ) b, is de verzmeling vn lle koppels reële getllen { } Zols we ons de reële getllen kunnen voorstellen ls
Nadere informatieUNIFORM HEREXAMEN MULO tevens TOELATINGSEXAMEN VWO/HAVO/NATIN 2008
MINISTERIE VN ONERWIJS EN VOLKSONTWIKKELING EXMENUREU UNIFORM HEREXMEN MULO tevens TOELTINGSEXMEN VWO/HVO/NTIN 008 VK : WISKUNE TUM : TIJ : ------------------------------------------------------------------------------------------------------------------------
Nadere informatieFormeel Denken. Herfst 2004. Contents
Formeel Denken Hermn Geuvers Deels geseerd op het herfst 2002 dictt vn Henk Brendregt en Bs Spitters, met dnk n het Discrete Wiskunde dictt vn Wim Gielen Herfst 2004 Contents 1 Automten 1 1.1 Automten
Nadere informatie2. Gegeven is de driehoek van figuur 10.10a. Gevraagd worden hoek β en de zijden a en c.
Wiskunde voor bchelor en mster Deel Bsiskennis en bsisvrdigheden c 05, Syntx Medi, Utrecht www.syntxmedi.nl Uitwerkingen hoofdstuk 0 0... Voor scherpe hoek α geldt:. sin α = 0,8 α = sin 0,8 = 5, d. cos
Nadere informatieOngelijkheden groep 2
Ongelijkheden groep Rvi & Cuchy-Schwrz Trnstrendtriningsdg (triningsdg, 6 mrt 009 Cuchy-Schwrz Cuchy-Schwrz Voor reële getllen x,, x n en y,, y n geldt: x i y i en bijgevolg x i y i n n met gelijkheid
Nadere informatieRouteplanning middels stochastische koeling
Routeplnning middels stochstische koeling Modellenprcticum 2008 Stochstische koeling of Simulted nneling is een combintorisch optimlistielgoritme dt redelijke resultten geeft in ingewikkelde situties.
Nadere informatieInhoudsopgave. Inhoud
sopgve 1 Ptronen... 3 2 Vergelijk: tegelptronen... 4 3 Regulier versus context-vrij... 5 4 Lettergrepen: tl met één hnd... 6 5 Bouwpln voor lettergrepen... 7 6 Tlspel met lettergreepstructuur... 8 7 Spiegelwoorden...
Nadere informatieGrammatica s en Ontleden Deeltentamen 1 (van 2)
Grmmtic s en Ontleden Deeltentmen 1 (vn 2) Grmmtic s en Ontleden Deeltentmen 1 (vn 2), Universiteit Utrecht http://www.cs.uu.nl/groups/st/ Donderdg 21 decemer 2006 Deeltentmen 1 (vn 2) > Meerkeuze vrgen
Nadere informatieModerne wiskunde: berekenen zwaartepunt vwo B
Moderne wiskunde: erekenen zwrtepunt vwo B In de edities 7 en 8 ws er in de slotdelen vn VWO B ruimte genomen voor een prgrf over het erekenen vn een zwrtepunt. In de negende editie is er voor gekozen
Nadere informatieGetallenverzamelingen
Getllenverzmelingen Getllenverzmelingen Ntuurlijke getllen Het getlegrip heeft zih wrshijnlijk ontwikkeld op een wijze die overeenkomt met de mnier wrop u zelf de getllen geleerd het. De sis is het tellen.
Nadere informatieREKENEN MACHTEN MET. 5N4p EEBII 2013 GGHM
REKENEN MET MACHTEN Np EEBII 0 GGHM Inhoud Herhlin: Eponentiele roei... Netieve Mchten... Geroken mchten... Etr Oefeninen... 9 Hoere-mchts functies... 0 Overzicht vn de reels... Herhlin: Eponentiële roei
Nadere informatieBEKNOPTE ANTWOORDEN ( geen modeluitwerking! )
OPGVE EKNOPTE NTWOOREN ( geen modeluitwerking! ) e lgemene oplossing vn de 4 e orde V voor buigingsknik is: w( x) = C + C x + C cosα x + C sinα x met: α = en S z = C 4 e vier rndvoorwrden voor dit probleem
Nadere informatie1.1. Atomaire processen. Net zoals strings (woorden) gevormd worden door letters uit een alfabet, worden processen
Hoofdstuk : Bsis Proces Alger Hoofdstuk BPA Bsis Proces Alger.. Inleiding Wt is een proces? Een proces is iets dt voortgt, verloopt, met stppen in de tijd. Processen komen overl in het dgelijks leven voor:
Nadere informatie1 Vlaamse Wiskunde Olympiade : Eerste Ronde.
Vlmse Wiskunde Olympide 99 993 : Eerste Ronde De eerste ronde bestt uit 30 meerkeuzevrgen, opgemkt door de jury vn VWO Het quoteringssysteem werkt ls volgt : een deelnemer strt met 30 punten Per goed ntwoord
Nadere informatieH. 10 Goniometrie Basisbegrippen. a c. Gemeenschappelijke Propedeuse Engineering WISKUNDE H.10
H. 10 Goniometrie 10.1 Bsisegrippen Regelmtig voeren we erekeningen uit, wrin één of meerdere hoeken voorkomen. Voor een sherpe hoek kunnen we 3 goniometrishe verhoudingen definiëren. Deze lten zih het
Nadere informatie100 sin(α) kn. 3,0 m. De horizontale en verticale componenten van de kracht van 100 kn worden in dit voorbeeld bepaald:
Werken met vectren In deze krte ntitie wrden sisvrdigheden vr het werken met vectren tegelicht met een pr vreelden. Het ek gt uit vn enige vrkennis m..t. vectren mr die vrkennis is niet vr iedere strtende
Nadere informatieReguliere Expressies en Automaten: Overzicht
Reguliere Expressies en Automten: Overzicht Alfetten Tekenrijtjes over een lfet Tlen over een lfet Reguliere Uitdrukkingen Reguliere Operties Herkenners voor Reguliere Ptronen Deterministische utomten
Nadere informatieProeftentamen LAI (tweede deel), voorjaar 2006 Uitwerkingen
Proeftentmen LAI (tweede deel), voorjr 2006 Uitwerkingen 1. Lt zien: ls R een trnsitieve reltie op A is, dn is R 2 (dt wil zeggen R R) ook trnsitief. Lt vervolgens zien dt heel lgemeen geldt: ls R trnsitief
Nadere informatieUitwerking Tentamen Analyse B, 28 juni lim
Uitwerking Tentmen Anlyse B, 8 juni 0 Opgve [5pt] Bereken Hint: b = e b log. lim ( sin(π. Zij I =], [. Voor lle I \ {} geldt dt Definieer ( sin(π = e log( sin(π = e log sin(π. ϕ( = f(, f( = log, g( = sin(π.
Nadere informatie1 Theoretische achtergrond voor het schakelen van weerstanden.
Theoretische chtergrond voor het schkelen vn weerstnden.. Serieschkeling. R 2 n Rs R* *2 *n s eide schkelingen zijn equivlent ls een uitenstnder geen verschil ziet tussen eide schkelingen. ij het nleggen
Nadere informatie1a Een hoeveelheid stof kan maar op één manier veranderen. Hoe?
Oefenopgven over Stoffen en Mterilen Uitwerking en ntwoord op elke opgve stt n de ltste opgve. Gegevens kunnen worden opgezoht in de tellen hterin. Als de zwrteftor niet vermeld is mg je 9,81 N/kg nemen.
Nadere informatieAcademisch schrijven Inleiding
- In this essay/paper/thesis I shall examine/investigate/evaluate/analyze Algemene inleiding van het werkstuk In this essay/paper/thesis I shall examine/investigate/evaluate/analyze To answer this question,
Nadere informatieFOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE
FOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE Tentamen Analyse 6 januari 203, duur 3 uur. Voeg aan het antwoord van een opgave altijd het bewijs, de berekening of de argumentatie toe. Als je een onderdeel
Nadere informatieExamen VWO. wiskunde B1,2 (nieuwe stijl)
wiskunde 1,2 (nieuwe stijl) Exmen VWO Voorbereidend Wetenschppelijk Onderwijs Tijdvk 1 insdg 25 mei 13.30 16.30 uur 20 04 Voor dit exmen zijn mximl 86 punten te behlen; het exmen bestt uit 18 vrgen. Voor
Nadere informatieNoordhoff Uitgevers bv
I- I- 38 lok 3 IT - eetkundige pltsen met Geoger ldzijde 8 H Het spoor vn lijkt een irkel te zijn. De irkel is de meetkundige plts vn een onstnte hoek. Het ewijs komt voor ij de stelling vn Thles. Gegeven:
Nadere informatieEfficiënt zoeken in grote tekstbestanden
Efficiënt zoeken in grote tekstbestnden Een gstles wiskunde voor hvo/vwo 3 en 4, verzorgd door de Universiteit Twente Mriëlle Stoeling en Mrk Timmer Google, Twitter, en Fcebook doorzoeken in een mum vn
Nadere informatiePak jouw passer en maak de afstand tussen de passerpunten 3 cm.
Psser en irkel Verkennen Opgve 1 Op de foto hiernst wordt met ehulp vn een psser een irkel getekend. Pk jouw psser en mk de fstnd tussen de psserpunten 3 m. Teken een punt M en zet drin de stlen punt vn
Nadere informatieVoorbereidende opgaven Kerstvakantiecursus
Voorbereidende opgven Kerstvkntiecursus Tips: Mk de volgende opgven het liefst voorin in één vn de A4-schriften die je gt gebruiken tijdens de cursus. Als een som niet lukt, kijk dn even in het beknopt
Nadere informatiePraktische Opdracht Lineair Programmeren V5
Prktische Opdrcht Lineir Progrmmeren V5 Bij deze prktische opdrcht g je n het werk met een ntl prolemen die je door middel vn Lineir Progrmmeren kunt oplossen. Je werkt lleen of in tweetllen. De prktische
Nadere informatie1.0 Voorkennis. Voorbeeld 1:
1.0 Voorkennis Voorbeeld 1: 4 2 4 2 8 5 3 5 3 15 Als je twee breuken met elkr vermenigvuldigd moet je de tellers en de noemers vn beide breuken met elkr vermenigvuldigen. Voorbeeld 2: 3 3 1 5 4 8 3 5 4
Nadere informatieOP GETAL EN RUIMTE KUN JE REKENEN
OP GETAL EN RUIMTE KUN JE REKENEN Welke wiskunde moet ik kiezen? Dit jr moet je gn kiezen welke wiskunde je wilt gn volgen in de bovenbouw. Hieronder kun je lezen wt wiskunde A, en D inhouden. Wiskunde
Nadere informatieOntleden? Leuk! Inleiding. Opzet van deze lesbrief. Door Henk Jongsma, hoofdauteur Op Niveau tweede fase
Door Henk Jongsm, hoofduteur Op Niveu tweede fse Ontleden? Leuk! Inleiding Lstig soms, dt ontleden. Denk je net een regel te egrijpen, kom je weer een uitzondering tegen. En ls je denkt die uitzondering
Nadere informatieVoorbereidende opgaven Stoomcursus
Voorereidende opgven Stoomcursus Tips: MEER DAN 0 JAAR ERVARING Dit document estt uit twee delen: de voorereidende opgven en een overzicht met lgerïsche vrdigheden. Mk de volgende opgven het liefst voorin
Nadere informatie6.0 INTRO. 1 a Bekijk de sommen hiernaast en ga na of ze kloppen. 1 2 0 3 = 2 2 3 1 4 = 2 3 4 2 5 = 2 4 5 3 6 = 2 5 6 4 7 = 2...
113 6.0 INTRO 1 Bekijk de sommen hiernst en g n of ze kloppen. Schrijf de twee volgende sommen uit de rij op en controleer of deze ook ls uitkomst 2 heen. c Schrijf twee sommen op die veel verder in de
Nadere informatieDeel 2 hoofdstuk 19 BOEKHOUDEN GEBOEKSTAAFD -- DEEL 2 -- HFD 19. Versie 1.01 -- 31-aug-2011. Aannemersbedrijf 1 / 3. Aannemersbedrijf 2 / 3
Annemersbedrijf 1 / 3 Deel 2 hoofdstuk 19 de dministrtie vn dienstverlenende bedrijven Projectkrt Voor elk project wordt een voorclcultie gemkt. Deze wordt op de projectkrt vstgelegd. Tijdens de uitvoering
Nadere informatieVoorbereidende opgaven Stoomcursus
Voorereidende opgven Stoomcursus Tips: Mk de volgende opgven het liefst voorin in één vn de A4-schriften die je gt geruiken tijdens de cursus. Als een som niet lukt, kijk dn even in het eknopt overzicht
Nadere informatieWerkkaarten GIGO 1184 Elektriciteit Set
Werkkrten GIGO 1184 Elektriiteit Set PMOT 2006 1 Informtie voor de leerkrht Elektriiteit is één vn de ndhtsgeieden ij de nieuwe kerndoelen voor ntuur en tehniek: 42 De leerlingen leren onderzoek doen n
Nadere informatie1 Serieschakeling. Rs I I I RS I ... I I I
Hoofdstuk 4 Het shkelen vn weerstnden Serieshkeling Us U s I I * I 2* I 2... n* In * I 2* I... n* I S I I 2 s 2... n * I 2* I n* I... I I I s is steeds groter dn de grootste. weerstnden gelijk dn over
Nadere informatieDiscrete Structuren. Piter Dykstra Sietse Achterop Opleidingsinstituut Informatica en Cognitie
Discrete Structuren Piter Dykstra Sietse Achterop Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 3 maart 2008 GRAFEN & BOMEN Paragrafen 6.1-6.4 Discrete Structuren
Nadere informatieHoe plan je een grote taak?
3 PLANNEN Hoe pln je een grote tk? Wt heb je n deze les? In deze les leer je hoe je grote tken in stukken opdeelt en over meerdere dgen inplnt. Hndig ls je bijvoorbeeld voor een toets moet leren, wnt zo
Nadere informatieHOOFDSTUK 1 BASISBEGRIPPEN
I - 1 HOOFDSTUK 1 BASISBEGRIPPEN 1.1. Het egrip krcht 1.1.1. Definitie vn krcht Een stoffelijk punt is een punt wrn een zekere mss toegekend wordt. Dit punt is meestl de voorstellende vn een lichm. Zo
Nadere informatieDidactische ondersteuning van theoretische informatica
Didctische ondersteuning vn theoretische informtic Annelotte BOLLEN promotor: Prof. dr. Frnk NEVEN Acdemiejr 2004-2005 Eindverhndeling voorgedrgen tot het ekomen vn de grd licentit in de informtic fstudeervrint
Nadere informatieHoofdstuk 2: Bewerkingen in R
Werkoek Alger (cursus voor 5u wiskunde) Hoofdstuk : Rekenen in R Nm:. Hoofdstuk : Bewerkingen in R - 7 Kls:... 1. Optellen, ftrekken, vermenigvuldigen en delen in R (oek pg 15): Som: 1. vn twee getllen
Nadere informatieHet bepalen van een evenwichtstoedeling met behulp van het 1 e principe van Wardrop is equivalent aan het oplossen van een minimaliserings-probleem.
Exmen Verkeerskunde (H1I6A) Ktholieke Universiteit Leuven Afdeling Industrieel Beleid / Verkeer & Infrstructuur Dtum: dinsdg 2 september 28 Tijd: Instructies: 8.3 12.3 uur Er zijn 4 vrgen over het gedeelte
Nadere informatieDatastructuren en algoritmen Uitwerkingen voorbeeldserie huiswerkopgaven
OPGAVE 1 5 punten 5 punten Geseerd op opgve C-4.11 uit het tekstoek (lz. 185). G er vn uit dt polynomen worden opgeslgen in rrys, dt wil zeggen dt coëfficiënt i wordt opgeslgen ls rry-element met index
Nadere informatie1 Vlaamse Wiskunde Olympiade 1987-1988 : Eerste Ronde.
Vlmse Wiskunde Olympide 987-988 : Eerste Ronde De eerste ronde estt steeds uit 0 meerkeuzevrgen, opgemkt door de jury vn VWO Het quoteringssysteem werkt ls volgt: een deelnemer strt met 0 punten, per goed
Nadere informatieProcestheorie. Project UvA, Informatica 1e jaar. juni 2005
Procestheorie Project UvA, Informtic 1e jr juni 2005 1 Inhoud 1 Inleiding 2 2 Bsis Proces Algebr 4 2.1 De theorie BP A.................................. 4 2.2 Procesgrfen....................................
Nadere informatieBespreking Examen Analyse 1 (Juni 2007)
Bespreking Exmen Anlyse 1 (Juni 2007) Voorf: Zols ik ook vorig jr in juni en in september gedn heb, geef ik hier bedenkingen bij het exmen vn deze junizittijd. Ik zorg ervoor dt deze tekst op toledo komt,
Nadere informatieDiscrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 23 februari 2009 GRAFEN & BOMEN Paragrafen 6.1-6.4 Discrete Structuren Week 3 en 4:
Nadere informatieDe oppervlakte van de rechthoek uit de vorige opgave hangt van dezelfde variabelen af.
Opgve 1 Vn twee korte en twee lnge luifers is een rehthoek geleg. Omt je geen fmetingen weet hngt e omtrek vn eze rehthoek f vn twee vrielen, nmelijk lengtekorteluif er en lengtelngeluif er. Welke formule
Nadere informatieHet Poincarévermoeden in dimensie 2 Erik Visse
Het Poincrévermoeden in dimensie 2 Erik Visse An het egin vn de eeuw ewees Grigori Perelmn het Poincrévermoeden uit 1904 en loste drmee het eerste milleniumproleem op. Het Poincrévermoeden geeft criteri
Nadere informatie1 Vlaamse Wiskunde Olympiade 1994 1995 : Eerste Ronde.
Vlmse Wiskunde Olmpide 994 995 : Eerste Ronde De eerste ronde bestt uit 30 meerkeuzevrgen, opgemkt door de jur vn VWO Het quoteringsssteem werkt ls volgt : een deelnemer strt met 30 punten Per goed ntwoord
Nadere informatieInhoudsmaten. Verkennen. Uitleg. Opgave 1. Dit is een kubus met ribben van 1 m lengte. Hoeveel bedraagt de inhoud ervan?
Inhousmten Verkennen Opgve 1 Dit is een kuus met rien vn 1 m lengte. Hoeveel ergt e inhou ervn? Kun je e nm kuieke meter ls eenhei vn inhou verklren? In hoeveel kleinere kuussen is eze kuieke meter vereel?
Nadere informatieVoorbereidende opgaven Examencursus
Voorbereidende opgven Exmencursus Tips: Mk de voorbereidende opgven voorin in één vn de A4-schriften die je gt gebruiken tijdens de cursus. Als een opdrcht niet lukt, werk hem dn uit tot wr je kunt en
Nadere informatieHoofdstuk 0: algebraïsche formules
Hoofdstuk 0: lgebrïsche formules Dit hoofdstuk hoort bij het eerste college infinitesimlrekening op 3 september 2009. Alle gegevens over de cursus zijn te vinden op http://www.mth.uu.nl/people/hogend/inf.html
Nadere informatieGrammatica s en Ontleden Deeltentamen 1 (van 2) Dinsdag 18 december 2007 (15:00-17:00)
Grmmtic s en Ontleden Deeltentmen 1 (vn 2) Dinsdg 18 decemer 2007 (15:00-17:00) John Jeuring Dit exmen estt uit cht meerkeuze vrgen en een open vrg. Geef ltijd het este ntwoord op een meerkeuzevrg. In
Nadere informatieFOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE
FOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE Tentamen Analyse 8 december 203, duur 3 uur. Voeg aan het antwoord van een opgave altijd het bewijs, de berekening of de argumentatie toe. Als jeeen onderdeel
Nadere informatie6.4 Rekenen met evenwichtsreacties
6.4 Rekenen met evenwihtsreties An de hnd vn een reeks vooreelden zullen we het rekenwerk ehndelen n evenwihtsreties. Vooreeld 6.2 We estuderen het gsevenwiht: A(g) + B(g) C(g) + D(g) In een ruimte vn
Nadere informatieDoor Henk Jongsma, hoofdauteur Op niveau tweede fase, eerste editie. Pesten en klikken
Door Henk Jongsm, hoofduteur Op niveu tweede fse, eerste editie Inleiding Pesten en klikken Dr zou iets n gedn moeten worden, dt zouden ze moeten verieden. Hoe vk hoor je dt niet? Zoiets denk jij vst ook
Nadere informatieSolid Mechanics (4MB00) Toets 2 versie 2
Solid Mechnics (4MB00) Toets 2 versie 2 Fculteit : Werktuigouwkunde Dtum : 2 pril 2014 Tijd : 13.45-15.15 uur Loctie : Pviljoen Stud Hu 2 Deze toets estt uit 3 opgven. De opgven moeten worden gemkt met
Nadere informatieFOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE
FOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE Tentamen Bewijzen en Technieken 1 7 januari 211, duur 3 uur. Voeg aan het antwoord van een opgave altijd het bewijs, de berekening of de argumentatie toe.
Nadere informatie1.0 Voorkennis. Voorbeeld 1:
1.0 Voorkennis Voorbeeld 1: 4 2 42 8 5 3 53 15 Als je twee breuken met elkr vermenigvuldigd moet je de tellers en de noemers vn beide breuken met elkr vermenigvuldigen. Voorbeeld 2: 3 3 1 5 4 8 3 5 4 24
Nadere informatieAnalyse. Lieve Houwaer Dany Vanbeveren
Anlyse Lieve Houwer Dny Vnbeveren . Relties, functies, fbeeldingen, bijecties Voor niet-ledige verzmelingen A en B noemen we elke deelverzmeling vn de productverzmeling A x B een reltie vn A nr B. We noemen
Nadere informatieAcademisch schrijven Inleiding
- In dit essay/werkstuk/deze scriptie zal ik nagaan/onderzoeken/evalueren/analyseren Algemene inleiding van het werkstuk In this essay/paper/thesis I shall examine/investigate/evaluate/analyze Om deze
Nadere informatieVoorbereidend Wetenschappelijk Onderwijs Tijdvak 1 Dinsdag 25 mei uur
wiskunde 1,2 (nieuwe stijl) Exmen VWO Voorbereidend Wetenschppelijk Onderwijs Tijdvk 1 insdg 25 mei 13.30 16.30 uur 20 04 Voor dit exmen zijn mximl 86 punten te behlen; het exmen bestt uit 18 vrgen. Voor
Nadere informatieRekenregels van machten
4 Rekenregels vn mchten Dit kun je l 1 mchten met een ntuurlijke exponent berekenen mchten met een gehele exponent berekenen 3 terminologie in verbnd met de mchtsverheffing correct gebruiken Test jezelf
Nadere informatie2 Opgaven bij Hoofdstuk 2
2 Opgven bij Hoofdstuk 2 Opgve 2. De functie f : R 2 R is gedefinieerd door ) Bewijs dt f continu is op R 2 \ {(, )}. f(, y) = 2 y 2 + y 2 ls (, y) (, ) f(, ) =. b) Bewijs dt voor iedere R de functie y
Nadere informatiePuntenslijper-robot. Stuklijst. Afmetingen (mm)
108.535 Puntenslijper-robot Stuklijst Antl Afmetingen (mm) Houten blokje 1 50x50x50 Houten blokje 1 40x40x40 Houten ltje 1 250x15x15 Multiplex 1 200x200x4 Dubbele puntenslijper 1 25x25x15 Ktrolwiel, met
Nadere informatieDaylight saving time. Assignment
Daylight saving time Daylight saving time (DST or summertime) is the arrangement by which clocks are advanced by one hour in spring and moved back in autumn to make the most of seasonal daylight Spring:
Nadere informatie4. LOGARITMISCHE EN EXPONENTIËLE FUNCTIES
4. LOGARITMISCHE EN EXPONENTIËLE FUNCTIES 4.. Logritmische functies 4... Inleiding 4... Rekenen met rtionle eponenten Een mcht met rtionle eponenten (strikt positief grondtl) kennen we reeds vn vroeger:
Nadere informatieContinuïteit en Nulpunten
Continuïteit en Nulpunten 1 1 Inleiding Continuïteit en Nulpunten In de wiskunde wordt heel vk gebruik gemkt vn begrippen ls functie, functievoorschrift, grfiek, Voor een gedetilleerde inleiding vn deze
Nadere informatieLengteverandering bij temperatuurverandering.
2 Uitzetting. Opgve 2.1 Lengteverndering ij tempertuurverndering. De ene stof zet sterker uit dn de ndere. Deze mterileigenshp wordt ngegeven met de lineire uitzettingsoëffiiënt (α). De lineire uitzettingsoëffiiënt
Nadere informatienaam blad : 37 = 299 : 23 = 882 : 63 = 364 : 26 = : 47 = : 43 = 47 kan keer van af kan keer van af 47 = =
7b Hulp bld 1 nm 1 Reken uit met de rekenmchine 444 : 37 = 299 : 23 = 882 : 63 = 364 : 26 = 2 Reken uit met rest Voorbeeld: 469 : 37 = ntwoord op de rekenmchine: 12,675675 37 kn 12 keer vn 469 f 12 37
Nadere informatieLogica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 3
Logica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 3 3.1 Stel ϕ, ψ α, β γ, en ψ, α, γ χ. Indien nu bovendien bekend wordt dat χ onwaar is, maar ψ en β waar, wat weet u dan over ϕ? oplossing:
Nadere informatieKrommen en oppervlakken in de ruimte
(HOOFDSTUK 60, uit College Mthemtis, door Frnk Ares, Jr. nd Philip A. Shmidt, Shum s Series, MGrw-Hill, New York; dit is de voorereiding voor een uit te geven Nederlndse vertling). Krommen en oppervlkken
Nadere informatieDigitale informatieverwerking
Digitle informtieverwerking E. Gernt Inleiding De elektroni leent zih ook uitstekend voor de verwerking vn informtie. De informti is in stt om de één of ndere vorm vn informtie om te zetten in een elektrishe
Nadere informatieNoordhoff Uitgevers bv
Voorkennis: Algerïshe ewerkingen ldzijde 9 V- d e 9 V- 9 V- + + + V- + + 9 d + + + + e + + + + f + g Hoofdstuk - Funties en lger + + + + + + + ldzijde 9 V- + ( + ) + ( )( ) of + of of of ( ) d p p ( p
Nadere informatieLijn, lijnstuk, punt. Verkennen. Uitleg. Opgave 1
Lijn, lijnstuk, punt Verkennen Opgve 1 Je ziet hier een pltje vn spoorrils vn een modelspoorn. De rils zijn evestigd op dwrsliggers. Hoe liggen de rils ten opziht vn elkr? Hoe liggen de dwrsliggers ten
Nadere informatieWelke keuzes heb je op de verschillende beslismomenten? Benoem de fasen, toestanden, beslissingen en de
2009 I 2008 I 2007 I 2006 II Opgve 1 R vn fortuin Z.Eiler verkoopt een boot Sjonnie verkoopt een uto Jn brengt pkjes ron in e bergen Benoem e fsen, toestnen en e beslissingen in bovenstne formulering.
Nadere informatieKwadratische reciprociteit
Kwdrtische recirociteit René Pnnekoek 9 februri 011 Inleiding: kwdrten in Z/Z Beschouw de ring Z/Z en een element Z/Z. We willen weten of een kwdrt is, oftewel of er x Z/Z bestt zodnig dt x. Voor concrete
Nadere informatieStyleView Scanner Shelf
StyleView Scnner Shelf User's Guide Mximl gewicht: 2 ls ( kg) SV Crt & Hoofdeenheid Optie - LCD Crts Optie 2 Lptop Crts Optie 3 Rils n de muur Optie 4 Achterknt SV Crt 3 6 7 Reduce Reuse Recycle of 8 Overzicht
Nadere informatie5.1 Hogeremachtswortels [1]
5. Hogeremchtswortels [] De functie x 2 = p heeft twee oplossingen ls p > 0; De functie x 2 = p heeft één oplossing ls p = 0; De functie x 2 = p heeft geen oplossingen ls p < 0; Het bovenstnde geldt bij
Nadere informatiei(i + 1) = xy + y = x + 1, y(1) = 2.
Kenmerk : Leibniz/toetsen/Re-Exam-Math A + B-45 Course : Mathematics A + B (Leibniz) Date : November 7, 204 Time : 45 645 hrs Motivate all your answers The use of electronic devices is not allowed [4 pt]
Nadere informatieMytylschool De Trappenberg Peter van Sparrentak
Mytylshool De Trppenberg Peter vn Sprrentk www.m3v.nl Nieuwbouwonept en revlidtieentrum geriht op de toekomst Mytylshool De Trppenberg en het ngrenzende revlidtieentrum in Huizen willen in de toekomst
Nadere informatieDe formule van het opslagpercentage voor alle producten luidt:
4.3 Verkoopprijs erekenen Om een product of een dienst met winst te verkopen, moet je eerst goed weten wt de kosten zijn. Als je dt weet, dn kun je de verkoopprijs eplen. Kosten De kostprijs vn een product
Nadere informatieNews: Tours this season!
1 Do you remember? Lees de zinnen en vul de juiste woorden in. Kies uit: like listen presenter too loud great show number next crowd singer. Let op: je houdt twee woorden over. Welcome back to the best
Nadere informatieNCTS - INFORMATIE INZAKE NIEUWIGHEDEN VOOR 2010
NCTS - INFORMATIE INZAKE NIEUWIGHEDEN VOOR 2010 Op basis van het nieuwe artikel 365, lid 4 (NCTS) en het nieuwe artikel 455bis, lid 4 (NCTS-TIR) van het Communautair Toepassingswetboek inzake douane 1
Nadere informatieSLC 69, Strobl, Austria
Eric Joint work with Benjamin Young Fakultät für Mathematik Universität Wien SLC 69, Strobl, Austria The Aztec Diamond Aztec diamonds of orders 1, 2, 3 and 4. The Aztec Diamond Aztec diamonds of orders
Nadere informatieVraag 2. a) Geef in een schema weer uit welke onderdelen CCS bestaat. b) Met welke term wordt onderstaande processchema aangeduid.
Tentmen Duurzme Ontwikkeling & Kringlopen, 1 juli 2009 9:00-12:00 Voordt je begint: schrijf je nm en studentnummer bovenn ieder vel begin iedere vrg op een nieuwe bldzijde ls je een vkterm wel kent in
Nadere informatieShipment Centre EU Quick Print Client handleiding [NL]
Shipment Centre EU Quick Print Client handleiding [NL] Please scroll down for English. Met de Quick Print Client kunt u printers in Shipment Centre EU configureren. De Quick Print Client kan alleen op
Nadere informatieOver waaiers en grenzen
Over wiers en grenzen De onstrutie vn een lgoritme voor de optimle ontwikkeling vn - expressies Kees Jn vn de Looij Mstersriptie Wijsegeerte Fulteit Geesteswetenshppen, Universiteit Utreht Deprtement Wijsegeerte,
Nadere informatie