Friendly Functions and Shared BDD s

Save this PDF as:
 WORD  PNG  TXT  JPG

Maat: px
Weergave met pagina beginnen:

Download "Friendly Functions and Shared BDD s"

Transcriptie

1 Friendly Functions and Shared BDD s Bob Wansink 19 Juni 2010 Deze notitie behandelt pagina s 81 tot 84 van The Art of Computer Programming, Volume 4, Fascicle 1 van Donald E. Knuth. Inhoudelijk gaat het in op friendly functions binnen binary descicion diagrams (BDDs), en shared BDDs. 1 Friendly Functions Van veel typen functies is bekend dat ze relatief kleine BDD s hebben. Een voorbeeld hiervan is een symmetrische functie van n variabelen. Bij symmetrische functies f geldt voor elke tweetal variabelen x i en x j : f(x 1,...,x i,...,x j,...,x n ) = (1) f(x 1,...,x i 1,x j,x i+1,...,x j 1,x i,x j+1,...,x n ) (2) De waardes van de variabelen zijn dus met elkaar te verwisselen zonder de output van de functie te veranderen. Omdat elke waarde met elkaar uitwisselbaar is, zal het aantal enen dat ingevoerd wordt in de functie de uiteindelijke output bepalen. Als we voor n = 5 een BDD zouden moeten opzetten, dan kunnen we beginnen met het onderstaande, driehoekige patroon. De uiteindelijke output van de functie zal bepalen welke waardes er in de sink-nodes zullen komen. Zodra we de sink-nodes hebben ingevuld zal er een BDD overblijven met een maximale grootte van 1

2 n+(n+1) (3) = 1 2 (n+1)(n+2) (4) ( ) n+2 =. (5) 2 Stel, we nemen een functie met n variabelen en we maken twee aangrenzende variabelen identiek. Een voorbeeld bij gegeven f is: g(x 1,...,x n ) = f(x 1,...,x k 1,x k,x k,x k+2,...,x n ) In dit geval is B(g) B(f). Dit heeft de volgende reden: Elke subtabel van f van orde n + 1 k heeft de vorm αβγδ, waarbij α, β, γ, en δ subtabellen zijn van order n 1 k. Bijvoorbeeld een subtabel van f van orde n+1 k is Deze valt uiteen in de subtabellen van orde n 1 k: α = 10, (6) β = 01, (7) γ = 01,en (8) δ = 11. (9) Eensubtabelvang vanorden+1 k heeftdevormααδδ watinditvoorbeeld overeenkomt met Zo n subtabel zal dus enkel een bead kunnen zijn als α δ. In dat geval is (voor f) αβγδ of een bead of het kwadraat van een bead. Hieruit volgt dat: het aantal branchnodes in functie g van orde k ten hoogste gelijk is aan (het aantal branchnodes in functie f van orde k + het aantal branchnodes in functie f van orde k +1). Immers: de onderliggende branchnodes van orde k + 1 worden aan elkaar gelijk gemaakt. Dat betekent dat een van deze branches eruit wordt gereduceerd. De branch van orde k wordt dan de overgebleven branchnode van orde k +1. Het aantal branchnodes in functie g van orde k +1 is gelijk aan 0. Immers: op orde k +1 staan de subtables αα en δδ; twee doubles. Alle andere branchnodes in functies f en g zijn gelijk. Dit proces heet condenseren. De BDD van een functie waarin een aantal aangrenzende variabelen gelijk worden gemaakt zal klein zijn, als die functie weinig beads bevat. Een threshold functie als [2x 1 +3x 3 +x 6 t] is een gecondenseerde versie van de symmetrische functie f(x 1,...,x 6 ) = [x x 6 t]. Dit betekent dat de BDD van deze functie voor elke waarde van t klein zal zijn, 2

3 omdat het aantal beads kleiner is dan dat van zijn symmetrische functie. Dit geldt voor elke threshold functie met niet-negatieve gewichten. Zo kan de bovenstaande threshold-functie [2x 1 + 3x 3 + x 6 t] ook geschreven worden als de symmetrische functie (x 1 + x 1 + x 3 + x 3 + x 3 + x 6 ), waarbij de bijhorende BDD bestaat uit O(n) 2 threshold functies waarvan de gewichten exponentieel groeien. Enkel als de binaire string x 1,...,x n lexicografisch groter of gelijk is aan de binaire representatie van t, zal deze functie true zijn. Zijn BDD zal bestaan uit n+2 nodes als de meest significante bit 1 is. De BDD van t = (1011) 2 zal er dan bijvoorbeeld uit zien als: De 2 m -way multiplexer is een functie met n = m+2 m variabelen. Praktisch gesproken houdt dit in dat de functie m controle variabelen heeft, waarvan de binaire representatie verwijst naar een van de 2 m output variabelen, omdat: M m (x 1,...,x m ;x m+1,...,x n ) = x m+1+(x1,...,x m) 2 De 2 m -way multiplexer heeft een speciale BDD. Voor elke k waarvoor geldt 1 k m heeft de BDD 2 k 1 branch nodes. Voor elke k waarvoor geldt m < k n is er echter maar één niveau van branch nodes. Deze verwijzen elk naar een sink node. Omdat we hierdoor de functie niet kunnen reduceren zal het aantal beads van M m dus B(M m ) = m 1 +2 m +2 zijn. Omdat B(M m ) < 2n betekent dit dus dat de BDD van deze functie klein blijft, en lineair zal meegroeien met het aantal variabelen. Een lineair berekeningsnetwerkmodel is een voorbeeld van situaties waar een BDD uitermate efficient is. Stel we maken een volgorde van n modules. Elke module ontvangt een boolean waarde x k. De modules zijn middels kabels met elkaar verbonden, en deze kabels geven booleaanse waardes door van een module naar zijn opvolgende of voorafgaabde module, of andersom. Voor elke module definiëren we getallen: a k = aantal kabels van module m k naar module m k+1. 3

4 b k = aantal kabels van module m k+1 naar module m k. c k = aantal input kabels van module m k, c k = 1+a k 1 +b k. d k = aantal output kabels van module m k, d k = a k +b k 1. Voor de eerste module is het aantal kabels zowel terug naar als heen van een vorige module 0 (a 0 = 0,b 0 = 0). De laatste module ontvangt geen signalen uit kabels van een volgende module (b n = 0), en heeft één output kabel (a n = 1) welke de returnwaarde geeft van de functie f(x 1,...,x n ). Elke module berekent d k boolean functies voor elk van zijn c k inputs. Wat deze functies doen mag van arbitraire complexiteit zijn, zolang ze well defined zijn in de zin dat hun gezamenlijke waardes volledig afhankelijk zijn van de waardes van x 1,...,x n. Elke keuze van waardes voor x 1,...,x n dient te leiden tot precies één manier om de waardes op alle kabels te zetten. Stelling M: als functie f kan worden berekend middels zo n netwerk, dan: B(f) n k=0 2 a k2 b k Bewijs. We bewijzen dit door te tonen dat de BDD voor f op z n hoogst (2 a k 12 b k 1) branch nodes heeft met label k. Dit wordt duidelijk als er geen kabels van M k naar M k 1 lopen. Op dat moment zijn er namelijk hoogstens 2 a k 1 subfuncties mogelijk; immers, de BDD kan dan maximaal elke bead van een orde hoger uitsplitsen in twee nieuwe beads afhankelijk van de waarde van x k. Een netwerk met a k 1 voorwaartse kabels, en b k 1 achterwaartse kabels tussen modules M k 1 en M k kan worden vervangen door een netwerk waarbij tussen M k 1 en M k a k 1 2 b k 1 voorwaartse kabels zitten en geen achterwaartse kabels. Voor elke mogelijke combinatie van waardes op de achterwaartse kabels voegen we op deze manier a k 1 kabels toe van M k 1 naar M k. Een voorbeeld hiervan vinden we door in het bovenstaande netwerk de kabels tussen M 3 en M 4 te vervangen met enkel voorwaartse kabels. De module M 3 geeft een vier-bits signaal, a, door aan M 4. Dit signaal bestaat uit de uitkomsten van de functies die M 3 hiervoor berekent. Daarnaast geeft module M 4 op dezelfde manier een twee-bits signaal door naar M 3. Voor elke reeks van (x 1,...,x n ) geldt dat M 3 een functie A uitvoert, en M 4 een functie B, waarbij geldt: A(b) = a en B(a) = b. Ergeldt dat M 3 s functie A afhankelijk is van(x 1,x 2,x 3 ) enmodule M 4 weet hier verder niets vanaf. Hetzelfde geldt voor functie B van M 4, die afhankelijk is van (x 4,...,x n ). De sleutel voor het oplossen van dit probleem ligt in het feit dat de functies goed gedefiniëerd moeten zijn, waardoor er voor elke keuze van (x 1,...,x n ) precies één oplossing (a,b) voor deze vergelijking is. Als we M 3 en M 4 willen aanpassen zal M 3 voortaan voor A(00) tot en met A(11) zijn vier-bits oplossingen opsturen. Hierdoor wordt duidelijk wat de A functie van M 3 is. Module M 4 zal dus geen informatie meer terug hoeven te sturen (die wordt immers toch niet meer gebruikt), en pakt de input van M 3, zijn eigen input x 4 en de output van M 5 om de oplossing te geven voor A(b) = a 4

5 en B(a) = b. Hiermee kan voortaan de output naar M 5 berekend worden zonder input van M 3 nodig te hebben. Uit Stelling M komt volgt dat de BDD van dit netwerk klein zal zijn als het aantal kabels tussen twee modules klein blijft. Een voorbeeld hiervan is de drie-op-een-rij functie: f(x 1,...,x n ) = x 1 x 2 x 3 x 2 x 3 x 4... x n 2 x n 1 x n x n 1 x n x 1 x n x 1 x 2. Deze functie geeft true als drie opeenvolgende waardes van x 1 tot en met x n true zijn, waarbij x 1 x n opvolgt. We kunnen die omzetten naar een netwerk van modules, waarbij elke module een van de berekeningen van drie opvolgendevariabelenvoorzijnrekeningneemt.elkemodulem k ontvangtdrieinputs (u k,v k,w k ) van de vorige module, en twee inputs (y k,z k ) van de volgende module, waarbij uiteraard voor module M 1, M n 1, en M n uitzonderingen moeten worden ingebouwd. u k = x k 1 v k = x k 2 x k 1 w k = x n 1 x n x 1... x k 3 x k 2 x k 1 y k = x n z k = x n 1 x n z k geeft dus de waarde van de laatste twee bits weer, y k enkel de laatste bit. Deze moeten terug worden gepropageerd, omdat de eerste module deze nodig heeft om zijn berekening mee uit te voeren. w k geeft door of vorige modules succes hebben gehad. De laatste module zal zijn output baseren op w k v k x k, waarmee correct kan worden doorgegeven of er in de reeks drie opeenvolgende 1 en te vinden waren. 2 Shared BDDs In veel gevallen willen we werken met functies waarvan het resultaat afhankelijk is van subfuncties. In dit soort gevallen kunnen we een BDD-base maken. Deze functie is een samenstelling van alle beads van zijn subfuncties. De BDD-base bevat m root-pointers, waar m het aantal subfuncties is. De beads van de subfuncies worden zo samengeknoopt dat beads van een functie F j enkel bereikbaar zijn als F i hiervan afhankelijk is. Een voorbeeld is het uitrekenen van het resultaat van de som van twee binaire getallen. Deze functie kan worden gezien als: (f n+1 f n f n 1...f 1 ) 2 = (x 1 x 3...x 2n 1 )+(x 2 x 4...x 2n ) 2 5

6 De BDD-base van deze functie bevat 9n 5 nodes, waar n het aantal paren bits is waarvoor de berekening moet worden uitgevoerd. Stel, we tekenen de functie uit als de volgende BDD: In dit geval bevat de BDD 9n 5 knopen. Voor elk paar bits dat uitgerekend moet worden (voor elke subfunctie) worden er 9 beads toegevoegd: 3 voor als de uitkomst van de volgende subfunctie niet afhankelijk is van de uitkomst van de betreffende subfunctie, 3 voor als de volgende subfunctie wel afhankelijk is van de betreffende subfunctie, en 3 voor als zowel de volgende als de daarop volgende subfuncties afhankelijk zijn. We nemen als voorbeeld subfunctie f 3. De uitkomst van f 3 wordt bepaald door de waardes van x 3 en x 4. Echter, als x 3 en x 4 beiden 1 zijn, zal dat de uitkomst van f 2 inverteren. De uitkomst van f 1 kan echter ook worden geinverteerd als precies een van de waardes x 1, x 2 1 is, en x 3 en x 4 beiden 1 zijn. Omdat de subfunctie f 1 geen opvolgende subfuncties heeft die van zijn uitkomst afhankelijk zijn, is het aantal beads voor zijn subfunctie slechts 3. De functies f 5 en f 4 zijn ook speciaal, omdat die respectievelijk geen 1 en 2 opvolgende subfuncties hebben. Hun aantal beads is dan ook 3 en respectivelijk 3. Inclusief de sink nodes komen we dan uit op 9n 5 nodes in de BDD-base, voor waardes van n, met n > 1. 6

Over binaire beslissingsdiagrammen naar Donald E. Knuth s The Art of Computer Programming, Volume 4

Over binaire beslissingsdiagrammen naar Donald E. Knuth s The Art of Computer Programming, Volume 4 Over binaire beslissingsdiagrammen naar Donald E. Knuth s The Art of Computer Programming, Volume 4 Jonathan K. Vis 1 Inleiding (blz. 70 72) In dit essay behandelen we bladzijden 70 75 van Donald E. Knuth

Nadere informatie

Onafhankelijke verzamelingen en Gewogen Oplossingen, door Donald E. Knuth, The Art of Computer Programming, Volume 4, Combinatorial Algorithms

Onafhankelijke verzamelingen en Gewogen Oplossingen, door Donald E. Knuth, The Art of Computer Programming, Volume 4, Combinatorial Algorithms Onafhankelijke verzamelingen en Gewogen Oplossingen, door Donald E. Knuth, The Art of Computer Programming, Volume 4, Combinatorial Algorithms Giso Dal (0752975) Pagina s 5 7 1 Deelverzameling Representatie

Nadere informatie

Opgaven Getaltheorie en Cryptografie (deel 4) Inleverdatum: 13 mei 2002

Opgaven Getaltheorie en Cryptografie (deel 4) Inleverdatum: 13 mei 2002 Opgaven Getaltheorie en Cryptografie (deel 4) Inleverdatum: 13 mei 2002 19.a) Laat zien dat 5 een voortbrenger is van F 37. b) In het sleuteldistributiesysteem van Diffie en Hellman (met G = F 37, α =

Nadere informatie

Stelling. SAT is NP-compleet.

Stelling. SAT is NP-compleet. Het bewijs van de stelling van Cook Levin zoals gegeven in het boek van Sipser gebruikt niet-deterministische turing machines. Het is inderdaad mogelijk de klasse NP op een alternatieve wijze te definiëren

Nadere informatie

6 Ringen, lichamen, velden

6 Ringen, lichamen, velden 6 Ringen, lichamen, velden 6.1 Polynomen over F p : irreducibiliteit en factorisatie Oefening 6.1. Bewijs dat x 2 + 2x + 2 irreducibel is in Z 3 [x]. Oplossing 6.1 Aangezien de veelterm van graad 3 is,

Nadere informatie

OPDRACHT Opdracht 2.1 Beschrijf in eigen woorden wat het bovenstaande PSD doet.

OPDRACHT Opdracht 2.1 Beschrijf in eigen woorden wat het bovenstaande PSD doet. Les C-02: Werken met Programma Structuur Diagrammen 2.0 Inleiding In deze lesbrief bekijken we een methode om een algoritme zodanig structuur te geven dat er gemakkelijk programmacode bij te schrijven

Nadere informatie

Getaltheorie I. c = c 1 = 1 c (1)

Getaltheorie I. c = c 1 = 1 c (1) Lesbrief 1 Getaltheorie I De getaltheorie houdt zich bezig met het onderzoek van eigenschappen van gehele getallen, en meer in het bijzonder, van natuurlijke getallen. In de getaltheorie is het gebruikelijk

Nadere informatie

1 Delers 1. 3 Grootste gemene deler en kleinste gemene veelvoud 12

1 Delers 1. 3 Grootste gemene deler en kleinste gemene veelvoud 12 Katern 2 Getaltheorie Inhoudsopgave 1 Delers 1 2 Deelbaarheid door 2, 3, 5, 9 en 11 6 3 Grootste gemene deler en kleinste gemene veelvoud 12 1 Delers In Katern 1 heb je geleerd wat een deler van een getal

Nadere informatie

Eindexamen wiskunde B 1-2 vwo 2002-II

Eindexamen wiskunde B 1-2 vwo 2002-II Eindexamen wiskunde B 1-2 vwo 2002-II ppervlakte Gegeven is de functie f ( x) = x 1. De lijn k raakt aan de grafiek van f in het punt (10, 3). Zie figuur 1. figuur 1 y k 1 1 f x 5p 1 Stel met behulp van

Nadere informatie

Matrixalgebra (het rekenen met matrices)

Matrixalgebra (het rekenen met matrices) Matrixalgebra (het rek met matrices Definitie A a a n a a n a m a mn is e (m n-matrix Hierbij is m het aantal rij van A n het aantal kolomm (m n noemt m de afmeting( van de matrix A We noter vaak kortweg

Nadere informatie

ONBETWIST ONderwijs verbeteren met WISkunde Toetsen Voorbeeldtoetsen Lineaire Algebra Deliverable 3.10 Henk van der Kooij ONBETWIST Deliverable 3.

ONBETWIST ONderwijs verbeteren met WISkunde Toetsen Voorbeeldtoetsen Lineaire Algebra Deliverable 3.10 Henk van der Kooij ONBETWIST Deliverable 3. ONBETWIST ONderwijs verbeteren met WISkunde Toetsen Voorbeeldtoetsen Lineaire Algebra Deliverable 3.10 Henk van der Kooij ONBETWIST Deliverable 3.8 ONBETWIST ONderwijs verbeteren met WISkunde Toetsen Inleiding

Nadere informatie

1 Vlaamse Wiskunde Olympiade : eerste ronde

1 Vlaamse Wiskunde Olympiade : eerste ronde 1 Vlaamse Wiskunde Olympiade 2005-2006: eerste ronde 1 11 3 11 = () 11 2 3 () 11 5 6 () 11 1 12 11 1 4 11 1 6 2 ls a en b twee verschillende reële getallen verschillend van 0 zijn en 1 x + 1 b = 1, dan

Nadere informatie

Hoofdstuk 1. Getallen tellen. 1.1 Gehele getallen. 1.2 Recursieve definities. 1.3 Het induktieprincipe

Hoofdstuk 1. Getallen tellen. 1.1 Gehele getallen. 1.2 Recursieve definities. 1.3 Het induktieprincipe Hoofdstuk 1 Getallen tellen 1.1 Gehele getallen 1.1.1 Inleiding 1.1.2 De optelling en de vermeningvuldiging 1.1.3 De ordening van de gehele getallen 1.1.4 Het axioma van de goede ordening 1.2 Recursieve

Nadere informatie

De partitieformule van Euler

De partitieformule van Euler De partitieformule van Euler Een kennismaking met zuivere wiskunde J.H. Aalberts-Bakker 29 augustus 2008 Doctoraalscriptie wiskunde, variant Communicatie en Educatie Afstudeerdocent: Dr. H. Finkelnberg

Nadere informatie

V.2 Limieten van functies

V.2 Limieten van functies V.2 Limieten van functies Beschouw een deelverzameling D R, een functie f: D R en zij c R. We willen het gedrag van f in de buurt van c bestuderen. De functiewaarde in c is daarvoor niet belangrijk, de

Nadere informatie

8.0 Voorkennis. Voorbeeld 1: Bereken het snijpunt van 3x + 2y = 6 en -2x + y = 3

8.0 Voorkennis. Voorbeeld 1: Bereken het snijpunt van 3x + 2y = 6 en -2x + y = 3 8.0 Voorkennis Voorbeeld 1: Bereken het snijpunt van 3x + 2y = 6 en -2x + y = 3 2x y 3 3 3x 2 y 6 2 Het vermenigvuldigen van de vergelijkingen zorgt ervoor dat in de volgende stap de x-en tegen elkaar

Nadere informatie

. Maak zelf een ruwe schets van f met A = 2, ω = 6π en ϕ = π 6. De som van twee trigonometrische polynomen is weer een trigonometrisch polynoom

. Maak zelf een ruwe schets van f met A = 2, ω = 6π en ϕ = π 6. De som van twee trigonometrische polynomen is weer een trigonometrisch polynoom 8. Fouriertheorie Periodieke functies. Veel verschijnselen en processen hebben een periodiek karakter. Na een zekere tijd, de periode, komt hetzelfde patroon terug. Denk maar aan draaiende of heen en weer

Nadere informatie

QR-code op aanvoerbrief 2.xx.0: Specificaties

QR-code op aanvoerbrief 2.xx.0: Specificaties QR-code op aanvoerbrief 2.xx.0: Specificaties Door: Bert Velthuijs Datum 1e versie: 5 april 2012 (versie 0.xx) Datum laatste wijziging 20 september 2012 Huidige Versie: 2.xx.0 Wijzigingen 19 juli 2012

Nadere informatie

I.3 Functies. I.3.2 Voorbeeld. De afbeeldingen f: R R, x x 2 en g: R R, x x 2 zijn dus gelijk, ook al zijn ze gegeven door verschillende formules.

I.3 Functies. I.3.2 Voorbeeld. De afbeeldingen f: R R, x x 2 en g: R R, x x 2 zijn dus gelijk, ook al zijn ze gegeven door verschillende formules. I.3 Functies Iedereen is ongetwijfeld in veel situaties het begrip functie tegengekomen; vaak als een voorschrift dat aan elk getal een ander getal toevoegt, bijvoorbeeld de functie fx = x die aan elk

Nadere informatie

TRILLINGEN EN GOLVEN HANDOUT FOURIER

TRILLINGEN EN GOLVEN HANDOUT FOURIER TRILLINGEN EN GOLVEN HANDOUT FOURIER Cursusjaar 2009 / 2010 2 Inhoudsopgave 1 FOURIERANALYSE 5 1.1 INLEIDING............................... 5 1.2 FOURIERREEKSEN.......................... 5 1.3 CONSEQUENTIES

Nadere informatie

V = {a, b, c, d, e} Computernetwerken: de knopen zijn machines in het netwerk, de kanten zijn communicatiekanalen.

V = {a, b, c, d, e} Computernetwerken: de knopen zijn machines in het netwerk, de kanten zijn communicatiekanalen. WIS14 1 14 Grafen 14.1 Grafen Gerichte grafen Voor een verzameling V is een binaire relatie op V een verzameling geordende paren van elementen van V. Voorbeeld: een binaire relatie op N is de relatie KleinerDan,

Nadere informatie

Examenvragen Hogere Wiskunde I

Examenvragen Hogere Wiskunde I 1 Examenvragen Hogere Wiskunde I Vraag 1. Zij a R willekeurig. Gegeven is dat voor alle r, s Q geldt dat a r+s = a r a s. Bewijs dat voor alle x, y R geldt dat a x+y = a x a y. Vraag 2. Gegeven 2 functies

Nadere informatie

1 Rekenen in eindige precisie

1 Rekenen in eindige precisie Rekenen in eindige precisie Een computer rekent per definitie met een eindige deelverzameling van getallen. In dit hoofdstuk bekijken we hoe dit binnen een computer is ingericht, en wat daarvan de gevolgen

Nadere informatie

3.2 Vectoren and matrices

3.2 Vectoren and matrices we c = 6 c 2 = 62966 c 3 = 32447966 c 4 = 72966 c 5 = 2632833 c 6 = 4947966 Sectie 32 VECTOREN AND MATRICES Maar het is a priori helemaal niet zeker dat het stelsel vergelijkingen dat opgelost moet worden,

Nadere informatie

Lineaire algebra I (wiskundigen)

Lineaire algebra I (wiskundigen) Lineaire algebra I (wiskundigen) Toets, donderdag 22 oktober, 2009 Oplossingen (1) Zij V het vlak in R 3 door de punten P 1 = (1, 2, 1), P 2 = (0, 1, 1) en P 3 = ( 1, 1, 3). (a) Geef een parametrisatie

Nadere informatie

4.1 Negatieve getallen vermenigvuldigen [1]

4.1 Negatieve getallen vermenigvuldigen [1] 4.1 Negatieve getallen vermenigvuldigen [1] Voorbeeld 1: 5 x 3 = 15 (3 + 3 + 3 + 3 + 3 = 15) Voorbeeld 2: 5 x -3 = -15 (-3 +-3 +-3 +-3 +-3 = -3-3 -3-3 -3 = -15) Voorbeeld 3: -5 x 3 = -15 Afspraak: In plaats

Nadere informatie

Proeftentamen Digitale technieken

Proeftentamen Digitale technieken Proeftentamen Digitale technieken André Deutz October 17, 2007 De opgaven kunnen uiteraard in willekeurige volgorde gemaakt worden geef heel duidelijk aan op welke opgave een antwoord gegegeven wordt.

Nadere informatie

9.1 Vergelijkingen van lijnen[1]

9.1 Vergelijkingen van lijnen[1] 9.1 Vergelijkingen van lijnen[1] y = -4x + 8 is de vergelijking van een lijn. Hier wordt y uitgedrukt in x. Algemeen: Van de lijn y = ax + b is de richtingscoëfficiënt a en het snijpunt met de y-as (0,

Nadere informatie

Overzicht. 1. Definities. 2. Basisalgoritme. 3. Label setting methoden. 4. Label correcting methoden. 5. Ondergrenzen. 6.

Overzicht. 1. Definities. 2. Basisalgoritme. 3. Label setting methoden. 4. Label correcting methoden. 5. Ondergrenzen. 6. Overzicht 1. Definities 2. Basisalgoritme 3. Label setting methoden 4. Label correcting methoden 5. Ondergrenzen 6. Resultaten Kortste Pad Probleem 1 Definities Een graaf G = (V, E) bestaat uit een verzameling

Nadere informatie

Lineaire Algebra voor ST

Lineaire Algebra voor ST Lineaire Algebra voor ST docent: Judith Keijsper TUE, HG 9.3 email: J.C.M.Keijsper@tue.nl studiewijzer: http://www.win.tue.nl/wsk/onderwijs/2ds6 Technische Universiteit Eindhoven college 6 J.Keijsper (TUE)

Nadere informatie

Discrete Structuren. Piter Dykstra Sietse Achterop Opleidingsinstituut Informatica en Cognitie

Discrete 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 informatie

Lab Webdesign: Javascript 3 maart 2008

Lab Webdesign: Javascript 3 maart 2008 H5: OPERATORS In dit hoofdstuk zullen we het hebben over de operators (of ook wel: operatoren) in JavaScript waarmee allerlei rekenkundige en logische bewerkingen kunnen worden uitgevoerd. Daarbij zullen

Nadere informatie

Functies van vectoren

Functies van vectoren Functies van vectoren Alexander Ly Psychological Methods University of Amsterdam 15 September 2014 Overview 1 Notatie 2 Overview 1 Notatie 2 Matrices Een matrix schrijven we vaak met een hoofdletter A.

Nadere informatie

HOOFDSTUK 3. Imperatief programmeren. 3.1 Stapsgewijs programmeren. 3.2 If Then Else. Module 4 Programmeren

HOOFDSTUK 3. Imperatief programmeren. 3.1 Stapsgewijs programmeren. 3.2 If Then Else. Module 4 Programmeren HOOFDSTUK 3 3.1 Stapsgewijs programmeren De programmeertalen die tot nu toe genoemd zijn, zijn imperatieve of procedurele programmeertalen. is het stapsgewijs in code omschrijven wat een programma moet

Nadere informatie

DEC SDR DSP project 2017 (2)

DEC SDR DSP project 2017 (2) DEC SDR DSP project 2017 (2) Inhoud: DSP software en rekenen Effect van type getallen (integer, float) Fundamenten onder DSP Lezen van eenvoudige DSP formules x[n] Lineariteit ( x functie y dus k maal

Nadere informatie

Tentamen Programmeren in C (EE1400)

Tentamen Programmeren in C (EE1400) TU Delft Tentamen Programmeren in C (EE1400) 5 april 2012, 9.00 12.00 Faculteit EWI - Zet op elk antwoordblad je naam en studienummer. - Beantwoord alle vragen zo nauwkeurig mogelijk. - Wanneer C code

Nadere informatie

6.0 Voorkennis AD BC. Kruislings vermenigvuldigen: Voorbeeld: 50 10x. 50 10( x 1) Willem-Jan van der Zanden

6.0 Voorkennis AD BC. Kruislings vermenigvuldigen: Voorbeeld: 50 10x. 50 10( x 1) Willem-Jan van der Zanden 6.0 Voorkennis Kruislings vermenigvuldigen: A C AD BC B D Voorbeeld: 50 0 x 50 0( x ) 50 0x 0 0x 60 x 6 6.0 Voorkennis Herhaling van rekenregels voor machten: p p q pq a pq a a a [] a [2] q a q p pq p

Nadere informatie

8. Complexiteit van algoritmen:

8. Complexiteit van algoritmen: 8. Complexiteit van algoritmen: Voorbeeld: Een gevaarlijk spel 1 Spelboom voor het wespenspel 2 8.1 Complexiteit 4 8.2 NP-problemen 6 8.3 De oplossing 7 8.4 Een vuistregel 8 In dit hoofdstuk wordt het

Nadere informatie

Tweede Huiswerk Security 26 of 28 oktober, 11.00, Nabespreken op Werkcollege.

Tweede Huiswerk Security 26 of 28 oktober, 11.00, Nabespreken op Werkcollege. Tweede Huiswerk Security 26 of 28 oktober, 11.00, Nabespreken op Werkcollege. Kijk het huiswerk van je collega s na en schrijf de namen van de nakijkers linksboven en het totaalcijfer rechts onder de namen

Nadere informatie

Small Basic Console Uitwerking opdrachten

Small Basic Console Uitwerking opdrachten Opdracht 1 3 getallen => inlezen Gemiddelde uitrekenen Resultaat afdrukken TextWindow.WriteLine("Dit programma berekend het gemiddelde van drie door U in te voeren getallen.") TextWindow.Write("Voer getal

Nadere informatie

De verstrooide professor

De verstrooide professor Inleiding De verstrooide professor Edward Omey HU - Stormstraat 2 000 russel edward.omey@hubrussel.be In hun nota bestuderen Guido Herweyers en Ronald Rouseau (G. Herweyers en R. Rousseau, Een onverwacht

Nadere informatie

Examen Datastructuren en Algoritmen II

Examen Datastructuren en Algoritmen II Tweede bachelor Informatica Academiejaar 2009 2010, eerste zittijd Examen Datastructuren en Algoritmen II Naam :.............................................................................. Lees de hele

Nadere informatie

Studie van functies en de analytische meetkunde in het vierde jaar van het ASO-TSO-KSO

Studie van functies en de analytische meetkunde in het vierde jaar van het ASO-TSO-KSO GeoGebra in het vierde jaar Studie van functies en de analytische meetkunde in het vierde jaar van het ASO-TSO-KSO R. Van Nieuwenhuyze Docent wiskunde aan HUB, Brussel Auteur Van Basis tot Limiet. Pedagogisch

Nadere informatie

b) Het spreidingsdiagram ziet er als volgt uit (de getrokken lijn is de later uit te rekenen lineaire regressie-lijn): hoogte

b) Het spreidingsdiagram ziet er als volgt uit (de getrokken lijn is de later uit te rekenen lineaire regressie-lijn): hoogte Classroom Exercises GEO2-4208 Opgave 7.1 a) Regressie-analyse dicteert hier geen stricte regels voor. Wanneer we echter naar causaliteit kijken (wat wordt door wat bepaald), dan is het duidelijk dat hoogte

Nadere informatie

Discrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie

Discrete 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 informatie

Meetkundige ongelijkheden Groep A

Meetkundige ongelijkheden Groep A Meetkundige ongelijkheden Groep A Oppervlakteformules, sinus- & cosinusregel, de ongelijkheid van Euler Trainingsweek, juni 011 1 Oppervlakteformules We werken hier met ongeoriënteerde lengtes en voor

Nadere informatie

De inverse van een matrix

De inverse van een matrix De inverse van een matrix Laat A een n n matrix zijn. Veronderstel dat de matrixvergelijking A X = I n de oplossing X = C heeft. Merk op dat [ A I n ] rijoperaties [ I n C ] [ I n A] inverse rijoperaties

Nadere informatie

Opdracht 1 Topics on Parsing and Formal Languages - fall 2010

Opdracht 1 Topics on Parsing and Formal Languages - fall 2010 Opdracht 1 Topics on Parsing and Formal Languages - fall 2010 Rick van der Zwet 13 november 2010 Samenvatting Dit schrijven zal uitwerkingen van opgaven behandelen uit het boek [JS2009]

Nadere informatie

3. Structuren in de taal

3. Structuren in de taal 3. Structuren in de taal In dit hoofdstuk behandelen we de belangrijkst econtrolestructuren die in de algoritmiek gebruikt worden. Dit zijn o.a. de opeenvolging, selectie en lussen (herhaling). Vóór we

Nadere informatie

1.1.2. Wiskundige taal. Symbolen om mee te rekenen + optelling - aftrekking. vermenigvuldiging : deling

1.1.2. Wiskundige taal. Symbolen om mee te rekenen + optelling - aftrekking. vermenigvuldiging : deling Examen Wiskunde: Hoofdstuk 1: Reële getallen: 1.1 Rationale getallen: 1.1.1 Soorten getallen. Een natuurlijk getal is het resultaat van een tellg van een edig aantal dgen. Een geheel getal is het verschil

Nadere informatie

KETTINGBREUKEN VAN COMPLEXE GETALLEN MART KELDER

KETTINGBREUKEN VAN COMPLEXE GETALLEN MART KELDER KETTINGBREUKEN VAN COMPLEXE GETALLEN MART KELDER 7 mei 2009 Inhoudsopgave Reële kettingbreuken 2. Voorwoord 2.2 Verschillende reële kettingbreuken 2.3 Roosters 2.3. Definities 2.4 Voorbeelden van Roosters

Nadere informatie

III.2 De ordening op R en ongelijkheden

III.2 De ordening op R en ongelijkheden III.2 De ordening op R en ongelijkheden In de vorige paragraaf hebben we axioma s gegeven voor de optelling en vermenigvuldiging in R, maar om R vast te leggen moeten we ook ongelijkheden in R beschouwen.

Nadere informatie

De 15-stelling. Dennis Buijsman 23 augustus Begeleiding: S. R. Dahmen

De 15-stelling. Dennis Buijsman 23 augustus Begeleiding: S. R. Dahmen De 15-stelling Dennis Buijsman 23 augustus 2015 Begeleiding: S. R. Dahmen Korteweg-de Vries Instituut voor Wiskunde Faculteit der Natuurwetenschappen, Wiskunde en Informatica Universiteit van Amsterdam

Nadere informatie

OF (vermits y = dy. dx ) P (x, y) dy + Q(x, y) dx = 0

OF (vermits y = dy. dx ) P (x, y) dy + Q(x, y) dx = 0 Algemeen kunnen we een eerste orde differentiaalvergelijking schrijven als: y = Φ(x, y) OF (vermits y = dy dx ) P (x, y) dy + Q(x, y) dx = 0 Indien we dan P (x, y) en Q(x, y) kunnen schrijven als P (x,

Nadere informatie

PARADOXEN 1 Dr. Luc Gheysens

PARADOXEN 1 Dr. Luc Gheysens PARADOXEN Dr. Luc Gheysens REKENKRONKELS Inleiding Het niet stellen van voorwaarden, een onoplettendheid in het rekenwerk, het verkeerd toepassen van een rekenregel, een foutieve redenering leiden soms

Nadere informatie

META-kaart vwo3 - domein Getallen en variabelen

META-kaart vwo3 - domein Getallen en variabelen META-kaart vwo3 - domein Getallen en variabelen In welke volgorde moet ik uitwerken? */@ Welke (reken)regels moet ik hier gebruiken? */@ Welke algemene vorm hoort erbij? ** Hoe ziet de bijbehorende grafiek

Nadere informatie

FOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE

FOR 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 informatie

Samenvatting Lineaire Algebra, periode 4

Samenvatting Lineaire Algebra, periode 4 Samenvatting Lineaire Algebra, periode 4 Hoofdstuk 5, Eigenwaarden en eigenvectoren 5.1; Eigenvectoren en eigenwaarden Definitie: Een eigenvector van een n x n matrix A is een niet nulvector x zodat Ax

Nadere informatie

VBA voor Doe het Zelvers deel 20

VBA voor Doe het Zelvers deel 20 VBA voor Doe het Zelvers deel 20 Handleiding van Auteur: leofact Augustus 2015 handleiding: VBA voor Doe het Zelvers deel 20 Vorige aflevering In het vorige deel werd besproken hoe je de structuur en vensteropbouw

Nadere informatie

TEST INFORMATICA 1STE BACHELOR IN DE INGENIEURSWETENSCHAPPEN - ACADEMIEJAAR

TEST INFORMATICA 1STE BACHELOR IN DE INGENIEURSWETENSCHAPPEN - ACADEMIEJAAR TEST INFORMATICA 1STE BACHELOR IN DE INGENIEURSWETENSCHAPPEN - ACADEMIEJAAR 2011-2012 Zaterdag 5 november 2011, 9u30 NAAM :... VRAAG 1: EVEN VEEL [5 PUNTEN] Schrijf een methode evenveel(), met twee argumenten,

Nadere informatie

Worteltrekken modulo een priemgetal: van klok tot cutting edge. Roland van der Veen

Worteltrekken modulo een priemgetal: van klok tot cutting edge. Roland van der Veen Worteltrekken modulo een priemgetal: van klok tot cutting edge Roland van der Veen Modulorekenen Twee getallen a en b zijn gelijk modulo p als ze een veelvoud van p verschillen. Notatie: a = b mod p Bijvoorbeeld:

Nadere informatie

Het oplossen van stelsels lineaire vergelijkingen Wiskunde 2, 2DM60 College 2b

Het oplossen van stelsels lineaire vergelijkingen Wiskunde 2, 2DM60 College 2b Het oplossen van stelsels lineaire vergelijkingen Wiskunde 2, 2DM60 College 2b Ruud Pellikaan g.r.pellikaan@tue.nl /k 2014-2015 Lineaire vergelijking 2/64 DEFINITIE: Een lineaire vergelijking in de variabelen

Nadere informatie

Inzien en Bewijzen. Jan van Eijck en Albert Visser. Noordwijkerhout, 4 februari Samenvatting

Inzien en Bewijzen. Jan van Eijck en Albert Visser.  Noordwijkerhout, 4 februari Samenvatting Inzien en Bewijzen Jan van Eijck en Albert Visser albert@phil.uu.nl, jve@cwi.nl Noordwijkerhout, 4 februari 2005 Samenvatting In maart 2005 verschijnt bij Amsterdam University Press Inzien en Bewijzen,

Nadere informatie

Uitwerkingen tentamen Algebra 3 8 juni 2017, 14:00 17:00

Uitwerkingen tentamen Algebra 3 8 juni 2017, 14:00 17:00 Uitwerkingen tentamen Algebra 3 8 juni 207, 4:00 7:00 Je mocht zoals gezegd niet zonder uitleg naar opgaven verwijzen. Sommige berekeningen zijn hier weggelaten. Die moest je op je tentamen wel laten zien.

Nadere informatie

Opdracht 1 Topics on Parsing and Formal Languages - fall 2010

Opdracht 1 Topics on Parsing and Formal Languages - fall 2010 Opdracht 1 Topics on Parsing and Formal Languages - fall 2010 Rick van der Zwet 8 december 2010 Samenvatting Dit schrijven zal uitwerkingen van opgaven behandelen uit het boek [JS2009]

Nadere informatie

Betrouwbaarheid en levensduur

Betrouwbaarheid en levensduur Kansrekening voor Informatiekunde, 26 Les 7 Betrouwbaarheid en levensduur 7.1 Betrouwbaarheid van systemen Als een systeem of netwerk uit verschillende componenten bestaat, kan men zich de vraag stellen

Nadere informatie

REEKS I. Zaterdag 6 november 2010, 9u

REEKS I. Zaterdag 6 november 2010, 9u TEST INFORMATICA 1STE BACHELOR IN DE INGENIEURSWETENSCHAPPEN - ACADEMIEJAAR 2010-2011 REEKS I Zaterdag 6 november 2010, 9u NAAM :... VRAAG 1: MINSTENS [5 PUNTEN] Schrijf een methode minstens(), met twee

Nadere informatie

Opgaven Fibonacci-getallen Datastructuren, 23 juni 2017, Werkgroep.

Opgaven Fibonacci-getallen Datastructuren, 23 juni 2017, Werkgroep. Opgaven Fibonacci-getallen Datastructuren, 3 juni 017, Werkgroep Gebruik deze opgaven, naast die uit het boek, om de stof te oefenen op het werkcollege Cijfer: Op een toets krijg je meestal zes tot acht

Nadere informatie

5 FORMULES EN FUNCTIES

5 FORMULES EN FUNCTIES 72 5 FORMULES EN FUNCTIES Dit hoofdstuk behandelt één van de belangrijkste aspecten van spreadsheet programma s: het rekenen met formules en functies. 5.1 Formules invoeren Bij dit onderwerp gebruikt u

Nadere informatie

Ruimtewiskunde. college. De determinant en lineaire afbeeldingen. Vandaag. De determinant van een matrix. Toepassing: oppervlakte en inhoud

Ruimtewiskunde. college. De determinant en lineaire afbeeldingen. Vandaag. De determinant van een matrix. Toepassing: oppervlakte en inhoud college 6 en lineaire collegejaar college build slides Vandaag : : : : 6-7 6 9 juni 27 3 2 3 van een matrix Toepassing: oppervlakte en inhoud.6-7[6] vandaag van de 2 2-matrix a b c d is gelijk aan ad bc.

Nadere informatie

Talstelsels en getalnotaties (oplmodel)

Talstelsels en getalnotaties (oplmodel) Talstelsels en getalnotaties (oplmodel) herhalingsvragen 1. Waarom werken computers binair? Omdat binaire computers veel makkelijker te maken is. De kans op fouten is ook veel kleiner. het spanningsverschil

Nadere informatie

Technische specificaties Tracking & Tracing

Technische specificaties Tracking & Tracing Netherlands B.V. Technische specificaties Tracking & Tracing Copyright 2006 GLS Netherlands B.V. Versie 052006 1.5 1 Inleiding... 3 Technische uitwerking... 4 Berekening CHK-component... 5 Voorbeelden...

Nadere informatie

5 Afronden en afkappen

5 Afronden en afkappen WIS5 1 5 Afronden en afkappen 5.1 Floor en ceiling Floor en ceiling Conversiefuncties van reële getallen naar gehele getallen. x = het grootste gehele getal et x x = het kleinste gehele getal et x Uitspraak:

Nadere informatie

college 6: limieten en l Hôpital

college 6: limieten en l Hôpital 126 college 6: ieten en l Hôpital In dit college herhalen we enkele belangrijke definities van ieten, en geven we belangrijke technieken om ieten van functies (eigenlijk en oneigenlijk) te bepalen. In

Nadere informatie

Variabelen en statements in ActionScript

Variabelen en statements in ActionScript Ontwikkelen van Apps voor ios en Android Variabelen en statements in ActionScript 6.1 Inleiding Als we het in de informatica over variabelen hebben, bedoelen we een stukje in het geheugen van de computer

Nadere informatie

Optelling en scalaire vermenigvuldiging zijn weer plaatsgewijs gedefinieerd, bijvoorbeeld: 7 (x 1, x 2, x 3,...)

Optelling en scalaire vermenigvuldiging zijn weer plaatsgewijs gedefinieerd, bijvoorbeeld: 7 (x 1, x 2, x 3,...) 5. Lineaire ruimten Tot nu toe hebben we ons uitsluitend met de R n bezig gehouden. We gaan de behandelde theorie nu uitbreiden tot verzamelingen die een sterke overeenkomst met een R n vertonen. Een dergelijke

Nadere informatie

Lineaire Algebra voor ST

Lineaire Algebra voor ST Lineaire Algebra voor ST docent: Judith Keijsper TUE, HG 9.31 email: J.C.M.Keijsper@tue.nl studiewijzer: http://www.win.tue.nl/wsk/onderwijs/2ds6 Technische Universiteit Eindhoven college 2 J.Keijsper

Nadere informatie

Wiskunde 2 september 2008 versie 1-1 - Dit is een greep (combinatie) van 3 uit 32. De volgorde is niet van belang omdat de drie

Wiskunde 2 september 2008 versie 1-1 - Dit is een greep (combinatie) van 3 uit 32. De volgorde is niet van belang omdat de drie Wiskunde 2 september 2008 versie 1-1 - Op hoeveel verschillende manieren kun je drie zwarte pionnen verdelen over de 32 zwarte velden van een schaakbord? (Neem aan dat op elk veld hooguit één pion staat.)

Nadere informatie

4. Determinanten en eigenwaarden

4. Determinanten en eigenwaarden 4. Determinanten en eigenwaarden In dit hoofdstuk bestuderen we vierkante matrices. We kunnen zo n n n matrix opvatten als een lineaire transformatie van R n. We onderscheiden deze matrices in twee typen:

Nadere informatie

Indexen.

Indexen. Indexen joost.vennekens@kuleuven.be Probleem Snel gegevens terugvinden Gegevens moeten netjes geordend zijn Manier waarop hangt af van gebruik Sequentieel Gesorteerde gegevens, die in volgorde overlopen

Nadere informatie

Tentamen Kansrekening en Statistiek MST 14 januari 2016, uur

Tentamen Kansrekening en Statistiek MST 14 januari 2016, uur Tentamen Kansrekening en Statistiek MST 14 januari 2016, 14.00 17.00 uur Het tentamen bestaat uit 15 meerkeuzevragen 2 open vragen. Een formuleblad wordt uitgedeeld. Normering: 0.4 punt per MC antwoord

Nadere informatie

3. Structuren in de taal

3. Structuren in de taal 3. Structuren in de taal In dit hoofdstuk behandelen we de belangrijkst econtrolestructuren die in de algoritmiek gebruikt worden. Dit zijn o.a. de opeenvolging, selectie en lussen (herhaling). Vóór we

Nadere informatie

S3 Oefeningen Krachtenleer Hoofdstuk II II-3. II-3 Grafisch: 1cm. II-3 Analytisch. Sinusregel: R F 1

S3 Oefeningen Krachtenleer Hoofdstuk II II-3. II-3 Grafisch: 1cm. II-3 Analytisch. Sinusregel: R F 1 S3 Oefeningen Krachtenleer Hoofdstuk II II-3 Bepaal grafisch en analytisch de richting en grootte van de resultante, in volgende gevallen; F 1 = 4 kn F = 7 kn : 1) α = 30 ) α = 45 F 1 3) α = 90 α 4) α

Nadere informatie

Introductie in R. http://www.math.montana.edu/stat/tutorials/r-intro.pdf http://www.math.montana.edu/stat/docs/splus_notes.ps

Introductie in R. http://www.math.montana.edu/stat/tutorials/r-intro.pdf http://www.math.montana.edu/stat/docs/splus_notes.ps Introductie in R R is een programmeer taal met een groot aantal voorgeprogrammeerde statistische functies. Het is de open source versie van S-plus. Wij gebruiken R dan ook omdat het gratis is. Documentatie

Nadere informatie

College WisCKI. Albert Visser. 16 januari, Department of Philosophy, Faculty Humanities, Utrecht University. Loodrechte Projectie

College WisCKI. Albert Visser. 16 januari, Department of Philosophy, Faculty Humanities, Utrecht University. Loodrechte Projectie College WisCKI Albert Visser Department of Philosophy, Faculty Humanities, Utrecht University 16 januari, 2012 1 Overview 2 Overview 2 Overview 2 Overview 3 Zij V een deelruimte met basis v 1,..., v k.

Nadere informatie

Uitwerkingen toets 9 juni 2012

Uitwerkingen toets 9 juni 2012 Uitwerkingen toets 9 juni 0 Opgave. Voor positieve gehele getallen a en b definiëren we a b = a b ggd(a, b). Bewijs dat voor elk geheel getal n > geldt: n is een priemmacht (d.w.z. dat n te schrijven is

Nadere informatie

Faculteit Elektrotechniek - Leerstoel ES Tentamen Schakeltechniek. Vakcode 5A050, 17 november 2004, 9:00u-12:00u

Faculteit Elektrotechniek - Leerstoel ES Tentamen Schakeltechniek. Vakcode 5A050, 17 november 2004, 9:00u-12:00u achternaam : voorletters : identiteitsnummer : opleiding : Tijdens dit tentamen is het gebruik van rekenmachine of computer niet toegestaan. Vul je antwoorden in op dit formulier. Je dient dit formulier

Nadere informatie

auteursrechtelijk beschermd materiaal OPLOSSINGEN OEFENINGEN HOOFDSTUK 7

auteursrechtelijk beschermd materiaal OPLOSSINGEN OEFENINGEN HOOFDSTUK 7 OPLOSSINGEN OEFENINGEN HOOFDSTUK 7 Open vragen OEFENING 1 Consumptietheorie Nutsfunctie Budgetrechte Indifferentiecurve Marginale substitutievoet Marginaal nut Inkomenseffect Productietheorie Productiefunctie

Nadere informatie

Deze stelling zegt dat je iedere rechthoekige driehoek kunt maken door drie vierkanten met de hoeken tegen elkaar aan te leggen.

Deze stelling zegt dat je iedere rechthoekige driehoek kunt maken door drie vierkanten met de hoeken tegen elkaar aan te leggen. Meetkunde Inleiding We beginnen met het doorlezen van alle theorie uit hoofdstuk 3 van het boek. Daar staan een aantal algemene regels goed uitgelegd. Waar je nog wat extra uitleg over nodig hebt, is de

Nadere informatie

College WisCKI. Albert Visser. 28 november, Department of Philosophy, Faculty Humanities, Utrecht University. Lijn, Vlak, etc.

College WisCKI. Albert Visser. 28 november, Department of Philosophy, Faculty Humanities, Utrecht University. Lijn, Vlak, etc. College WisCKI Albert Visser Department of Philosophy, Faculty Humanities, Utrecht University 28 november, 2012 1 Overview 2 Overview 2 Overview 2 Overview 3 Vectorvoorstelling Lijn: x = b + λa. b is steunvector

Nadere informatie

12. Uitwerkingen van de opgaven

12. Uitwerkingen van de opgaven 12. Uitwerkingen van de opgaven 12.1. Uitwerkingen opgaven van hoofdstuk 3 Opgave 3.1 3,87 0,152 641, 2 Bereken met behulp van Maxima: 2,13 7,29 78 0,62 45 (%i1) 3.87*0.152*641.2/(2.13*7.29*78*0.62*45);

Nadere informatie

Bekijk nog een keer het stelsel van twee vergelijkingen met twee onbekenden x en y: { De tweede vergelijking van de eerste aftrekken geeft:

Bekijk nog een keer het stelsel van twee vergelijkingen met twee onbekenden x en y: { De tweede vergelijking van de eerste aftrekken geeft: Determinanten Invoeren van het begrip determinant Bekijk nog een keer het stelsel van twee vergelijkingen met twee onbekenden x en y: { a x + b y = c a 2 a 2 x + b 2 y = c 2 a Dit levert op: { a a 2 x

Nadere informatie

Algoritmes in ons dagelijks leven. Leve de Wiskunde! 7 April 2017 Jacobien Carstens

Algoritmes in ons dagelijks leven. Leve de Wiskunde! 7 April 2017 Jacobien Carstens Algoritmes in ons dagelijks leven Leve de Wiskunde! 7 April 2017 Jacobien Carstens Wat is een algoritme? Een algoritme is een eindige reeks instructies die vanuit een gegeven begintoestand naar een beoogd

Nadere informatie

Determinanten. , dan is det A =

Determinanten. , dan is det A = Determinanten We hebben al gezien : ( a b Definitie Als A c d, dan is det A a c b d ad bc Als A een ( -matrix is, dan geldt : A is inverteerbaar det A 0 Definitie Als A (a ij een (m n-matrix is, dan is

Nadere informatie

Hoofdstuk 7: Werken met arrays

Hoofdstuk 7: Werken met arrays Programmeren in Microsoft Visual Basic 6.0, lessenserie voor het voortgezet onderwijs HAVO/VWO David Lans, Emmauscollege, Marnix Gymnasium Rotterdam, januari 2004 Hoofdstuk 7: Werken met arrays 7.0 Leerdoel

Nadere informatie

Release Notes. Afdrukdatum: 2008/11/13

Release Notes. Afdrukdatum: 2008/11/13 Release Notes Afdrukdatum: 2008/11/13 Dit document beschrijft vanuit technisch oogpunt de aanpassingen in Hi-Ant aan de betreffende versie. Deze tekst is geenszins bedoeld als document naar de eindgebruiker,

Nadere informatie

Rekenen aan wortels Werkblad =

Rekenen aan wortels Werkblad = Rekenen aan wortels Werkblad 546121 = Vooraf De vragen en opdrachten in dit werkblad die vooraf gegaan worden door, moeten schriftelijk worden beantwoord. Daarbij moet altijd duidelijk zijn hoe de antwoorden

Nadere informatie

Junior Wiskunde Olympiade 2014-2015: tweede ronde

Junior Wiskunde Olympiade 2014-2015: tweede ronde Junior Wiskunde Olympiade 0-05: tweede ronde. Demassavanzoutendemassavanzuiverwaterinzeewaterverhoudenzichals7en 9.Hoeveelkilogramzoutziterin000kgzeewater? (A) 5kg (B) 6kg (C) 7kg (D) 8kg (E) 9kg. Welke

Nadere informatie

Technische Universiteit Delft. ANTWOORDEN van Tentamen Gewone differentiaalvergelijkingen, TW2030 Vrijdag 30 januari 2015,

Technische Universiteit Delft. ANTWOORDEN van Tentamen Gewone differentiaalvergelijkingen, TW2030 Vrijdag 30 januari 2015, Technische Universiteit Delft Faculteit EWI ANTWOORDEN van Tentamen Gewone differentiaalvergelijkingen, TW23 Vrijdag 3 januari 25, 4.-7. Dit tentamen bestaat uit 6 opgaven. Alle antwoorden dienen beargumenteerd

Nadere informatie

Het oplossen van vergelijkingen Voor het benaderen van oplossingen van vergelijkingen van de vorm F(x)=0 bespreken we een aantal methoden:

Het oplossen van vergelijkingen Voor het benaderen van oplossingen van vergelijkingen van de vorm F(x)=0 bespreken we een aantal methoden: Hoofdstuk 4 Programmeren met de GR Toevoegen: een inleiding op het programmeren met de GR Hoofdstuk 5 - Numerieke methoden Numerieke wiskunde is een deelgebied van de wiskunde waarin algoritmes voor problemen

Nadere informatie