Labo IDP. In dit labo gaan we IDP gebruiken voor het analyseren van logische circuits. XOR Q AND. Figuur 1: Een logisch circuit.
|
|
- Nienke Aalderink
- 7 jaren geleden
- Aantal bezoeken:
Transcriptie
1 Labo IDP In dit labo gaan we IDP gebruiken voor het analyseren van logische circuits. K L A XOR N B XOR P M D AND Q AND C O OR E R R Tuesday 15 December 2009 Figuur 1: Een logisch circuit. Veronderstel dat we het logisch circuit uit Figuur 1 beschrijven met volgende Data-blok: Data: Gate = { A; B; C; D; E } Wire = { K; L; M; N; O; P; Q; R } Output = { A -> N; B -> P; C -> O; D -> Q; E -> R } FirstInput = { A -> K; B -> N; C -> L; D -> M; E -> Q } SecondInput = { A -> L; B -> M; C -> K; D -> N; E -> O } Xor = { A; B} And = { C; D } Or = { E } On = { K; M; N; Q; R } Je kan dit downloaden van op: jve/circuit.idp 1
2 Schrijf het bijhorende Given-blok. Test al eens uit of IDP dit als invoer aanvaart. Voeg dan een Satisfying-blok toe, waarin je beschrijft hoe de tweede invoerlijnen van, respectievelijk, een And-, Xor-, of Or-poort zich verhouden tot de bijhorende uitvoerlijn. Om je op weg te helpen, is hier alvast de beschrijving van een And-poort:!x: And(x) => ( On(FirstInput(x)) & On(SecondInput(x)) <=> On(Output(x)) ). Als je de beschrijving van de andere soorten poorten ook hebt toegevoegd, kan je nu controleren of de beschreven waardes voor de draden van het circuit inderdaad mogelijk zijn. Sla je bestand op als circuit1.idp. 1 Oefening 2 We kunnen IDP ook gebruiken om gegeven de waarden van de invoerlijnen van het hele circuit (K, L en M, in dit geval), de waarde van de andere lijnen te berekenen. Om dit voor elkaar te krijgen, hebben we in de eerste plaats een relatie Input nodig, die aangeeft welke de invoerlijnen precies zijn. Voeg deze toe aan het Given- en het Data-blok. We zouden nu de waarde van de invoerlijnen in het Given-blok moeten zetten, en de waarde van de andere lijnen in het Find-blok. Er is hierbij natuurlijk een probleem: we hebben enkel maar een relatie On die de waarde van alle lijnen beschijft. We kunnen nu wel kiezen of we deze relatie bij Given of bij Find zetten, maar gelijk wat we doen, dit zal nooit helemaal juist zijn, aangezien altijd ofwel de waarde van de invoerlijnen ofwel de waarde van de andere lijnen verkeerd zal staan. Los dit probleem op door het introduceren van een nieuwe relatie InputW ireon, die de toestand van de invoerlijnen van het circuit weergeeft. Wat moet er nu gebeuren met de relatie On die we al hadden? Vanzelfsprekend moet er nog een verband zijn tussen InputW ireon en On: met name, elke draad die een invoerlijn is, mag enkel maar On zijn als hij ook InputW ireon is, en omgekeerd. Druk dit uit in je bestand. Gebruik het resulterende bestand om te berekenen wat de waarde van de andere lijnen zal zijn als enkel de invoerlijnen K en M aan staan (maw. L staat uit). Als alles goed is, zou dit natuurlijk hetzelfde resultaat moeten opleveren als in de vorige oefening. Probeer nu eens te berekenen wat het resultaat zal zijn als enkel L aan staat en ga na dat je effectief het juiste resultaat krijgt. Sla je bestand op als circuit2.idp. 2
3 2 Oefening 3 In deze oefening gaan we eens kijken naar het probleem van diagnose: om te controleren of het circuit wel correct werkt, voeren we een aantal meetingen uit. Om te beginnen beschouwen we een heel eenvoudig geval, waarbij we een bepaalde invoer aan het circuit geven en dan de toestand van een aantal lijnen meten, met de bedoeling om na te gaan of deze toestand overeenkomt met onze verwachtingen. Hiervoor vertrek je van je bestand uit de vorige opgave, en voeg je hieraan een relatie ObservedOn (de lijnen waarvan er geobserveerd is dat ze aan staan) en een relatie ObservedOf f (de lijnen waarvan er geobserveerd is dat ze uit staan) toe aan het Given-blok. Druk in het Satisfying-blok uit dat de geobserveerde waardes overeenkomen met de waardes die de geobserveerde lijnen zouden moeten hebben. Gebruik nu IDP om na te gaan of het circuit correct werkt als we volgende observaties maken: Invoer: K en L staat aan; M staat uit. Observaties: we observeren dat N uit staat en dat O aan staat. Doe daarna hetzelfde voor een tweede verzameling van observaties: Invoer: K en M staat aan; L staat uit. Observaties: we observeren dat Q uit staat en dat N aan staat. Sla je bestand op als circuit3.idp. 3 Oefening 4 We gaan nu het diagnose probleem iets complexer maken. In plaats van enkel te bepalen of het hele circuit al dan niet goed werkt, willen we nu ook weten welke componenten er mogelijk defect zijn. Voeg een relatie Broken toe aan het Find-blok. In de eerste oefening over deze logische circuits heb je in het Satisfying-blok gedefinieerd wat de waarde van de uitvoerlijn van een poort zou moeten zijn in functie van zijn invoerlijnen. In deze oefening gaan we dit veranderen, en in plaats daarvan bijvoorbeeld zeggen dat: Voor elke And-poort die niet defect is, moet het zo zijn dat zijn uitvoerlijn aan staat als en slechts als zijn twee invoerlijnen aan staan. Pas je formule op deze manier aan en doe hetzelfde met de formules voor Oren Xor-poorten. Neem nu opnieuw de tweede verzameling observaties uit de vorige opgave, dwz.: Invoer: K en M staat aan; L staat uit. 3
4 Observaties: we observeren dat Q uit staat en dat N aan staat. en kijk wat voor uitvoer IDP produceert. Laat IDP ook eens zoeken naar alle mogelijke oplossingen. Je ziet dat IDP heel veel verschillende diagnoses vindt. Dit is ook logisch, aangezien een defecte component eender welke waarde voor zijn uitvoerlijn kan produceren, en we dus nooit zeker kunnen zijn dat een component niet defect is. Hoewel het resultaat van IDP dus in principe correct is, is het natuurlijk niet zo nuttig. Wat we liever zouden hebben, is dat IDP enkel maar minimale diagnoses zoekt, dwz. dat we enkel maar gaan veronderstellen dat een component defect is, als we effectief observaties hebben die betekenen dat hij niet correct kán werken. Voeg hiervoor de volgende formule toe het Satisfying-blok: Subsetminimize: { x : Broken(x) } Het effect van deze uitdrukking zal zijn dat IDP niet meer alle oplossingen rapporteert, maar enkel nog maar die oplossingen waarin de verzameling {x : Broken(x)} van defecte poorten minimaal is. Met andere woorden, moest er een elementje minder in deze verzameling zitten, dan zou de oplossing geen oplossing meer zijn. Bestudeer het effect van deze uitdrukking op de uitvoer van IDP -n0 en overtuig jezelf ervan dat dit resultaat nu inderdaad veel nuttiger is dan het vorige. Kijk ook eens naar de eerste verzameling van observaties uit de vorige opgave: Invoer: K en L staat aan; M staat uit. Observaties: we observeren dat N uit staat en dat O aan staat. Vergelijk de uitvoer die je krijgt mét de Subsetminimize-uitdrukking met de uitvoer die je krijgt zonder. Begrijp je waarom dit zo is? Sla je bestand op als circuit4.idp. 4 Oefening 5 In de vorige oefening hebben we telkens geprobeerd om een diagnose te stellen aan de hand van één reeks van observaties voor dezelfde invoer. We kunnen natuurlijk ook trachten om meerdere testen uit te voeren en al deze informatie samen te gebruiken om tot een diagnose te komen. Bijvoorbeeld: Test 1 Test 2 Invoer: K aan, L en M uit Observaties: P en R staan aan 4
5 Test 3 Invoer: L aan, K en M uit Observaties: P en R staan aan Invoer: M aan, K en L uit Observaties: P staat aan en R staat uit Hiervoor zal je een type T est moeten toevoegen, met als elementen: Test = { 1; 2; 3 } Een aantal relaties zullen dan een bijkomend argument van type T est krijgen. Zoek de minimale diagnoses van het circuit, gegeven de drie bovenstaande tests. Hierbij wordt er natuurlijk verondersteld dat de status van een bepaalde poort (dwz. defect of niet defect) dezelfde blijft gedurende al de testen. 5
Labo IDP 1. April 22, 2010
Labo IDP April, 00 Inleiding Download het bestand http://telescript.denayer.wenk.be/ jve/blokken.idp naar je eigen home directory en open het in een teksteditor. Dit bestand zou er als volgt moeten uitzien:
Nadere informatieIDP: Labo 2. Given: type int Octaal = {1;2;3;4;5;6;7;8} type int Octaal = {1..4;5;6..8}
IDP: Labo 2 1 Integer types Een integer type in IDP is niets anders dan een enumaratietype waarop bepaalde arithmetische bewerkingen (+,,, /, %) gedefiniëerd zijn. Bijvoorbeeld, het volgende programma
Nadere informatieMaak automatisch een geschikte configuratie van een softwaresysteem;
Joost Vennekens joost.vennekens@kuleuven.be Technologiecampus De Nayer We zijn geïnteresseerd in het oplossen van combinatorische problemen, zoals bijvoorbeeld: Bereken een lessenrooster die aan een aantal
Nadere informatieOefeningen Digitale Elektronica (I), deel 4
Oefeningen Digitale Elektronica (I), deel 4 Oefeningen op min en maxtermen, decoders, demultiplexers en multiplexers (hoofdstuk 3, 3.6 3.7) Wat moet ik kunnen na deze oefeningen? Ik kan de minterm en maxtermrealisatie
Nadere informatieStelling. 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 informatieOpgave 2. Binaire informatie
Opgave 2. Binaire informatie In deze opgave krijgt je programma telkens als invoer een vierkant rooster dat eigenlijk is gevuld met uitsluitend nullen en enen. Van een deel van de cellen is (nog) niet
Nadere informatieWouter Geraedts Processen & Processoren
FACULTEIT DER NATUURWETENSCHAPPEN, WISKUNDE EN INFORMATICA Wouter Geraedts Overzicht Welkom op het 2 e werkcollege van Processen & Processoren! Uitwerkingen vorige opgavenserie Behandelen oefenopgaven
Nadere informatieHoofdstuk 14: Datum & Tijdfuncties
Hoofdstuk 14: Datum & Tijdfuncties 14.0 Inleiding Twee van de meest voorkomende en belangrijke velden in databases, logboeken, projectmanagement bestanden etc. zijn datums en tijden. Excel kan deze datums/tijden
Nadere informatieFunctioneel programmeren
Functioneel programmeren Practicumopgave 2: Mastermind Het doel van deze opgave is het implementeren van het spel Mastermind; zie http://nl.wikipedia.org/wiki/mastermind voor een uitleg. Het spel is klein
Nadere informatie8/2/2006 Examen Optimalisatietechnieken (6sp) 1
8/2/2006 Examen Optimalisatietechnieken 2005-2006 (6sp) 1 Gesloten boek: Maximaal 25 minuten Beantwoord alle vragen op het opgavenblad. Schrijf je naam op elk blad en schrijf leesbaar. Beantwoord de vraag
Nadere informatieGegevens invullen in HOOFDLETTERS en LEESBAAR, aub. Belgische Olympiades in de Informatica (duur : maximum 1u15 )
OI 2010 Finale 12 Mei 2010 Gegevens invullen in HOOFDLETTERS en LEESBAAR, aub VOORNAAM :....................................................... NAAM :..............................................................
Nadere informatiesportadministratie Hoe de kalender/rangschikking opbouwen?
sportadministratie Hoe de kalender/rangschikking opbouwen? sportadministratie 2 Inhoud 1 Via de menu SPORTIEF... 3 2 Het overzicht... 4 3 Nieuwe aanwezigheden invullen... 5 3.1 Niet van toepassing... 6
Nadere informatieHoofdstuk 1. Inleiding. Het binomiaalgetal ( n
Hoofdstuk 1 Inleiding Het binomiaalgetal ( n berekent het aantal -combinaties van n elementen; dit is het aantal mogelijkheden om elementen te nemen uit n beschikbare elementen Hierbij is herhaling niet
Nadere informatieComputerrekenpakket Maple zesde jaar
Computerrekenpakket Maple zesde jaar M CREATIVE COMMONS Naamsvermelding-NietCommercieel-GelijkDelen 3.0 (CC BY-NC-SA) Dit is de vereenvoudigde (human-readable) versie van de volledige licentie. De volledige
Nadere informatie11. Multipele Regressie en Correlatie
11. Multipele Regressie en Correlatie Meervoudig regressie model Nu gaan we kijken naar een relatie tussen een responsvariabele en meerdere verklarende variabelen. Een bivariate regressielijn ziet er in
Nadere informatiesamenstelling Philip Bogaert
Dag van de wiskunde 14 november 2015 Meerkeuzetoetsen een leuke toepassing kansrekening samenstelling Philip Bogaert Giscorrectie versus standard setting, kansrekening voor iedereen 1. Giscorrectie 1.1.
Nadere informatiePractica bij het vak. Inleiding tot de Elektrotechniek: Practicum 2 Analoge versus digitale signalen en hun overdracht
Elektronica en Informatiesystemen Practica bij het vak Inleiding tot de Elektrotechniek: Practicum 2 Analoge versus digitale signalen en hun overdracht door Prof. dr. ir. J. Van Campenhout ir. Sean Rul
Nadere informatieBespreking Examen Analyse 1 (Augustus 2007)
Bespreking Examen Analyse 1 (Augustus 2007) Vooraf: Zoals het stilletjes aan een traditie is geworden, geef ik hier bedenkingen bij het examen van deze septemberzittijd. Ik zorg ervoor dat deze tekst op
Nadere informatieOpgave 2 ( = 12 ptn.)
Deel II Opgave 1 (4 + 2 + 6 = 12 ptn.) a) Beschouw bovenstaande game tree waarin cirkels je eigen zet representeren en vierkanten die van je tegenstander. Welke waarde van de evaluatiefunctie komt uiteindelijk
Nadere informatieHOOFDSTUK I - INLEIDENDE BEGRIPPEN
HOOFDSTUK I - INLEIDENDE BEGRIPPEN 1.1 Waarschijnlijkheidsrekening 1 Beschouw een toevallig experiment (de resultaten zijn aan het toeval te danken) Noem V de verzameling van alle mogelijke uitkomsten
Nadere informatieHet examen scheikunde bestaat uit twee onderdelen (elk 50%), namelijk:
Examenvoorbereiding scheikunde VWO Het examen scheikunde bestaat uit twee onderdelen (elk 50%), namelijk: 1. centraal examen (schriftelijk) 2. commissie-examen (mondeling) centraal examen (schriftelijk)
Nadere informatieParadox van zelfreproductie. IN2505-II Berekenbaarheidstheorie. Zelfreproductie? Programma s en zelfreproductie. College 11.
Paradox van zelfreproductie College 11 Algoritmiekgroep Faculteit EWI TU Delft 27 mei 2009 1 Levende wezens zijn machines. 2 Levende wezens kunnen zich reproduceren. 3 Machines kunnen zich niet reproduceren.
Nadere informatieOefeningenles beeldverwerking
Oefeningenles beeldverwerking Histogram Wat is een histogram hoe kunnen we een histogram opstellen? Welke afbeelding hoort bij welk histogram? Waarom? Een histogram geeft voor elke grijswaarde het aantal
Nadere informatieEen formule is een berekening die jij zelf maakt in Excel. Een formule begint met het isgelijkteken en bevat celverwijzingen.
Formules Een formule is een berekening die jij zelf maakt in Excel. Een formule begint met het isgelijkteken en bevat celverwijzingen. Figuur 1. Elke formule begint met = Stappen bij het maken van een
Nadere informatieDerde serie opdrachten systeemtheorie
Derde serie opdrachten systeemtheorie Opdracht 1. We bekijken een helicopter die ongeveer stilhangt in de lucht. Bij benadering kan zo n helicopter beschreven worden door het volgende stelsel vergelijkingen
Nadere informatieVOORBEREIDINGEN. Les 14
Les 14 VOORBEREIDINGEN Om het examen zo vlot mogelijk te laten verlopen, treffen we eerst een aantal voorbereidingen. Dit gaat meteen gepaard met het verkennen van een nieuwe module: Feeds. Deze module
Nadere informatieHoofdstuk 16: Zoek- en verwijzingsfuncties
Hoofdstuk 16: Zoek- en verwijzingsfuncties 16.0 Inleiding Eén van de belangrijkste functies binnen Excel is de mogelijkheid om te zoeken naar een specifieke waarde binnen een groot aantal cellen met gegevens.
Nadere informatieAanvulling bij de cursus Calculus 1. Complexe getallen
Aanvulling bij de cursus Calculus 1 Complexe getallen A.C.M. Ran In dit dictaat worden complexe getallen behandeld. Ook in het Calculusboek van Adams kun je iets over complexe getallen lezen, namelijk
Nadere informatie2. Het benaderen van nulpunten
Het benaderen van nulpunten Benaderen van vierkantswortels Als we met een numerieke rekenmachine benadering, 7 =,64575 7 berekenen, krijgen we als resultaat een Het numeriek benaderen kan met een recursieve
Nadere informatieInleiding logica Inleveropgave 3
Inleiding logica Inleveropgave 3 Lientje Maas 30 september 2013 Ik (Rijk) heb verbeteringen in rood vermeld. Deze verbeteringen meegenomen zijn dit correcte uitwerkingen van de derde inleveropgaven. 1
Nadere informatieAanvullingen bij Hoofdstuk 8
Aanvullingen bij Hoofdstuk 8 8.5 Definities voor matrices De begrippen eigenwaarde eigenvector eigenruimte karakteristieke veelterm en diagonaliseerbaar worden ook gebruikt voor vierkante matrices los
Nadere informatieHet warmteverlies van het lichaamsoppervlak aan de wordt gegeven door de volgende formule:
Opgave 1. (4 punten) Inleiding: Een vleermuis is een warmbloedig zoogdier. Dat wil zeggen dat hij zijn lichaamstemperatuur op een konstante waarde moet zien te houden. Als de omgeving kouder is dan de
Nadere informatieProjectieve Vlakken en Codes
Projectieve Vlakken en Codes 1. De Fanocode Foutdetecterende en foutverbeterende codes. Anna en Bart doen mee aan een spelprogramma voor koppels. De ene helft van de deelnemers krijgt elk een kaart waarop
Nadere informatieDe tips & tricks van Jerre Van data naar informatie en terug!
FACTSHEET De tips & tricks van Jerre Van data naar informatie en terug! Jerre Kamphuis, implementatieconsultant, deelt zijn tips & tricks met planners die werken met Rostar CAS. Soms wil je als planner
Nadere informatieDigitale technieken Deeltoets II
Digitale technieken Deeltoets II André Deutz 11 januari, 2008 De opgaven kunnen uiteraard in een willekeurige volgorde gemaakt worden geef heel duidelijk aan op welke opgave een antwoord gegegeven wordt.
Nadere informatieHANDLEIDING scoolplan OUDER
HANDLEIDING Inleiding Overzicht van kinderen pagina 3 Het Bovenmenu pagina 4 Het Menuscherm pagina 5 IDP overzicht pagina 6 Notities pagina 9 Archief pagina 11 Vragen pagina 12 2 Overzicht van kinderen
Nadere informatieCombinatoriek groep 1 & 2: Recursie
Combinatoriek groep 1 & : Recursie Trainingsweek juni 008 Inleiding Bij een recursieve definitie van een rij wordt elke volgende term berekend uit de vorige. Een voorbeeld van zo n recursieve definitie
Nadere informatieHandleiding aanpassen Cito-excelbestanden
Handleiding aanpassen Cito-excelbestanden M. van den Berg GION Februari 2015 Analyse Cito-opgaven 1) Neem het blad Analyse Cito-toetsopgaven voor u; 2) Pak de Cito-toets die u wilt invoeren voor u; 3)
Nadere informatieExamen Datastructuren en Algoritmen II
Tweede bachelor Informatica Academiejaar 2016 2017, eerste zittijd Examen Datastructuren en Algoritmen II Naam :.............................................................................. Lees de hele
Nadere informatieFACULTEIT ECONOMIE EN BEDRIJFSKUNDE Afdeling Kwantitatieve Economie
FACULTEIT ECONOMIE EN BEDRIJFSKUNDE Afdeling Kwantitatieve Economie Lineaire Algebra, tentamen Uitwerkingen vrijdag 4 januari 0, 9 uur Gebruik van een formuleblad of rekenmachine is niet toegestaan. De
Nadere informatieNUMERIEKE METHODEN VOOR DE VAN DER POL VERGELIJKING. Docent: Karel in t Hout. Studiepunten: 3
NUMERIEKE METHODEN VOOR DE VAN DER POL VERGELIJKING Docent: Karel in t Hout Studiepunten: 3 Over deze opgave dien je een verslag te schrijven waarin de antwoorden op alle vragen zijn verwerkt. Richtlijnen
Nadere informatieRichtlijnen bij het gebruik van het Vief-kasboek
Richtlijnen bij het gebruik van het Vief-kasboek Dit kasboek is kant en klaar voor gebruik, je hoeft niet veel (of niets) van Excel te kennen om er onmiddellijk mee aan de slag te kunnen. In dit document
Nadere informatieSchriftelijk examen: theorie en oefeningen Fysica: elektromagnetisme
Schriftelijk eamen: theorie en oefeningen 2010-2011 Naam en studierichting: Aantal afgegeven bladen, deze opgavebladen niet meegerekend: Gebruik voor elke nieuwe vraag een nieuw blad. Zet op elk blad de
Nadere informatieOefeningenles beeldverwerking
Oefeningenles beeldverwerking Histogram Wat is een histogram hoe kunnen we een histogram opstellen? Welke afbeelding hoort bij welk histogram? Waarom? Een histogram geeft voor elke grijswaarde het aantal
Nadere informatieSpreadsheets (Excel 2003)
Spreadsheets (Excel 2003) 14 Toevoegen paragraaf 14.5 14.5 Subtotalen, draaitabellen en ALS In deze paragraaf bespreken we een aantal aanvullende functies in Excel. We beginnen met de subtotalen. Een subtotaal
Nadere informatieWat moet je weten en doen voor een goed examen natuurkunde.
Wat moet je weten en doen voor een goed examen natuurkunde. De stof moet op dit moment al goed in je hoofd zitten. In de les gaan we alleen maar bezig met oefenen van examens en examenopgaven. Thuis ga
Nadere informatieReeksnr.: Naam: t 2. arcsin x f(t) = 2 dx. 1 x
Calculus, 4//4. Gegeven de reële functie ft) met als voorschrift t arcsin x ft) = dx x a) Geef het domein van de functie ft). Op dit domein, bespreek waar de functie stijgt, daalt en bepaal de lokale extrema.
Nadere informatieSamenvatting. Bijlage B
Bijlage B In dit proefschrift stellen we ons het doel de besluitvorming van agenten en de communicatie tussen deze agenten te beschrijven en te formaliseren opdat de agenten rechtvaardigbare opvattingen
Nadere informatiePracticum 1A: Automatisering Plantencentrale
Practicum 1A: Automatisering Plantencentrale We werken in de context van een automatische plantencentrale of serre. Een centrale computer neemt metingen op die weggeschreven worden in een comma-separated
Nadere informatie3. 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 informatieGoed aan wiskunde doen
Goed aan wiskunde doen Enkele tips Associatie K.U.Leuven Tim Neijens Katrien D haeseleer Annemie Vermeyen Maart 2011 Waarom? Dit document somt de belangrijkste aandachtspunten op als je een wiskundeopgave
Nadere informatieDe interface (stuurmodule)
4 Bij Lego NXT Schrijf de juiste benaming bij de invoer-, verwerkings- en uitvoerorganen van de Lego NXT Invoer Verwerking Uitvoer De interface (stuurmodule) Het centrale gedeelte van de computer waar
Nadere informatie5. Functies. In deze module leert u:
5. Functies In deze module leert u: - Wat functies zijn; - Functies uitvoeren; - De verschillende functies van Calc kennen. - Naar een ander werkblad verwijzen. U kunt eenvoudige berekeningen, zoals aftrekken,
Nadere informatieII. ZELFGEDEFINIEERDE FUNCTIES
II. ZELFGEDEFINIEERDE FUNCTIES In Excel bestaat reeds een uitgebreide reeks van functies zoals SOM, GEMIDDELDE, AFRONDEN, NU enz. Het is de bedoeling om functies aan deze lijst toe te voegen door in Visual
Nadere informatieIn het voorgaande artikel werd aangegeven hoe de vaste verdeling van cijfers in getallen, zoals deze voortvloeit
ADMINISTRATIE Cijferanalyse met behulp van Benford s Law (2) HET LIJKT INGEWIKKELDER DAN HET IS In het voorgaande artikel werd aangegeven hoe de vaste verdeling van cijfers in getallen, zoals deze voortvloeit
Nadere informatieCompex wiskunde A1-2 vwo 2003-I
Epidemie Men spreekt van een epidemie als in korte tijd minstens 2% van de bevolking een besmettelijke ziekte oploopt. Een voorbeeld van zo n ziekte is griep. Rond 930 hebben twee Schotse wiskundigen,
Nadere informatieRichtlijnen bij het gebruik van het Vief-kasboek 4.0
Richtlijnen bij het gebruik van het Vief-kasboek 4.0 Dit kasboek is kant en klaar voor gebruik, je hoeft niet veel (of niets) van Excel te kennen om er onmiddellijk mee aan de slag te kunnen. In dit document
Nadere informatieWe illustreren deze werkwijze opnieuw a.h.v. de steekproef van de geboortegewichten
Hoofdstuk 8 Betrouwbaarheidsintervallen In het vorige hoofdstuk lieten we zien hoe het mogelijk is om over een ongekende karakteristiek van een populatie hypothesen te formuleren. Een andere manier van
Nadere informatieNetwerkdiagram voor een project. AOA: Activities On Arrows - activiteiten op de pijlen.
Netwerkdiagram voor een project. AOA: Activities On Arrows - activiteiten op de pijlen. Opmerking vooraf. Een netwerk is een structuur die is opgebouwd met pijlen en knooppunten. Bij het opstellen van
Nadere informatieOpmerking: afhankelijk van uw configuratie is de print voorzien van de benodigde componenten.
Gefeliciteerd met de aankoop van deze PC- I/ O kaart. Lees vóór u de kaart gaat installeren, de instructies in deze gebruiksaanwijzing zorgvuldig. Bewaar de gebruiksaanwijzing voor latere naslag. Controleer
Nadere informatieLeerstofomschrijving proefwerkweek 2 2 basis. Vak. Engels. Lesstof. File 4 Comics. Stofomschrijving
Leerstofomschrijving proefwerkweek 2 2 basis Vak Engels File 4 Comics F Grammar hoe je korte, correcte Engelse zinnen maakt (word order / place and time); hoe je kunt zeggen dat iets van iemand is (genitive
Nadere informatiePC les 1: MATLAB gebruiken
PC les 1: MATLAB gebruiken In deze les frissen we het gebruik van MATLAB op. We herhalen enkele commando s, en de basisbegrippen om numerieke algorithmen via MATLAB te schrijven. We doen dit aan de hand
Nadere informatieSoftware-Ontwikkeling I Academiejaar 2006-2007
Software-Ontwikkeling I Academiejaar 2006-2007 Project: Bibliotheekbeheer 1 1. Digitale bibliotheek a. Inleiding Bibliotheken houden onder meer hun collecties van uitleenbare artikels bij in digitaal formaat.
Nadere informatieCombinatorische Algoritmen: Binary Decision Diagrams, Deel III
Combinatorische Algoritmen: Binary Decision Diagrams, Deel III Sjoerd van Egmond LIACS, Leiden University, The Netherlands svegmond@liacs.nl 2 juni 2010 Samenvatting Deze notitie beschrijft een nederlandse
Nadere informatieHandleiding BreakEven Calculator Door Thomas Vulsma
Handleiding BreakEven Calculator Door Thomas Vulsma Introductie Deze handleiding geeft een korte inleiding tot de werking en het gebruik van de BreakEven Calculator. Met een paar simpele stappen leert
Nadere informatie8.5 Koppelingen: oefeningen
8.5 Koppelingen: oefeningen Oefening 75.: Verwijzingen intypen Open het document "Glasoven". In dit document worden fictief de kosten berekend die gemaakt moeten worden voor de productie van een glazen
Nadere informatie8.5 Koppelingen: oefeningen
8.5 Koppelingen: oefeningen Oefening 68.: Verwijzingen intypen Open het document "Glasoven". In dit document worden fictief de kosten berekend die gemaakt moeten worden voor de productie van een glazen
Nadere informatieEDK Walkthrough: Hardwareontwerp met GPIO en UART Deel 1
EDK Walkthrough: Hardwareontwerp met GPIO en UART Deel 1 1. Doel Kennismaking met de EDK van Xilinx: - begrijpen van de ontwerpomgeving en design flow - aanmaken van een Xilinx Platform Studio project
Nadere informatieNETWERKEN EN DE WETTEN VAN KIRCHHOFF
NETWERKEN EN DE WETTEN VN KIRCHHOFF 1. Doelstelling van de proef Het doel van deze proef is het bepalen van de klemspanning van een spanningsbron, de waarden van de beveiligingsweerstanden en de inwendige
Nadere informatiePracticumopgave 3: SAT-solver
Practicumopgave 3: SAT-solver Modelleren en Programmeren 2015/2016 Deadline: donderdag 7 januari 2016, 23:59 Introductie In het vak Inleiding Logica is onder andere de propositielogica behandeld. Veel
Nadere informatieInformatica: C# WPO 10
Informatica: C# WPO 10 1. Inhoud 2D arrays, lijsten van arrays, NULL-values 2. Oefeningen Demo 1: Fill and print 2D array Demo 2: Fill and print list of array A: Matrix optelling A: Matrix * constante
Nadere informatieSQL Aantekeningen 3. Maarten de Rijke mdr@science.uva.nl. 22 mei 2003
SQL Aantekeningen 3 Maarten de Rijke mdr@science.uva.nl 22 mei 2003 Samenvatting In deze aflevering: het selecteren van tuples, operaties op strings, en aggregatie functies. Verder kijken we naar iets
Nadere informatie2 Elementaire bewerkingen
Hoofdstuk 2 Elementaire bewerkingen 19 2 Elementaire bewerkingen 1 BINAIRE GETALLEN In het vorige hoofdstuk heb je gezien dat rijen bits worden gebruikt om lettertekens, getallen, kleuren, geluid en video
Nadere informatieOvergangsverschijnselen
Hoofdstuk 5 Overgangsverschijnselen Doelstellingen 1. Overgangsverschijnselen van RC en RL ketens kunnen uitleggen waarbij de wiskundige afleiding van ondergeschikt belang is Als we een condensator of
Nadere informatieOefenopgaven capaciteitentest
Oefenopgaven capaciteitentest Capaciteitentesten kun je inzetten om zicht te krijgen op je werk-denkniveau. Deze tests werken met de normgroepen MBO-HBO of WO-niveau. Er zijn 8 subtests in de capaciteitentest
Nadere informatiete vermenigvuldigen, waarbij N het aantal geslagen Nederlandse munten en B het aantal geslagen buitenlandse munten zijn. Het resultaat is de vector
Les 3 Matrix product We hebben gezien hoe we matrices kunnen gebruiken om lineaire afbeeldingen te beschrijven. Om het beeld van een vector onder een afbeelding te bepalen hebben we al een soort product
Nadere informatie2 Elementaire bewerkingen
Hoofdstuk 2 Elementaire bewerkingen 17 2 Elementaire bewerkingen In dit hoofdstuk leer je hoe werken met binaire getallen en hexadecimale getallen omgezet wordt naar een decimaal getal en omgekeerd. Vervolgens
Nadere informatieExamen Datastructuren en Algoritmen II
Tweede bachelor Informatica Academiejaar 2009 2010, eerste zittijd Examen Datastructuren en Algoritmen II Naam :.............................................................................. Lees de hele
Nadere informatieHoorcollege Logica. Hans-Dieter A. Hiep
Hoorcollege Logica Hans-Dieter A. Hiep Agenda 1. Horn-formules 2. Vervulbaarheidsprobleem Validiteit en vervulbaarheid Gegeven een formule φ in de (klassieke) propositielogica. Definitie φ is valide voor
Nadere informatieWe berekenen nog de effectgrootte aan de hand van formule 4.2 en rapporteren:
INDUCTIEVE STATISTIEK VOOR DE GEDRAGSWETENSCHAPPEN OPLOSSINGEN BIJ HOOFDSTUK 4 1. Toets met behulp van SPSS de hypothese van Evelien in verband met de baardlengte van metalfans. Ga na of je dezelfde conclusies
Nadere informatieLogica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 2
Logica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 2 2.1 Geef de volgende zinnen weer in propositionele notatie: i Als de bus niet komt, komen de tram en de trein We voeren de volgende
Nadere informatieToegepaste data-analyse: sessie 3
Toegepaste data-analyse: sessie 3 Mixed Models II: Actor-partner model Corr (Yij, Yik) = σσ 2 kkkkkkkkkkkk σσ 2 kkkkkkkkkkkk+ σσ 2 rrrrrr Je kan deze data niet modelleren a.d.h.v. lineaire regressie. Er
Nadere informatieOpdracht 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 informatieActaLibra Provisiebriefmodellen aanpassen
ActaLibra Provisiebriefmodellen aanpassen 1. Inleiding Deze Provisiebrieven worden gebruikt wanneer u bij het afdrukken van een aktekostenblad kiest voor opmaak via Microsoft Word en niet voor de klassieke
Nadere informatieRichtlijnen bij het gebruik van het KLJ Kasboek 3.0
Richtlijnen bij het gebruik van het KLJ Kasboek 3.0 Inleiding Hallo kassier! Dit kasboek is kant en klaar voor gebruik, je hoeft niet veel (of niets) van excel te kennen om er onmiddellijk mee aan de slag
Nadere informatieDeeltoets Digitale technieken
Deeltoets Digitale technieken André Deutz 22 oktober, 2007 De opgaven kunnen uiteraard in een willekeurige volgorde gemaakt worden geef heel duidelijk aan op welke opgave een antwoord gegegeven wordt.
Nadere informatieRekenen 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 informatieInstallatie Handleiding Alimentatie Rekendisk. 2011 Sdu Uitgeverij / A. Koppenaal
Installatie Handleiding Alimentatie Rekendisk / A. Koppenaal I Installatie Handleiding Alimentatie Rekendisk Inhoudsopgave A Inleiding 1 B Installatie 2 C Troubleshoot 4 1 Melding:... Kan database niet
Nadere informatieInhoudsopgave Voorwoord 5 Nieuwsbrief 5 Introductie Visual Steps 6 Wat heeft u nodig? 6 Voorkennis 7 Hoe werkt u met dit boek?
Inhoudsopgave Voorwoord... 5 Nieuwsbrief... 5 Introductie Visual Steps... 6 Wat heeft u nodig?... 6 Voorkennis... 7 Hoe werkt u met dit boek?... 7 De website bij het boek... 8 Toets uw kennis... 8 Voor
Nadere informatieStelsels van vergelijkingen
Module 5 Stelsels van vergelijkingen 5.1 Definitie en voorbeelden Een verzameling van vergelijkingen in een aantal onbekenden waarvan men de gemeenschappelijke oplossing(en) zoekt, noemt men een stelsel
Nadere informatieOpgave 1 Bestudeer de Uitleg, pagina 1. Laat zien dat ook voor punten buiten lijnstuk AB maar wel op lijn AB geldt: x + 3y = 5
2 Vergelijkingen Verkennen Meetkunde Vergelijkingen Inleiding Verkennen Beantwoord de vragen bij Verkennen. Uitleg Meetkunde Vergelijkingen Uitleg Opgave Bestudeer de Uitleg, pagina. Laat zien dat ook
Nadere informatieIn dit project leer je hoe je een spel maakt waarbij je gekleurde stippen moet vangen met het goede deel van de controller.
Stap 1 Inleiding In dit project leer je hoe je een spel maakt waarbij je gekleurde stippen moet vangen met het goede deel van de controller. Uitdagingen Naar links draaien - code maken om de controller
Nadere informatieModule Limieten van de berekenbaarheid : antwoorden
Module Limieten van de berekenbaarheid : antwoorden Gilles Coremans 2018 This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International license. Dit werk is gebaseerd
Nadere informatieOefeningen Interpretatie I Reeks 6 : Registermachines
Oefeningen Interpretatie I Reeks 6 : Registermachines Deze oefeningenreeks behandelt het beschrijven van computationele processen aan de hand van registermachineprogrammaʼs. Registermachines manipuleren
Nadere informatieIn dit document geven we je een aantal praktische tips voor het gebruik van dit kasboek. In deze uitleg vind je volgende onderdelen:
Richtlijnen bij het gebruik van het KLJkasboek Inleiding Hallo kassier! Dit kasboek is kant en klaar voor gebruik, je hoeft niet veel (of niets) van excel te kennen om er onmiddellijk mee aan de slag te
Nadere informatieExcel reader. Beginner Gemiddeld. bas@excel-programmeur.nl
Excel reader Beginner Gemiddeld Auteur Bas Meijerink E-mail bas@excel-programmeur.nl Versie 01D00 Datum 01-03-2014 Inhoudsopgave Introductie... - 3 - Hoofdstuk 1 - Databewerking - 4-1. Inleiding... - 5-2.
Nadere informatieZelftest Inleiding Programmeren
Zelftest Inleiding Programmeren Document: n0824test.fm 22/01/2013 ABIS Training & Consulting P.O. Box 220 B-3000 Leuven Belgium TRAINING & CONSULTING INLEIDING BIJ DE ZELFTEST INLEIDING PROGRAMMEREN Deze
Nadere informatieWaarom ga je schrijven? om de directeur te overtuigen. Wat voor tekst schrijf je? een overtuigende tekst. Voorbereiden van je overtuigende tekst
niveau A, les 1 Les 1: Een overtuigende tekst schrijven Waarom ga je schrijven? om de directeur te overtuigen Voor welk feest zou je in ieder geval een vrije dag willen hebben? Wat voor tekst schrijf je?
Nadere informatieFaculteit Elektrotechniek - Capaciteitsgroep ICS Tentamen Schakeltechniek. Vakcodes 5A010/5A050, 19 januari 2004, 9:00u-12:00u
Faculteit Elektrotechniek - Capaciteitsgroep ICS Tentamen Schakeltechniek Vakcodes 5A010/5A050, 19 januari 2004, 9:00u-12:00u achternaam : voorletters : identiteitsnummer : opleiding : Tijdens dit tentamen
Nadere informatieEliminatie van parameters en substitutie met computeralgebra
Eliminatie van parameters en substitutie met computeralgebra Guido Herweyers, KHBO Campus Oostende Dirk Janssens, K.U.Leuven 1. Inleiding Uitgaande van parametervergelijkingen van rechten en vlakken illustreren
Nadere informatie