Propositionele logica en predikatenlogica. 1. Noteer volgende Nederlandse uitspraken formeel m.b.v. propositionele logica :
|
|
- Esther Eilander
- 7 jaren geleden
- Aantal bezoeken:
Transcriptie
1 HOOFDSTUK 4. LOGICA Opgaven Propositionele logica en predikatenlogica 1. Noteer volgende Nederlandse uitspraken formeel m.b.v. propositionele logica : a) Als de maan ichtbaar is en het niet sneeuwt, al Jan een wandeling maken. b) Als het morgen onnig is, ga ik fietsen. Als ik ga fietsen, is dit ofwel naar de ee ofwel naar de bergen. c) Als ik een mooie broek of jas ie, al ik een nieuwe broek of nieuwe jas kopen. d) Als een algoritme betrouwbaar is, is het ok. Dus, een algoritme is of ok, of onbetrouwbaar. Is dee conclusie juist? Verklaar owel via propositionele logica als in woorden waarom (niet)? e) Een uitspraak p is waar of vals, en kan niet tegelijk waar en vals ijn. (wet van de uitgesloten derde) 2. Jan egt dat Piet liegt. Piet egt dat Klaas liegt. Klaas egt dat Jan en Piet liegen. Als je weet dat elk van dee drie personen ofwel een pertinente leugenaar is (m.a.w. altijd liegt), ofwel volkomen eerlijk is (m.a.w. nooit liegt), noteer dan bovenstaande uitspraken m.b.v. propositionele logica. Wie spreekt eker de waarheid? 3. Controleer de volgende argumentatie m.b.v. propositionele logica: Als Superman kwaad ou kunnen en willen voorkomen, ou hij dit doen. Als Superman kwaad niet ou kunnen voorkomen, ou hij onkundig ijn; als hij kwaad niet ou willen voorkomen, ou hij kwaadwillig ijn. Superman voorkomt geen kwaad. Als Superman bestaat, is hij noch onkundig, noch kwaadwillig. Dus bestaat Superman niet. 4. Welke van de volgende samengestelde proposities is een tautologie, een contradictie of een eventualiteit. (Hierbij stellen p, q, r telkens enkelvoudige proposities voor). a) p (p q) b) p (p q) c) p (p q) d) ( p (p q)) q HOOFDSTUK 4 LOGICA 4.1
2 e) (p p) (p p) f) ( p q) (q r) g) p ( p q) h) ( q (p q)) p i) p ( p q) j) p (p q) k) p ( p q) l) (p q q r) p r 5. Stel voor volgende samengestelde proposities de disjunctieve normaalvorm op. (Hierbij stellen x,,,u telkens enkelvoudige proposities voor.) a) b) c) (x ) ( x ) d) x ( ) e) x ( (x ) ( x )) f) (x ) (x ) ( x ) g) ((x ) (x )) ( ) h) ((x ) ( u)) ((x ) ( u)) (( ) (x u)) i) ((x ) ) ( x ) 6. Stel voor volgende samengestelde proposities de conjunctieve normaalvorm op. (Hierbij stellen x,,,u telkens enkelvoudige proposities voor.) a) b) (x ) ( x ) c) x ( ) d) (x ) (x ) e) x f) x ( (x ) ( x )) g) (x ) (x ) ( x ) h) x (x ) i) ((x ) (x )) ( ) 7. Vereenvoudig onderstaande samengestelde proposities oveel mogelijk. a) (x ) x b) (x ) ( ) ( x ) ( x ) c) ( x ) (x ) (x ) HOOFDSTUK 4 LOGICA 4.2
3 d) (x ) (x ) x e) x (x ) f) ((x ) ( ) (x )) g) (x ) ( ) ( x ) h) (x ) ( ) ( x) ( x ) i) (x ) ( x ) (x ( )) 8. Noteer volgende Nederlandse uitspraken formeel m.b.v. predikatenlogica : a) Iedereen houdt van iemand. b) Er is iemand van wie iedereen houdt. c) Niemand houdt van iedereen. d) Iedereen houdt van ichelf. e) Er bestaat iemand die van niemand houdt behalve van ichelf. 9. Als je onderstaande uitdrukkingen aanvult met, bekom je dan een uitspraak die waar is, vals is of naargelang het geval owel waar als vals kan ijn? Idem met i.p.v.. a) ( p ( p q)) p q b) p q (p q) ( p q) c) ((p q) r) (p (q r)) d) (p q) ( p q) e) (p (q r)) (p q) f) (p q) (p q) g) x U : (p(x) q(x)) ( x U : p(x) x U : q(x)) h) ( x U : p(x) x U : q(x)) x U : (p(x) q(x)) i) x U : (p(x) q(x)) ( x U : p(x) x U : q(x)) j) ( x U : p(x)) x U : p(x) 10. Vereenvoudig volgende logische uitdrukkingen (alle variabelen R) : a) (x > +5) (x > 3) ( > 0) b) (5x > ) (x < 125) ( < 0) c) (( > x) ( > 10)) (x > 0) d) (x + > 6) (x > 6) ( > 0) e) (x > +5) (x>3) (<0) f) (x>6) ( x->2) (<0) g) (-x-+5>0) (x>=0) (>0) (<=0) h) (21x > ) (x < 125) ( < 0) HOOFDSTUK 4 LOGICA 4.3
4 i) (x >=5) (<8) (x<10) j) (x++2 > 6) (>0) (>1) Bewijsstrategieën 11. a) Toon aan dat log 2 3 een irrationaal getal is. b) Is log 2 4 ook een irrationaal getal? Volg deelfde redenering als bij a) en ga na wat er verandert. 12. Bewijs dat ten minste 1 van de reele getallen a 1, a 2,, a n groter is dan of gelijk is aan het gemiddelde van dee getallen. 13. Toon aan dat a,b,c R : min(a, min(b,c)) = min(min(a,b), c) 14. Bewijs: k,l N: (k en l even k+l even) 15. Bewijs de ongelijkheid n < 2 n voor alle natuurlijke getallen n. 16. Bewijs: x, R + : (x > 25 x > 5 > 5) 17. Wat is verkeerd bij het volgende bewijs dat alle studenten in elke groep grootste onderscheiding halen? Het bewijs gebeurt via inductie op het aantal studenten. Beschouw een groep van 0 studenten. Aangeien de groep leeg is, heeft iedereen in de groep grootste onderscheiding. We bewijen dat, als we veronderstellen dat de bewering waar is voor n, de bewering waar is voor n+1. Beschouw een groep van n+1 studenten: haal 1 van hen weg. Alle studenten in de groep hebben nu grootste onderscheiding. Vervang een student van de groep (met grootste onderscheiding) door de student die eerst uit de groep van n+1 studenten genomen werd, nog steeds hebben alle studenten grootste onderscheiding. Dus heeft elke student in de groep van n+1 studenten grootste onderscheiding. 18. Stel een algemeen geldige (d.w.. n N) formule in gesloten gedaante op voor de som van kwadraten van de kleinste natuurlijke getallen : Ga daarbij als volgt tewerk : S( n) = n m= 0 b a) Bereken 2 integralen van de vorm x 2 dx waarbij je a en b telkens o kiest dat de a ene integraal een bovengrens en de andere integraal een benedengrens vormt voor S(n). b) Probeer daaruit te raden hoe die formule in gesloten gedaante van S(n) er ou kunnen uitien (met enkele onbekende parameters). [Hint : Bekijk ter analogie ook de formule voor de som n uit de theoriecursus.] c) Bepaal de waarde van de onbekende parameters a.d.h.v. de berekening van S(0), S(1), Op die manier bekom je een formule in gesloten gedaante voor S(n) d) Bewijs de geldigheid van de aldus bekomen formule voor S(n) voor alle natuurlijke getallen n. 19. Als de natuurlijke getallen 1 t.e.m. 10 in willekeurige volgorde rond een cirkel worden geplaatst, dan kan men 3 opeenvolgende getallen op de cirkel vinden waarvoor de som groter is dan 17. m 2 HOOFDSTUK 4 LOGICA 4.4
5 a) Bewijs dit. b) Geldt dee eigenschap ook voor 18 i.p.v. 17? Indien ja, bewijs. Indien neen, geef een tegenvoorbeeld. 20. *Toon aan dat het onmogelijk is om een 8 8 schaakbord waaruit 2 diametraal t.o.v. elkaar liggende hoekvakjes werden verwijderd volledig te bedekken met dominostenen (1 dominosteen is een 1 2 stuk), indien de dominostenen elkaar niet mogen overlappen. 21. Toon aan dat n 2-1 steeds deelbaar is door 8 voor elk oneven natuurlijk getal n. 22. Elke vierkantswortel n van een natuurlijk getal n is irrationaal als en slechts als n geen volkomen kwadraat is. a) Formuleer dee eigenschap m.b.v. predikatenlogica. b) Bewijs dee eigenschap. 23. Beschouw de volgende recursieve methoden in Java. Teken telkens de ermee corresponderende gerichte boomstructuur. Betreft het een correcte recursieve methode, met andere woorden al de opgeroepen methode steeds eindigen na een eindig aantal stappen? static long iets(int n) if(n==1) return 1; else if(n==2) return 2; else return(n*iets(n-1)+n*n*iets(n-2)); static long berekeniets(int n) if(n==1) return 1; else if((n%2)==1) return(berekeniets(n+1)); else return(2*berekeniets(n/2)); Toepassing : digitale circuits 24. Vereenvoudig volgende digitale schakelingen. a) HOOFDSTUK 4 LOGICA 4.5
6 x x x x b) x u 25. Zet volgende logische functies om in digitale schakelingen (met enkel NIET-, EN- en OFpoorten). Beperk het aantal poorten oveel mogelijk. a) (x ) ( x ) b) ( x ) (x ) (x ) c) x d) (x ) ( ) e) (( x ) ) (x ) 26. Een 'half adder' of 'two adder' is een digitale schakeling die 2 1-bitsgetallen bij elkaar optelt en het resultaat (bestaande uit 2 bits) berekent. Ontwerp een dergelijke 'half adder'. 27. I.p.v. gebruik te maken van 3 basispoorten (NIET-, OF- en EN-poort), kan men ook alle logische functies realiseren a.d.h.v. 1 basispoort oals de NEN-poort (= niet en) met een aanpasbaar aantal ingangen (1, 2, 3, ingangen). a) Toon dit aan. b) Realiseer de schakelingen uit opgave 25 door enkel gebruik te maken van NENpoorten. Is het resultaat dat je bekomt optimaal wat betreft het aantal gebruikte NEN-poorten? HOOFDSTUK 4 LOGICA 4.6
7 c) Kan men ook alle logische functies realiseren a.d.h.v. uitsluitend NOF-poorten? Toepassing : correctheid programma's 28. Verifieer of het programmafragment (in JAVA) power=1; int i=1; while (i<=n) power=power*x; i++; a) correct is in geval van de preconditie n N x R power R en de postconditie n N x R power R power = x n. b) correct is in geval van de preconditie n is int x is double power is double n >= 0 en de postconditie n is int x is double power is double n >= 0 power = x n. 29. Gegeven volgend programmafragment (in JAVA) : if(n<0) a=-n; else a=n; k=0; x=0; while ((k++)<a) x+=m; if (n<0) produkt=-x; else produkt = x; a) Schrijf elk van dee 4 onderdelen als een Hoare triple (neem aan dat alle variabelen gehele getallen voorstellen). b) Schrijf het volledige programmafragment als een Hoare triple. 30. Gegeven volgend programmafragment (in JAVA) : n1 = n; int i=0; while (n>i) n--; i++; met als preconditie p : n is int en n>0 en n1 is int en n1<3. Formuleer een o volledig mogelijke postconditie. 31. Gegeven volgend programmafragment (in JAVA) : static long berekeniets(int n) if(n==1) return 1; else if((n%2)==1) return(berekeniets(n+1)); else return(2*berekeniets(n/2)); a) Formuleer de preconditie en de postconditie voor dit fragment (in een o eenvoudig mogelijke gedaante). HOOFDSTUK 4 LOGICA 4.7
8 b) Toon aan dat dit fragment effectief voldoet aan dee specificaties. HOOFDSTUK 4 LOGICA 4.8
Ontwerp van Algoritmen: opgaven weken 3 en 4
0 Ontwerp van Algoritmen: opgaven weken 3 en 4 Voor alle volgende opgaven over programmaatjes geldt de spelregel: formuleer altijd eerst alle bewijsverplichtingen. selectie 45. (tail distribution)(prima
Nadere informatieBewijs door inductie
Bewijs door inductie 1 Bewijs door inductie Vaak bestaat een probleem erin aan te tonen dat een bepaalde eigenschap geldt voor elk natuurlijk getal. Als je wilt weten of iets waar is voor alle natuurlijke
Nadere informatieOpmerking. TI1300 Redeneren en Logica. Met voorbeelden kun je niks bewijzen. Directe en indirecte bewijzen
Opmerking TI1300 Redeneren en Logica College 2: Bewijstechnieken Tomas Klos Algoritmiek Groep Voor alle duidelijkheid: Het is verre van triviaal om definities te leren hanteren, beweringen op te lossen,
Nadere informatieAppendix Inversie bekeken vanuit een complex standpunt
Bijlage bij Inversie Appendix Inversie bekeken vanuit een complex standpunt In dee paragraaf gaan we op een andere manier kijken naar inversie. We doen dat met behulp van de complexe getallen. We veronderstellen
Nadere informatieJe hebt twee uur de tijd voor het oplossen van de vraagstukken. µkw uitwerkingen. 12 juni 2015
Je hebt twee uur de tijd voor het oplossen van de vraagstukken. Elk vraagstuk is maximaal 10 punten waard. Begin elke opgave op een nieuw vel papier. µkw uitwerkingen 12 juni 2015 Vraagstuk 1. We kunnen
Nadere informatieDiscrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl. 9 februari 2009 BEWIJZEN
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 9 februari 2009 BEWIJZEN Discrete Structuren Week1 : Bewijzen Onderwerpen Puzzels
Nadere informatieLogica voor Informatica. Propositielogica. Normaalvormen en Semantische tableaux. Mehdi Dastani
Logica voor Informatica Propositielogica Normaalvormen en Semantische tableaux Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Literals Een literal is een propositieletter, of de
Nadere informatie2004 Gemeenschappelijke proef Algebra - Analyse - Meetkunde - Driehoeksmeting 14 vragen - 2:30 uur Reeks 1 Notatie: tan x is de tangens van de hoek x, cot x is de cotangens van de hoek x Vraag 1 In een
Nadere informatieMededelingen. TI1300: Redeneren en Logica. Waarheidstafels. Waarheidsfunctionele Connectieven
Mededelingen TI1300: Redeneren en Logica College 4: Waarheidstafels, Redeneringen, Syntaxis van PROP Tomas Klos Algoritmiek Groep Voor de Fibonacci getallen geldt f 0 = f 1 = 1 (niet 0) Practicum 1 Practicum
Nadere informatieLogic for Computer Science
Logic for Computer Science 06 Normaalvormen en semantische tableaux Wouter Swierstra University of Utrecht 1 Vorige keer Oneindige verzamelingen 2 Vandaag Wanneer zijn twee formules hetzelfde? Zijn er
Nadere informatie2 n 1. OPGAVEN 1 Hoeveel cijfers heeft het grootste bekende Mersenne-priemgetal? Met dit getal vult men 320 krantenpagina s.
Hoofdstuk 1 Getallenleer 1.1 Priemgetallen 1.1.1 Definitie en eigenschappen Een priemgetal is een natuurlijk getal groter dan 1 dat slechts deelbaar is door 1 en door zichzelf. Om technische redenen wordt
Nadere informatie1 Logica. 1.2.1 a. tautologie -1-
1 Logica 1.1.1 a. neen: de spreker bedoelt met "hier" de plek waar hij op dat moment is, maar "warm" is subjectief; vgl.: "het is hier 25 graden Celsius". b. ja: de uitspraak is onwaar (=120 uur). c. neen:
Nadere informatieGetallenleer Inleiding op codeertheorie. Cursus voor de vrije ruimte
Getallenleer Inleiding op codeertheorie Liliane Van Maldeghem Hendrik Van Maldeghem Cursus voor de vrije ruimte 2 Hoofdstuk 1 Getallenleer 1.1 Priemgetallen 1.1.1 Definitie en eigenschappen Een priemgetal
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 22 februari 2009 INDUCTIE & RECURSIE Paragrafen 4.3-4.6 Discrete Structuren Week 3:
Nadere informatieTegenvoorbeeld. TI1300: Redeneren en Logica. De truc van Gauss. Carl Friedrich Gauss, 7 jaar oud (omstreeks 1785)
Tegenvoorbeeld TI1300: Redeneren en Logica College 3: Bewijstechnieken & Propositielogica Tomas Klos Definitie (Tegenvoorbeeld) Een situatie waarin alle premissen waar zijn, maar de conclusie niet Algoritmiek
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 informatie1 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 informatieMachten, exponenten en logaritmen
Machten, eponenten en logaritmen Machten, eponenten en logaritmen Macht, eponent en grondtal Eponenten en logaritmen hebben alles met machtsverheffen te maken. Een macht als 4 is niets anders dan de herhaalde
Nadere informatieGeldwisselprobleem van Frobenius
Geldwisselprobleem van Frobenius Karin van de Meeberg en Dieuwertje Ewalts 12 december 2001 1 Inhoudsopgave 1 Inleiding 3 2 Afspraken 3 3 Is er wel zo n g? 3 4 Eén waarde 4 5 Twee waarden 4 6 Lampenalgoritme
Nadere informatieRAF belangrijk te onthouden
RAF belangrijk te onthouden Auteur: Daan Pape Hoofdstuk 1 symbool omschrijving lees als negatie (ontkenning) p niet p het is niet zo dat p conjunctie p q p en q disjunctie p q p of q implicatie p q als
Nadere informatiePROPOSITIELOGICA. fundament voor wiskundig redeneren. Dr. Luc Gheysens
PROPOSITIELOGICA fundament voor wiskundig redeneren Dr. Luc Gheysens PROPOSITIELOGICA Een propositie of logische uitspraak, verder weergegeven door een letter p, q, r is een uitspraak die in een vastgelegde
Nadere informatie2. Ga voor volgende relaties na of het al dan niet functies, afbeeldingen, bijecties, injecties, surjecties zijn :
HOOFDSTUK. VERZAMELINGEN, RELATIES EN FUNCTIES Opgaven verzamelingen, relaties en functies. Toon aan : a) (A B) C = A (B C) b) A (B C) = (A B) (A C) c) (A B) c = A c B c d) A B B c A c. Ga voor volgende
Nadere informatieOefenopgaven Grondslagen van de Wiskunde A
Oefenopgaven Grondslagen van de Wiskunde A Jaap van Oosten 2007-2008 1 Kardinaliteiten Opgave 1.1. Bewijs, dat R N = R. Opgave 1.2. Laat Cont de verzameling continue functies R R zijn. a) Laat zien dat
Nadere informatieProgrammeren (1) Examen NAAM:
Schrijf al je antwoorden op deze vragenbladen (op de plaats die daarvoor is voorzien) en geef zowel klad als net af. Bij heel wat vragen moet je zelf Java-code schrijven. Hou dit kort en bondig. Je hoeft
Nadere informatie2 Recurrente betrekkingen
WIS2 1 2 Recurrente betrekkingen 2.1 Fibonacci De getallen van Fibonacci Fibonacci (= Leonardo van Pisa), 1202: Bereken het aantal paren konijnen na één jaar, als 1. er na 1 maand 1 paar pasgeboren konijnen
Nadere informatieGetaltheorie 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 informatieWiskundige Analyse I. Hoofdstuk 1. Vraag 1.1 Het beginvoorwaardenprobleem. x 2 y + xy + x 2 y = 0, y(0+) = 1, y (0+) = 0. bezit een unieke oplossing.
Hoofdstuk 1 Wiskundige Analyse I Vraag 1.1 Het beginvoordenprobleem x 2 y + xy + y = 0, y(0+) = 1, y (0+) = 0 bezit een unieke oplossing. vals Vraag 1.2 Het beginvoordenprobleem x 2 y + xy + x 2 y = 0,
Nadere informatieTECHNISCHE UNIVERSITEIT EINDHOVEN. Faculteit Wiskunde en Informatica
TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica Tentamen Kansrekening (2WS2, Vrijdag 23 januari 25, om 9:-2:. Dit is een tentamen met gesloten boek. De uitwerkingen van de opgaven dienen
Nadere informatieVoorbereiding toelatingsexamen arts/tandarts. Wiskunde: gemiddelden, ongelijkheden enz 23/5/2015. dr. Brenda Casteleyn
Voorbereiding toelatingsexamen arts/tandarts Wiskunde: gemiddelden, ongelijkheden enz 23/5/2015 dr. Brenda Casteleyn Met dank aan: Atheneum van Veurne (http://www.natuurdigitaal.be/geneeskunde/fysica/wiskunde/wiskunde.htm),
Nadere informatieFormeel Denken 2013 Uitwerkingen Tentamen
Formeel Denken 201 Uitwerkingen Tentamen (29/01/1) 1. Benader de betekenis van de volgende Nederlandse zin zo goed mogelijk (6 punten) door een formule van de propositielogica: Het is koud, maar er ligt
Nadere informatieTEST 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 informatieExamen G0U13 Bewijzen en Redeneren Bachelor 1ste fase Wiskunde. vrijdag 31 januari 2014, 8:30 12:30. Auditorium L.00.07
Examen G0U13 Bewijzen en Redeneren Bachelor 1ste fase Wiskunde vrijdag 31 januari 2014, 8:30 12:30 Auditorium L.00.07 Geef uw antwoorden in volledige, goed lopende zinnen. Het examen bestaat uit 5 vragen.
Nadere informatieIII.3 Supremum en infimum
III.3 Supremum en infimum Zowel de reële getallen als de rationale getallen vormen geordende lichamen. Deze geordende lichamen zijn echter principieel verschillend. De verzameling R is bijvoorbeeld aanzienlijk
Nadere informatieOPLOSSINGEN VAN DE OEFENINGEN
OPLOSSINGEN VAN DE OEFENINGEN 1.3.1. Er zijn 42 mogelijke vercijferingen. 2.3.4. De uitkomsten zijn 0, 4 en 4 1 = 4. 2.3.6. Omdat 10 = 1 in Z 9 vinden we dat x = c 0 +... + c m = c 0 +... + c m. Het getal
Nadere informatieZevende college Algoritmiek. 6 april Verdeel en Heers
Zevende college Algoritmiek 6 april 2018 Verdeel en Heers 1 Algoritmiek 2018/Backtracking Programmeeropdracht 2 Puzzel 2: D O N A L D G E R A L D + R O B E R T Elke letter stelt een cijfer voor (0,1,...,9)
Nadere informatieMededelingen. TI1300: Redeneren en Logica. Metavariabelen Logica, p Minder connectieven nodig
Mededelingen TI1300: Redeneren en Logica College 5: Semantiek van de Propositielogica Tomas Klos Algoritmiek Groep Tip: Als ik je vraag de recursieve definitie van een functie over PROP op te schrijven,
Nadere informatie6.4 Toepassingen van de algebra
Toepassingen van de algebra 175 6.4 Toepassingen van de algebra 6.4.1 Snelrekentrucs Even snel: hoeveel is 59 61? Als je dit niet snel uit je hoofd kunt, dan is het handig gebruik te maken van haakjes
Nadere informatieSelectietoets vrijdag 10 maart 2017
Selectietoets vrijdag 10 maart 2017 NEDERLANDSE W I S K U N D E OLYMPIADE Uitwerkingen Opgave 1. Zij n een even positief geheel getal. Een rijtje van n reële getallen noemen we volledig als voor elke gehele
Nadere informatieHoe Gödel de wiskunde liet schrikken
p. 1/1 Hoe Gödel de wiskunde liet schrikken Stefaan Vaes CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE K.U.Leuven C.N.R.S. Paris p. 2/1 De leugenaarsparadox Ik ben aan het liegen p. 2/1 De leugenaarsparadox
Nadere informatieZevende college algoritmiek. 23/24 maart Verdeel en Heers
Zevende college algoritmiek 23/24 maart 2017 Verdeel en Heers 1 Algoritmiek 2017/Backtracking Tweede Programmeeropdracht 0 1 2 3 0 1 2 3 4 1 2 3 4 5 2 Algoritmiek 2017/Backtracking Tweede Programmeeropdracht
Nadere informatie6.3.2 We moeten onderzoeken of de volgende bewering juist is of niet: x [ P (x ) Q (x )] xp(x ) xq(x ). De bewering is onjuist:
6.3.2 We moeten onderzoeken of de volgende bewering juist is of niet: x [ P (x ) Q (x ) xp(x ) xq(x ). De bewering is onjuist: Kies als tegenvoorbeeld: P (x ):x 2 > 0enQ (x ):x>0, voor U = R Dan geldt:
Nadere informatieREEKS 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 informatieEen eenvoudig algoritme om permutaties te genereren
Een eenvoudig algoritme om permutaties te genereren Daniel von Asmuth Inleiding Er zijn in de vakliteratuur verschillende manieren beschreven om alle permutaties van een verzameling te generen. De methoden
Nadere informatie11. Eenvoudige programma s schrijven in Maxima
11. Eenvoudige programma s schrijven in Maxima We zullen in dit hoofdstuk een aantal eenvoudige Maxima programma s laten zien. 11.1. Aantal wortels van een vierkantsvergelijking Het onderstaande programma
Nadere informatieI.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 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 informatieAlgebra groep 2 & 3: Standaardtechnieken kwadratische functies
Algebra groep 2 & 3: Standaardtechnieken kwadratische functies Trainingsweek juni 2008 Kwadraat afsplitsen Een kwadratische functie oftewel tweedegraads polynoom) px) = ax 2 + bx + c a 0) kan in verschillende
Nadere informatieREEKS II. Zaterdag 6 november 2010, 11u
TEST INFORMATICA 1STE BACHELOR IN DE INGENIEURSWETENSCHAPPEN - ACADEMIEJAAR 2010-2011 REEKS II Zaterdag 6 november 2010, 11u NAAM :... VRAAG 1: AFSTAND [5 PUNTEN] In deze oefening gaan we opzoek naar identieke
Nadere informatie( ) 8 ( ) 10. Nearby integers P.G. van de Veen, 19 juli en dát getal heeft al 960 cijfers voor de komma. Want. log 3 = 2010 log 3 > 959
earby integers P.G. van de Veen, 19 juli 011 Hoeveel opeenvolgende negens heeft ( + 3) 010 achter de komma Wat een vreemde vraag! Zijn dat er dan veel En hoe tel je ze Dit getal is toch veel te groot om
Nadere informatierecursie Hoofdstuk 5 Studeeraanwijzingen De studielast van deze leereenheid bedraagt circa 6 uur. Terminologie
Hoofdstuk 5 Recursion I N T R O D U C T I E Veel methoden die we op een datastructuur aan kunnen roepen, zullen op een recursieve wijze geïmplementeerd worden. Recursie is een techniek waarbij een vraagstuk
Nadere informatieVoorbeeldtentamen Inleiding programmeren (IN1608WI), Oktober 2003, , Technische Universiteit Delft, Faculteit EWI, Afdeling 2.
Voorbeeldtentamen Inleiding programmeren (IN1608WI), Oktober 2003, 14.00-15.30, Technische Universiteit Delft, Faculteit EWI, Afdeling 2. Dit tentamen bestaat uit twee delen. Deel 1 (14.00-14.45, gesloten
Nadere informatierh276a 0 We breiden nu bovenstaand programmafragment uit door assignments toe te voegen aan een nieuwe variabele m, aldus:
rh276a 0 Een paar praktische stellinkjes 0 Standaardeindiging stelling (standaardeindiging 0) : Het volgende programmafragment eindigt, heeft als repetitie-invariant 0 n n N en als variante functie N n
Nadere informatieVERZAMELINGEN EN AFBEELDINGEN
I VERZAMELINGEN EN AFBEELDINGEN Het begrip verzameling kennen we uit het dagelijks leven: een bibliotheek bevat een verzameling van boeken, een museum een verzameling van kunstvoorwerpen. We kennen verzamelingen
Nadere informatie(vi) Als u een stelling, eigenschap,... gebruikt, formuleer die dan, toon aan dat de voorwaarden vervuld zijn, maar bewijs die niet.
Examen Functieruimten - Deel theorie 15 januari 2016, 08:30 uur Naam en Voornaam: Lees eerst dit: (i) Naam en voornaam hierboven invullen. (ii) Nietje niet losmaken. (iii) Enkel deze bundel afgeven; geen
Nadere informatieTentamen Formele Methoden voor Software Engineering (213520)
Tentamen Formele Methoden voor Software Engineering (213520) 15 april 2010, 8:45 12:15 uur. BELANGRIJK: geef op je tentamen duidelijk aan: je studierichting of je beide huiswerkopgaven gemaakt hebt, en
Nadere informatieBespreking van het examen Complexe Analyse (tweede zittijd)
Bespreking van het examen Complexe Analyse (tweede zittijd) Bekijk ook de bespreking van het examen van de eerste zittijd (op Toledo). Het valt hier op dat de scores op sommige vragen wel heel slecht zijn.
Nadere informatieFormeel Denken 2014 Uitwerkingen Tentamen
Formeel Denken 2014 Uitwerkingen Tentamen (29/01/15) 1. Benader de betekenis van de volgende Nederlandse zin zo goed mogelijk (6 punten) door een formule van de propositielogica: Als het regent word ik
Nadere informatieGetallensystemen, verzamelingen en relaties
Hoofdstuk 1 Getallensystemen, verzamelingen en relaties 1.1 Getallensystemen 1.1.1 De natuurlijke getallen N = {0, 1, 2, 3,...} N 0 = {1, 2, 3,...} 1.1.2 De gehele getallen Z = {..., 4, 3, 2, 1, 0, 1,
Nadere informatieOefening 2.2. Welke van de volgende beweringen zijn waar?
Oefeningen op hoofdstuk 2 Verzamelingenleer 2.1 Verzamelingen Oefening 2.1. Beschouw A = {1, {1}, {2}}. Welke van de volgende beweringen zijn waar? Beschouw nu A = {1, 2, {2}}, zelfde vraag. a. 1 A c.
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 informatie10 Meer over functies
10 Meer over functies In hoofdstuk 5 hebben we functies uitgebreid bestudeerd. In dit hoofdstuk bekijken we drie andere aspecten van functies: recursieve functies dat wil zeggen, functies die zichzelf
Nadere informatieTentamen Computersystemen
Tentamen Computersystemen baicosy06 2e jaar bachelor AI, 2e semester 23 september 2013 13u-15u IWO 4.04A (blauw), Academisch Medisch Centrum, Meidreef 29, Amsterdam ZuidOost Het is niet toegestaan communicatieapparatuur
Nadere informatieUitwerkingen toets 12 juni 2010
Uitwerkingen toets 12 juni 2010 Opgave 1. Bekijk rijen a 1, a 2, a 3,... van positieve gehele getallen. Bepaal de kleinst mogelijke waarde van a 2010 als gegeven is: (i) a n < a n+1 voor alle n 1, (ii)
Nadere informatieVoorbereiding toelatingsexamen arts/tandarts. Wiskunde: Logaritmen en getal e. 23 juli 2015. dr. Brenda Casteleyn
Voorbereiding toelatingsexamen arts/tandarts Wiskunde: Logaritmen en getal e 23 juli 2015 dr. Brenda Casteleyn Met dank aan: Atheneum van Veurne (http://www.natuurdigitaal.be/geneeskunde/fysica/wiskunde/wiskunde.htm),
Nadere informatieInleiding Analyse 2009
Inleiding Analyse 2009 Inleveropgaven A). Stel f(, y) = In (0, 0) is f niet gedefinieerd. We bestuderen y2 2 + y 4. lim f(, y). (,y) (0,0) 1. Bepaal de waarde van f(, y) op een willekeurige rechte lijn
Nadere informatieBijzondere kettingbreuken
Hoofdstuk 15 Bijzondere kettingbreuken 15.1 Kwadratische getallen In het vorige hoofdstuk hebben we gezien dat 2 = 1, 2, 2, 2, 2, 2, 2,.... Men kan zich afvragen waarom we vanaf zeker moment alleen maar
Nadere informatieV Kegelsneden en Kwadratische Vormen in R. IV.0 Inleiding
V Kegelsneden en Kwadratische Vormen in R IV.0 Inleiding V. Homogene kwadratische vormen Een vorm als H (, ) = 5 4 + 8 heet een homogene kwadratische vorm naar de twee variabelen en. Een vorm als K (,
Nadere informatiePARADOXEN 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 informatieTECHNISCHE UNIVERSITEIT EINDHOVEN. Faculteit Wiskunde en Informatica
TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica Tentamen Kansrekening (2WS2), Vrijdag 24 januari 24, om 9:-2:. Dit is een tentamen met gesloten boek. De uitwerkingen van de opgaven
Nadere informatie1.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 informatieTer Leering ende Vermaeck
Ter Leering ende Vermaeck 15 december 2011 1 Caleidoscoop 1. Geef een relatie op Z die niet reflexief of symmetrisch is, maar wel transitief. 2. Geef een relatie op Z die niet symmetrisch is, maar wel
Nadere informatieProgrammeermethoden. Recursie. week 11: november kosterswa/pm/
Programmeermethoden Recursie week 11: 21 25 november 2016 www.liacs.leidenuniv.nl/ kosterswa/pm/ 1 Pointers Derde programmeeropgave 1 Het spel Gomoku programmeren we als volgt: week 1: pointerpracticum,
Nadere informatiePROS1E1 Gestructureerd programmeren in C Dd/Kf/Bd
Inhoudsopgave 1 Inleiding... 1 2 Toekenning- en herhalingsopdrachten (for loop)... 2 2.1 De wet van Ohm... 3 2.2 De spaarrekening... 3 2.3 De transformator... 3 3 Keuze- en herhalingsopdrachten (if, switch,
Nadere informatieIJkingstoets burgerlijk ingenieur-architect september 2018: feedback deel wiskunde
IJkingstoets burgerlijk ingenieur-architect september 8: feedback deel wiskunde Positionering ten opzichte van andere deelnemers In totaal namen 5 studenten deel aan de ijkingstoets burgerlijk ingenieur-architect
Nadere informatieIJkingstoets burgerlijk ingenieur-architect september 2018: feedback deel wiskunde
IJkingstoets burgerlijk ingenieur-architect september 8: feedback deel wiskunde Positionering ten opzichte van andere deelnemers In totaal namen 5 studenten deel aan de ijkingstoets burgerlijk ingenieur-architect
Nadere informatieTentamen TI1300 en IN1305-A (Redeneren en) Logica
TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen TI1300 en IN1305-A (Redeneren en) Logica 5 november 2010, 9.00 12.00 uur LEES DEZE OPMERKINGEN AANDACHTIG DOOR
Nadere informatieExamen G0U13 Bewijzen en Redeneren Bachelor of Science Fysica en Wiskunde. vrijdag 3 februari 2012, 8:30 12:30
Examen G0U13 Bewijzen en Redeneren Bachelor of Science Fysica en Wiskunde vrijdag 3 februari 2012, 8:30 12:30 Naam: Geef uw antwoorden in volledige, goed lopende zinnen. Het examen bestaat uit 5 vragen.
Nadere informatieLogica voor Informatica
Logica voor Informatica 10 Predikatenlogica Wouter Swierstra University of Utrecht 1 Vorige keer Syntax van predikatenlogica Alfabet Termen Welgevormde formulas (wff) 2 Alfabet van de predikatenlogica
Nadere informatieVerzamelingen. Hoofdstuk 5
Hoofdstuk 5 Verzamelingen In de meest uiteenlopende omstandigheden kan het handig zijn om een stel objecten, elementen, of wat dan ook, samen een naam te geven. Het resultaat noemen we dan een verzameling.
Nadere informatieVolledige inductie. Hoofdstuk 7. Van een deelverzameling V van de verzameling N van alle natuurlijke getallen veronderstellen.
Hoofdstuk 7 Volledige inductie Van een deelverzameling V van de verzameling N van alle natuurlijke getallen veronderstellen we het volgende: (i) 0 V (ii) k N k V k + 1 V Dan is V = N. Men ziet dit als
Nadere informatieHints en uitwerkingen huiswerk 2013 Analyse 1 H17
Hints en uitwerkingen huiswerk 013 Analyse 1 H17 Rocco van Vreumingen augustus 014 1 Inhoudsopgave 1 Hints 1 3 Hints 4 3 Hints 3 4 4 Hints 4 5 5 Hints 5 5 6 Hints 6 6 7 Hints 7 6 8 Hints 8 6 9 Hints 9
Nadere informatieb) Niet geldig. Zij π(n)(p) = 1 als n is even, anders π(n)(p) = 0. Schrijf
opgave 2.1 a) Geldig. Zij n N en π een willekeurige valuatie. Schrijf T = (N, π). Stel, T, n p. Dan bestaat m > n zodat T, m p. Dus voor k > m geldt altijd T, k p. Nu geldt T, n p, want voor alle x > n
Nadere informatiePolynomen. + 5x + 5 \ 3 x 1 = S(x) 2x x. 3x x 3x 2 + 2
Lesbrief 3 Polynomen 1 Polynomen van één variabele Elke functie van de vorm P () = a n n + a n 1 n 1 + + a 1 + a 0, (a n 0), heet een polynoom of veelterm in de variabele. Het getal n heet de graad van
Nadere informatieZomercursus Wiskunde. Module 1 Algebraïsch rekenen (versie 22 augustus 2011)
Katholieke Universiteit Leuven September 011 Module 1 Algebraïsch rekenen (versie augustus 011) Inhoudsopgave 1 Rekenen met haakjes 1.1 Uitwerken van haakjes en ontbinden in factoren............. 1. De
Nadere informatieSelectietoets vrijdag 21 maart 2014
Selectietoets vrijdag 21 maart 2014 NEDERLANDSE W I S K U N D E OLYMPIADE Uitwerkingen Opgave 1. Vind alle niet-negatieve gehele getallen n waarvoor er gehele getallen a en b bestaan met n 2 = a + b en
Nadere informatieTentamen Grondslagen van de Wiskunde A Met beknopte uitwerking
Tentamen Grondslagen van de Wiskunde A Met beknopte uitwerking 10 december 2013, 09:30 12:30 Dit tentamen bevat 5 opgaven; zie ook de ommezijde. Alle opgaven tellen even zwaar (10 punten); je cijfer is
Nadere informatieDossier 3 PRIEMGETALLEN
Dossier 3 PRIEMGETALLEN atomen van de getallenleer Dr. Luc Gheysens Een priemgetal is een natuurlijk getal met twee verschillende delers, nl. 1 en het getal zelf. De priemgetallen zijn dus 2, 3, 5, 7,
Nadere informatieopgaven formele structuren deterministische eindige automaten
opgaven formele structuren deterministische eindige automaten Opgave. De taal L over het alfabet {a, b} bestaat uit alle strings die beginnen met aa en eindigen met ab. Geef een reguliere expressie voor
Nadere informatie1 Vlaamse Wiskunde Olympiade : Eerste Ronde.
Vlaamse Wiskunde Olympiade 986 987: Eerste Ronde De eerste ronde bestaat uit 0 meerkeuzevragen Het quoteringssysteem werkt als volgt : een deelnemer start met 0 punten Per goed antwoord krijgt hij of zij
Nadere informatieZevende college algoritmiek. 24 maart Verdeel en Heers
Zevende college algoritmiek 24 maart 2016 Verdeel en Heers 1 Verdeel en heers 1 Divide and Conquer 1. Verdeel een instantie van het probleem in twee (of meer) kleinere instanties 2. Los de kleinere instanties
Nadere informatie6.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 informatie1 Recurrente betrekkingen
WIS1 1 1 Recurrente betrekkingen 1.1 De torens van Hanoi De torens van Hanoi Edouard Lucas, 1884: Gegeven 3 pinnen en 64 schijven van verschillende grootte. Startsituatie: 64 op linkerpin, geordend naar
Nadere informatie1 Limiet van een rij Het begrip rij Bepaling van een rij Expliciet voorschrift Recursief voorschrift 3
HOOFDSTUK 6: RIJEN 1 Limiet van een rij 2 1.1 Het begrip rij 2 1.2 Bepaling van een rij 2 1.2.1 Expliciet voorschrift 2 1.2.2 Recursief voorschrift 3 1.2.3 Andere gevallen 3 1.2.4 Rijen met de grafische
Nadere informatieUitgewerkte oefeningen
Uitgewerkte oefeningen Algebra Oefening 1 Gegeven is de ongelijkheid: 4 x. Welke waarden voor x voldoen aan deze ongelijkheid? A) x B) x [ ] 4 C) x, [ ] D) x, Oplossing We werken de ongelijkheid uit: 4
Nadere informatieZomercursus Wiskunde. Katholieke Universiteit Leuven Groep Wetenschap & Technologie. September 2008
Katholieke Universiteit Leuven September 008 Algebraïsch rekenen (versie 7 juni 008) Inleiding In deze module worden een aantal basisrekentechnieken herhaald. De nadruk ligt vooral op het symbolisch rekenen.
Nadere informatieExamen Datastructuren en Algoritmen II
Tweede bachelor Informatica Academiejaar 2012 2013, tweede zittijd Examen Datastructuren en Algoritmen II Naam :.............................................................................. Lees de hele
Nadere informatie2.1 Lineaire functies [1]
2.1 Lineaire functies [1] De lijn heeft een helling (richtingscoëfficiënt) van 1; De lijn gaat in het punt (0,2) door de y-as; In het plaatje is de lijn y = x + 2 getekend. Omdat de grafiek een rechte
Nadere informatieLOGICA OP HET MENU DEEL 2. Dr. Luc Gheysens en Daniël Tant
LOGICA OP HET MENU DEEL 2 Dr. Luc Gheysens en Daniël Tant Augustus De Morgan (180 1871) was een Britse wiskundige die vooral bekend is gebleven voor zijn werk op het gebied van de logica en meerbepaald
Nadere informatie1 Vlaamse Wiskunde Olympiade : Eerste Ronde.
Vlaamse Wiskunde Olympiade 995 996 : Eerste Ronde De eerste ronde bestaat uit 30 meerkeuzevragen, opgemaakt door de jury van VWO Het quoteringssysteem werkt als volgt : een deelnemer start met 30 punten
Nadere informatie1 Kettingbreuken van rationale getallen
Kettingbreuken van rationale getallen Laten we eens starten met een breuk bijvoorbeeld 37/3 Laten we hier ons kettingbreuk algoritme op los, We concluderen hieruit dat 37 3 3 + 3 + + 37 3 + + + hetgeen
Nadere informatie