Hoorcollege I: PGA en de talen PGLA en PGLB Alban Ponse
|
|
- Edith van der Berg
- 6 jaren geleden
- Aantal bezoeken:
Transcriptie
1 Hoorcollege I: PGA en de talen PGLA en PGLB Alban Ponse CSP Faculteit NWI Instituut voor Informatica Universiteit van Amsterdam 26 september 2003, 1
2 Wie zijn wij? Inge Bethke, docent bij CSP (sectie Programmatuur) Bob Diertens, wetenschappelijk programmeur bij CSP Alban Ponse, docent bij CSP Het boekje en internet - pagina 5: de internetlink bevat een niet-publieke verwijzing naar uitwerkingen van de opgaven: User: docent password: neem hiervoor contact op met de docenten. 26 september 2003, 2
3 Inhoud van het programma: Hoorcollege I Computerpracticum I Koffie/thee Hoorcollege II Computerpracticum II Lunch Hoorcollege III Computerpracticum III Koffie/thee Discussie/nabespreking ?? Borrel 26 september 2003, 3
4 1 Enkele Cijfers NL, 2002: 28 miljard Euro automatisering incl. hardware (8% BBP). Mondiaal, 1999: 155 miljard dollar omzet software producten. 50% van de SE-projecten kost tweemaal zoveel als oorspronkelijk begroot. 1 3 van de SE-projecten overschrijdt de tijdsplanning met 200 tot 300%. 80% van de SE-projecten mislukt volgens de opdrachtgevers. Gevolg: 1 3 van de projecten wordt vroegtijdig afgebroken. United States National Institute of Standards and Technology (NIST) schat jaarlijkse kosten van softwarefouten in USA op 60 miljard $ (0.6% van het BBP). Mondiaal, nu: ruim 10 miljoen software engineers werkzaam; meer dan 60% daarvan houdt zich full-time met onderhoud bezig. 26 september 2003, 4
5 2 PGA en Instructierijen Wat is een programma(object)? Antwoord: Een rij instructies. Wat is een instructie? Antwoord: Een verzoek aan een (uitvoerings)omgeving om een bepaalde dienst (service). 26 september 2003, 5
6 2 PGA en Instructierijen Representatie (syntaxis) van programmaobjecten en twee vormen van gelijkheid (equivalentie). Congruentie: equivalentie in context en axioma s Canonieke vormen: voorkeursrepresentaties. 26 september 2003, 6
7 2.1 Syntaxis van PGA-expressies Zij A een verzameling van basisinstructies, bijvoorbeeld A = {a, b, c}. We nemen aan dat de uitvoering van een basisinstructie leidt tot de ontvangst van een (retour-)waarde true of false. In het vervolg noemen we de waarden true en false booleans naar de Engelse wiskundige en logicus George Boole ( ). 26 september 2003, 7
8 2.1 Syntaxis van PGA-expressies De syntaxis van programma-expressies over PGA is gebaseerd op twee methoden van samenstelling (operatoren): Aaneenschakeling. In X; Y worden de instructies van programma X gevolgd door die van programma Y. Herhaling (of repetitie). X ω is het programma dat X steeds herhaalt. We noemen dit programma X omega of X repetent. 26 september 2003, 8
9 2.1 Syntaxis van PGA-expressies en op 5 soorten van primitieve instructies: Voor elke a A de basisinstructie a. De terminatie-instructie!. Voor elke a A de positieve testinstructie +a. Voor elke a A de negatieve testinstructie a. Voor elke k N de spronginstructie #k (of kortweg jump, N = {0, 1, 2,...}). 26 september 2003, 9
10 2.1 Syntaxis van PGA-expressies Voorbeelden van PGA-expressies zijn: a; b het programma dat achtereenvolgens de basisinstructies a en b uitvoert en dan in inactie vervalt. +a; (!; b) het programma dat eerst de positieve testinstructie +a uitvoert. Als a true retourneert, voert het programma de volgende instructie uit, dwz.!, en termineert dus, false retourneert, wordt de terminatieinstructie! overgeslagen en de volgende instructie b uitgevoerd waarna de uitvoering in inactie vervalt. 26 september 2003, 10
11 2.1 Syntaxis van PGA-expressies (a; b) ω ;! het programma dat a; b steeds herhaalt: na het uitvoeren van a wordt b uitgevoerd. Als b false retourneert, wordt a herhaald, true retourneert, wordt a overgeslagen, en voert het programma weer b uit. En dit gaat zo steeds maar door. (#1) ω het programma dat de jump #1 oneindig vaak herhaalt (suggestieve notatie voor dit programma is #1; #1; #1;..., maar dit is natuurlijk geen PGA-expressie). 26 september 2003, 11
12 2.2 Congruentie over instructierijen Merk op dat een programmaobject door verschillende termen kan worden gerepresenteerd. Zo zijn bijvoorbeeld a ω en a; a ω twee notaties voor hetzelfde programma, net als (a; b); c en a; (b; c). 26 september 2003, 12
13 2.2 Congruentie over instructierijen Vergelijkingen voor instructierij-congruentie: (X; Y ); Z = X; (Y ; Z) (PGA1) (X n ) ω = X ω (PGA2) X ω ; Y = X ω (PGA3) (X; Y ) ω = X; (Y ; X) ω (PGA4) 26 september 2003, 13
14 2.2 Congruentie over instructierijen Voorbeelden: (a; b); c = a; (b; c) (PGA1) we laten in het vervolg haakjes weg en schrijven bijvoorbeeld a; b; c (a; a) ω = a ω = (a; a; a) ω (PGA2) (a; +b) ω ; c; d; e = (a; +b) ω (PGA3) (a; b; c) ω = a; (b; c; a) ω = a; b; (c; a; b) ω (PGA4) Indien twee PGA-expressies volgens PGA1 4 gelijk zijn, worden ze instructierij-equivalent genoemd. 26 september 2003, 14
15 2.2 Congruentie over instructierijen PGA1 4 kunnen worden toegepast op subtermen. Voorbeeld: omdat (b; c) ω = b; (c; b) ω (PGA4), geldt ook a; (b; c) ω = a; b; (c; b) ω en (b; c) ω ; d = b; (c; b) ω ; d en ook ((b; c) ω ) ω = (b; (c; b) ω ) ω. Met andere woorden: instructierij-equivalentie over PGA is een congruentie (d.w.z. een equivalentie die behouden blijft onder samenstellingen). 26 september 2003, 15
16 2.2 Congruentie over instructierijen We spreken in het vervolg over instructierij-congruentie in plaats van over instructierij-equivalentie en schrijven X = ic Y als X en Y instructierij-congruent zijn, of eenvoudigweg X = Y (we laten dus soms het subscript ic weg). 26 september 2003, 16
17 2.2 Congruentie over instructierijen In het vervolg zullen we vaak het uitvouwen van een repetitie, i.e. X ω = X; X ω gebruiken. Deze identiteit kan als volgt worden afgeleid met PGA2 en PGA4: X ω = (X; X) ω (PGA2) = X; (X; X) ω (PGA4) = X; X ω (PGA2). 26 september 2003, 17
18 2.4 Beslisbaarheid, volledigheid en eerste canonieke vorm Een gesloten PGA-term van één van de volgende twee gedaanten 1. Y zonder repetitie, 2. Y ; Z ω met Y en Z zonder repetitie, heet een canonieke term van de eerste vorm, of kortweg een eerste canonieke vorm. De subterm Z in geval 2 heet het herhalende deel van de expressie. 26 september 2003, 18
19 2.4 Beslisbaarheid, volledigheid en eerste canonieke vorm Voorbeelden van identiteiten tussen termen en instructierij-congruente eerste canonieke vormen: a ω = ic a; a ω, a ω ; b;!; c = ic a; a ω, +b; (!; c; b; (c; #25; a;!) ω ) ω = ic +b;!; c; b; (c; #25; a;!) ω. 26 september 2003, 19
20 2.4 Beslisbaarheid, volledigheid en eerste canonieke vorm Stelling Zij X een gesloten PGA-term. Dan kunnen we met behulp van PGA1 4 een gesloten canonieke term V van de eerste vorm vinden waarvoor geldt dat X = V. 26 september 2003, 20
21 2.4 Beslisbaarheid, volledigheid en eerste canonieke vorm Instructierij-congruentie van twee gesloten PGA-termen X en Y is beslisbaar: Transformeer X en Y naar een eerste canonieke vorm. Als één van deze twee geen repetitie bevat, moet de andere gelijk zijn (vanwege PGA1 doen de haakjes er in dit geval niet toe). In het andere geval kunnen beide herhalende delen met behulp van PGA2 zo kort mogelijk worden gemaakt. Daarna kunnen met PGA4 de niet-herhalende delen zo kort mogelijk worden geschreven. Na deze transformaties correspondeert instructierij-congruentie weer met syntactische gelijkheid. 26 september 2003, 21
22 2.4 Beslisbaarheid, volledigheid en eerste canonieke vorm Gevolg: PGA1 4 zijn volledig. D.w.z. in het geval dat twee gesloten PGA-termen dezelfde instructierij beschrijven, kan hun gelijkheid met behulp van de vergelijkingen PGA1 4 worden afgeleid: transformeer beide op de hiervoor beschreven manier naar een eerste canonieke vorm. 26 september 2003, 22
23 2.5 Structurele congruentie Vergelijkingen voor structurele congruentie: #n + 1; u 1 ;... ; u n ; #0 = #0; u 1 ;... ; u n ; #0 (PGA5) #n + 1; u 1 ;... ; u n ; #m = #n + m + 1; u 1 ;... ; u n ; #m (PGA6) (#n + k + 1; u 1 ;... ; u n ) ω = (#k; u 1 ;... ; u n ) ω (PGA7) X = u 1 ;... ; u n ; (v 1 ;... ; v m+1 ) ω (PGA8) #n + m + k + 2; X = #n + k + 1; X 26 september 2003, 23
24 2.5 Structurele congruentie PGA-expressies zijn structureel congruent als ze met PGA1 8 aan elkaar gelijk kunnen worden bewezen. Structurele congruentie van X en Y wordt genoteerd als X = sc Y, waar we weer het subscript sc weglaten als dit geen verwarring kan veroorzaken. Merk op: X = ic Y impliceert dat X = sc Y. 26 september 2003, 24
25 2.5 Structurele congruentie Een voorbeeld van een bewijs van structurele congruentie is het volgende: +a; #10; +b; ( c; #2) ω = +a; #8; +b; ( c; #2) ω (PGA8) = +a; #6; +b; ( c; #2) ω (PGA8) = +a; #4; +b; ( c; #2) ω (PGA8) = +a; #2; +b; ( c; #2) ω (PGA8) = +a; #2; +b; c; (#2; c) ω (PGA4) = +a; #2; +b; c; (#0; c) ω (PGA7) = +a; #2; +b; ( c; #0) ω (PGA4). 26 september 2003, 25
26 5.2 Een programmanotatie voor PGA: PGLA PGLA-programma s hebben de gedaante u 1 ;... ; u k met elk van de u i ofwel een primitieve PGA-instructie, ofwel een herhaalinstructie \#n voor n > 0. Bv. a; b; #3; \#2 gedraagt zich als a; (b; #3) ω a; b; #3; \#4 gedraagt zich als (a; b; #3; #0) ω a; b; #3; \#2; u 1 ;... ; u k gedraagt zich als a; b; #3; \#2 26 september 2003, 26
27 5.2 Een programmanotatie voor PGA: PGLA De projectie pgla2pga : PGLA PGA is als volgt gedefinieerd: 1. pgla2pga(x) = X voor X zonder herhaalinstructie, 2. Voor u i primitieve (PGA-)instructies: pgla2pga(u 1 ;... ; u k ; \#n) = pgla2pga(u 1 ;... ; u k ; \#n; X) = u 1 ;... ; u k n ; (u k n+1 ;... ; u k ) ω als k > n, u 1 ;... ; u k ; (u 1 ;... ; u k ) ω als k = n, u 1 ;... ; u k ; (#0) n k ; (u 1 ;... ; u k ; (#0) n k ) ω als k < n. Merk op: deze projectie levert altijd eerste canonieke vormen. 26 september 2003, 27
28 5.2 Een programmanotatie voor PGA: PGLA De inbedding pga2pgla : PGA 1 PGLA is als volgt gedefinieerd (PGA 1 bevat uitsluitend alle eerste canonieke vormen): 1. pga2pgla(x) = X voor X zonder repetitie, 2. pga2pgla(u 1 ;... ; u k ; (u k+1 ;... ; u k+n ) ω ) = u 1 ;... ; u k ; u k+1 ;... ; u k+n ; \#n. Opmerking: inbeddingen kunnen worden gebruikt om de correctheid van projecties aan te tonen. 26 september 2003, 28
29 5.2 Een programmanotatie voor PGA: PGLA Voorbeelden: pga2pgla(a; #3; (a; #3) ω ) = a; #3; a; #3; \#2, pgla2pga(pga2pgla(a; #3; (a; #3) ω )) = pgla2pga(a; #3; a; #3; \#2) = a; #3; (a; #3) ω. Merk op: In het algemeen geldt voor elke eerste canonieke vorm X. pgla2pga(pga2pgla(x)) = X 26 september 2003, 29
30 5.3 Voorwaartse en achterwaartse sprongen in PGLB PGLB-programma s hebben de gedaante u 1 ;... ; u k met elk van de u i ofwel een primitieve PGA-instructie, ofwel een achterwaardse jump \#n voor n N. Bv. \#0 gedraagt zich als #0, a; #7; b; c; \#2 gedraagt zich als a; #7, a; c; \#2; #5; b;! gedraagt zich als (a; c) ω. 26 september 2003, 30
31 5.3 Voorwaartse en achterwaartse sprongen in PGLB De projectie pglb2pgla : PGLB PGLA is als volgt gedefinieerd: pglb2pgla(u 1 ;... ; u k ) = ψ 1 (u 1 );... ;ψ k (u k ); #0; #0; \#k + 2 met ψ j (#l) = #0 als j + l > k, ψ j (\#l) = #k + 2 l als l < j, ψ j (\#l) = #0 als l j, ψ j (u) = u anders. Merk op: De uitbreiding van ψ 1 (u 1 );... ;ψ k (u k ) met #0; #0 behoudt terminatiegedrag. 26 september 2003, 31
32 5.3 Voorwaartse en achterwaartse sprongen in PGLB Voorbeelden: pglb2pgla(+a) = +a; #0; #0; \#3, pglb2pgla(+a; #7; b; +c; \#2) = +a; #0; b; +c; #5; #0; #0; \#7. Definitie: pglb2pga(x) = pgla2pga(pglb2pgla(x)) Merk op: pglb2pga(u 1 ;... ; u k ) = (ψ 1 (u 1 );... ;ψ k (u k ); #0; #0) ω. 26 september 2003, 32
Termherschrijfsystemen en Propositie-Algebra
Termherschrijfsystemen en Propositie-Algebra Evalien IJsendijk 19 augustus 2010 Bachelorscriptie Begeleiding: dr. Alban Ponse x y z u v x y v z x u v KdV Instituut voor Wiskunde Faculteit der Natuurwetenschappen,
Nadere informatieGetaltheorie groep 3: Primitieve wortels
Getaltheorie groep 3: Primitieve wortels Trainingsweek juni 2008 Inleiding Voor a relatief priem met m hebben we de orde van a modulo m gedefinieerd als ord m (a) = min { n Z + a n 1 (mod m) }. De verzameling
Nadere informatieHOOFDSTUK 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 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 informatiestart -> id (k (f c s) (g s c)) -> k (f c s) (g s c) -> f c s -> s c
Een Minimaal Formalisme om te Programmeren We hebben gezien dat Turing machines beschouwd kunnen worden als universele computers. D.w.z. dat iedere berekening met natuurlijke getallen die met een computer
Nadere informatieHonours projecten BSc Informatica: twee voorstellen
Honours projecten BSc Informatica: twee voorstellen mogelijk ook geschikt voor BSc Kunstmatige Intelligentie Alban Ponse section Theory of Computer Science Informatics Institute, University of Amsterdam
Nadere informatieSectie TCS (Theory of Computer Science)
Sectie TCS (Theory of Computer Science) Bezoek studenten tbv Practicum Academische Vaardigheden Alban Ponse Sectie Theory of Computer Science Instituut voor Informatica, FNWI Universiteit van Amsterdam
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 informatieLineaire Algebra (2DD12)
Lineaire Algebra (2DD12) docent: Ruud Pellikaan - Judith Keijsper email: J.C.M.Keijsper@tue.nl studiewijzer: http://www.win.tue.nl/ ruudp/2dd12.html Technische Universiteit Eindhoven college 1 J.Keijsper
Nadere informatieAutomaten. Informatica, UvA. Yde Venema
Automaten Informatica, UvA Yde Venema i Inhoud Inleiding 1 1 Formele talen en reguliere expressies 2 1.1 Formele talen.................................... 2 1.2 Reguliere expressies................................
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 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 informatieSemantiek (2IT40) Jos Baeten. Formele Methoden. HG 7.19 tel.: Hoorcollege 1 (29 maart 2007)
Jos Formele Methoden josb@win.tue.nl http://www.win.tue.nl/~josb/ HG 7.19 tel.: 040 247 5155 Hoorcollege 1 (29 maart 2007) 2IT40 Organisatie Colstructie: docent: wanneer: donderdagen 3 e en 4 e uur waar:
Nadere informatieProgrammagedrag als transformatie van input naar output. Rekenen op de getallenlijn en in het getallenrooster
4 Programma s met Input/Output Programmagedrag als transformatie van input naar output Rekenen op de getallenlijn en in het getallenrooster Paden, van input op weg naar output 4 Programma s met Input/Output
Nadere informatie1 Inleiding in Functioneel Programmeren
1 Inleiding in Functioneel Programmeren door Elroy Jumpertz 1.1 Inleiding Aangezien Informatica een populaire minor is voor wiskundestudenten, leek het mij nuttig om een stukje te schrijven over een onderwerp
Nadere informatieVerzamelingen deel 3. Derde college
1 Verzamelingen deel 3 Derde college rekenregels Een bewerking op A heet commutatief als voor alle x en y in A geldt dat x y = y x. Een bewerking op A heet associatief als voor alle x, y en z in A geldt
Nadere informatieSemantiek (2IT40) Bas Luttik. HG 7.14 tel.: Hoorcollege 8 (7 juni 2007)
Bas Luttik s.p.luttik@tue.nl http://www.win.tue.nl/~luttik HG 7.14 tel.: 040 247 5152 Hoorcollege 8 (7 juni 2007) Functionele talen Idee: een programma definieert reeks (wiskundige) functies. Programma
Nadere informatieTW2020 Optimalisering
TW2020 Optimalisering Hoorcollege 11 Leo van Iersel Technische Universiteit Delft 25 november 2015 Leo van Iersel (TUD) TW2020 Optimalisering 25 november 2015 1 / 28 Vandaag Vraag Voor welke problemen
Nadere informatieLogica voor Informatica. Propositielogica. Syntax & Semantiek. Mehdi Dastani Intelligent Systems Utrecht University
Logica voor Informatica Propositielogica Syntax & Semantiek Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Wat is Logica? Afleiden van conclusies uit aannames Jan Sara Petra Schuldig
Nadere informatieTENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN
TENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN Vakcode: 8D. Datum: Donderdag 8 juli 4. Tijd: 14. 17. uur. Plaats: MA 1.44/1.46 Lees dit vóórdat je begint! Maak iedere opgave op een apart vel. Schrijf je
Nadere informatieComplexe e-macht en complexe polynomen
Aanvulling Complexe e-macht en complexe polynomen Dit stuk is een uitbreiding van Appendix I, Complex Numbers De complexe e-macht wordt ingevoerd en het onderwerp polynomen wordt in samenhang met nulpunten
Nadere informatieAls een PSD selecties bevat, deelt de lijn van het programma zich op met de verschillende antwoorden op het vraagstuk.
HOOFDSTUK 3 3.1 Stapsgewijs programmeren In de vorige hoofdstukken zijn programmeertalen beschreven die imperatief zijn. is het stapsgewijs in code omschrijven wat een programma moet doen, net als een
Nadere informatierh265e 0 true. In onze schrijfwijze wordt dat dus: (de bewering) [ P ] is even waar als (de bewering) P = true.
rh265e 0 Elementaire Predikatenrekening 0 Inleiding Dit is een samenvatting 0 van de rekenregels voor proposities en predikaten, zoals behandeld in het vak Logica & Verzamelingen. Enige vertrouwdheid met
Nadere informatie8.1 Herleiden [1] Herleiden bij vermenigvuldigen: -5 3a 6b 8c = -720abc 1) Vermenigvuldigen cijfers (let op teken) 2) Letters op alfabetische volgorde
8.1 Herleiden [1] Herleiden bij vermenigvuldigen: -5 3a 6b 8c = -720abc 1) Vermenigvuldigen cijfers (let op teken) 2) Letters op alfabetische volgorde Optellen: 5a + 3b + 2a + 6b = 7a + 9b 1) Alleen gelijksoortige
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 informatieWiskunde voor relativiteitstheorie
Wiskunde voor relativiteitstheorie HOVO Utrecht Les 3: Integraalrekening en lineaire vormen Dr. Harm van der Lek vdlek@vdlek.nl Natuurkunde hobbyist Programma 3.1.1 Goniometrie Matrixen Integraal rekening
Nadere informatieHonours projecten BSc Informatica: twee voorstellen
Honours projecten BSc Informatica: twee voorstellen mogelijk ook geschikt voor BSc Kunstmatige Intelligentie Alban Ponse section Theory of Computer Science Informatics Institute, University of Amsterdam
Nadere informatieLineaire 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/2ds06 Technische Universiteit Eindhoven college 2 J.Keijsper
Nadere informatieBijzondere getallen. Oneindig (als getal) TomVerhoeff. Technische Universiteit Eindhoven Faculteit Wiskunde en Informatica
Bijzondere getallen Oneindig (als getal) TomVerhoeff Technische Universiteit Eindhoven Faculteit Wiskunde en Informatica T.Verhoeff@TUE.NL http://www.win.tue.nl/~wstomv/ Oneindig ... Oneindig 2 Top tien
Nadere informatieEigenschappen en Axioma s van de E 6 -meetkunde
Faculteit Wetenschappen Vakgroep Wiskunde Eigenschappen en Axioma s van de E 6 -meetkunde Magali Victoor Promotor: Prof. dr. Hendrik Van Maldeghem Masterproef ingediend tot het behalen van de academische
Nadere informatieTweede college complexiteit. 12 februari Wiskundige achtergrond
College 2 Tweede college complexiteit 12 februari 2019 Wiskundige achtergrond 1 Agenda vanmiddag Floor, Ceiling Rekenregels logaritmen Tellen Formele definitie O, Ω, Θ met voorbeelden Stellingen over faculteiten
Nadere informatieopgaven formele structuren tellen Opgave 1. Zij A een oneindige verzameling en B een eindige. Dat wil zeggen (zie pagina 6 van het dictaat): 2 a 2.
opgaven formele structuren tellen Opgave 1. Zij A een oneindige verzameling en B een eindige. Dat wil zeggen (zie pagina 6 van het dictaat): ℵ 0 #A, B = {b 0,..., b n 1 } voor een zeker natuurlijk getal
Nadere informatieAnalyse met infinitesimalen
Analyse met infinitesimalen Hans Vernaeve Universiteit Gent (Hans Vernaeve) 1 / 15 Infinitesimalen in de 17de en 18de eeuw Infinitesimalen = oneindig kleine getallen. Fysisch hulpmiddel om eigenschappen
Nadere informatieIN2505 II Berekenbaarheidstheorie Tentamen Maandag 2 juli 2007, uur
TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Mekelweg 4 2628 CD Delft IN2505 II Berekenbaarheidstheorie Tentamen Maandag 2 juli 2007, 14.00-17.00 uur BELANGRIJK Beschikbare
Nadere informatie8.1 Herleiden [1] Herleiden bij vermenigvuldigen: -5 3a 6b 8c = -720abc 1) Vermenigvuldigen cijfers (let op teken) 2) Letters op alfabetische volgorde
8.1 Herleiden [1] Herleiden bij vermenigvuldigen: -5 3a 6b 8c = -720abc 1) Vermenigvuldigen cijfers (let op teken) 2) Letters op alfabetische volgorde Optellen: 5a + 3b + 2a + 6b = 7a + 9b 1) Alleen gelijksoortige
Nadere informatieWe beginnen met de eigenschappen van de gehele getallen.
II.2 Gehele getallen We beginnen met de eigenschappen van de gehele getallen. Axioma s voor Z De gegevens zijn: (a) een verzameling Z; (b) elementen 0 en 1 in Z; (c) een afbeelding +: Z Z Z, de optelling;
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 informatieOntwerp 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 informatieCTB1002 deel 1 - Lineaire algebra 1
CTB100 deel 1 - Lineaire algebra 1 College 5 5 februari 014 1 Opbouw college Vandaag behandelen we hoofdstuk 1.7 en deel van 1.8 Voor de pauze: hoofdstuk 1.7 Na de pauze: hoofdstuk 1.8 Verschillende notaties
Nadere informatieFACULTEIT ECONOMIE EN BEDRIJFSKUNDE Afdeling Kwantitatieve Economie
FACULTEIT ECONOMIE EN BEDRIJFSKUNDE Afdeling Kwantitatieve Economie Analyse A, deeltentamen Uitwerkingen maandag 1 november 2010, 9 11 uur Gebruik van een formuleblad of rekenmachine is niet toegestaan
Nadere informatieIntroductie tot de cursus
Inhoud introductietalen en ontleders Introductie tot de cursus 1 Plaats en functie van de cursus 7 2 Inhoud van de cursus 7 2.1 Voorkennis 7 2.2 Leerdoelen 8 2.3 Opbouw van de cursus 8 3 Leermiddelen en
Nadere informatieII.3 Equivalentierelaties en quotiënten
II.3 Equivalentierelaties en quotiënten Een belangrijk begrip in de wiskunde is het begrip relatie. Een relatie op een verzameling is een verband tussen twee elementen uit die verzameling waarbij de volgorde
Nadere informatieDownload gratis de PowerPoint rekenen domein getallen:
Getallen Bron: Examenbladmbo.nl, SYLLABUS REKENEN 2F en 3F vo en mbo, Versie mei 2015 Download gratis de PowerPoint rekenen domein getallen: http://nielspicard.nl/download/powerpoint-rekenen-domein-getallen/
Nadere informatieElfde college complexiteit. 23 april NP-volledigheid III
college 11 Elfde college complexiteit 23 april 2019 NP-volledigheid III 1 TSP Als voorbeeld bekijken we het Travelling Salesman/person Problem, ofwel het Handelsreizigersprobleem TSP. Hiervoor geldt: TSP
Nadere informatieLineaire 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 informatieTECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica. Tentamen Calculus C (2WCB1) op zaterdag 25 januari 2014, 9:00 12:00 uur
TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica Tentamen Calculus C (WCB) op zaterdag 5 januari 04, 9:00 :00 uur Maak dit vel los van de rest van het tentamen. Vul uw naam etc. in op
Nadere informatieCaleidoscoop: Logica
Caleidoscoop: Logica Non impeditus ab ulla scientia K. P. Hart Faculteit EWI TU Delft Delft, 3 October, 2007 Overzicht 1 2 Negaties We gaan rekenen met proposities (beweringen). Bedenker: George Boole
Nadere informatieLineaire 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/2ds06 Technische Universiteit Eindhoven college 7 J.Keijsper
Nadere informatieLineaire Algebra TW1205TI. I.A.M. Goddijn, Faculteit EWI 12 februari 2014
Lineaire Algebra TW1205TI, 12 februari 2014 Contactgegevens Mekelweg 4, kamer 4.240 tel : (015 27)86408 e-mail : I.A.M.Goddijn@TUDelft.nl homepage : http: //fa.its.tudelft.nl/ goddijn blackboard : http:
Nadere informatieConvexe Analyse en Optimalisering
Convexe Analyse en Optimalisering Bernd Heidergott Vrije Universiteit Amsterdam and Tinbergen Institute WEB: http://staff.feweb.vu.nl/bheidergott.htm Overzicht Boek: Optimization: Insights and Applications,
Nadere informatieCTB1002 deel 1 - Lineaire algebra 1
CTB1002 deel 1 - Lineaire algebra 1 College 1 11 februari 2014 1 Even voorstellen Theresia van Essen Docent bij Technische Wiskunde Aanwezig op maandag en donderdag EWI 04.130 j.t.vanessen@tudelft.nl Slides
Nadere informatieRCL Arduino Workshop 1
RCL Arduino Workshop 1 Leren door doen april 2015 - slides voor RCL Arduino workshop 1 ON4CDU & ON8VQ Workshop Leren door doen Werken in een groep Beperkte tijd Alleen essentiele vragen stellen Thuis oefenen
Nadere informatieConvexe Analyse en Optimalisering
Convexe Analyse en Optimalisering Bernd Heidergott Vrije Universiteit Amsterdam en Tinbergen Institute WEB: http://staff.feweb.vu.nl/bheidergott Overzicht Literatuur Calculus, a complete course, Robert
Nadere informatieLogica voor Informatica. Propositielogica. Bewijssystemen voor propositielogica. Mehdi Dastani
Logica voor Informatica Propositielogica Bewijssystemen voor propositielogica Mehdi Dastani mmdastani@uunl Intelligent Systems Utrecht University Deductie Tot nu toe voornamelijk semantisch naar logica
Nadere informatiePropositielogica. Evert De Nolf Delphine Draelants Kirsten Storms Evelien Weyn. 24 augustus Universiteit Antwerpen
Propositielogica Evert De Nolf Delphine Draelants Kirsten Storms Evelien Weyn Universiteit Antwerpen 24 augustus 2006 Propositionele connectoren Negatie Conjunctie Disjunctie Implicatie Equivalentie Propositionele
Nadere informatieFACTORISATIE EN CRYPTOGRAFIE
FACTORISATIE EN CRYPTOGRAFIE COMPUTERPRACTICUM UvA-MASTERCLASS WISKUNDE 1993 G.C.M. Ruitenburg Faculteit Wiskunde en Informatica Universiteit van Amsterdam 1993 INLEIDING In dit computer prakticum volgen
Nadere informatie(b) Formuleer het verband tussen f en U(P, f), en tussen f en L(P, f). Bewijs de eerste. (c) Geef de definitie van Riemann integreerbaarheid van f.
Radboud Universiteit Nijmegen Tentamen Analyse 1 WP001B 2 juli 2015, 08:30 11:30 (12:30) Het gebruik van een rekenmachine, telefoon of tablet is niet toegestaan. U mag geen gebruik maken van het boek Analysis
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 informatieHet 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 informatieSupplement Verzamelingenleer. A.J.M. van Engelen en K. P. Hart
Supplement Verzamelingenleer A.J.M. van Engelen en K. P. Hart 1 Hoofdstuk 1 Het Keuzeaxioma Het fundament van de hedendaagse verzamelingenleer werd in de vorige eeuw gelegd door Georg Cantor. Cantor gebruikte
Nadere informatieBoolealgebra s. Leereenheid 16
Leereenheid 16 Boolealgebra s I N T R O D U C T I E Als we ons afvragen welk van de twee verzamelingen wiskundig interessanter is: de verzameling natuurlijke getallen of de verzameling {Astrid, Bert, Corrie,
Nadere informatieCollege Notatie, Recursie, Lijsten
College 2016-2017 2. Notatie, Recursie, Lijsten Doaitse Swierstra (Jeroen Bransen) Utrecht University September 13, 2016 Functieapplicatie functieapplicatie associeert naar links: als x in f x y moet kiezen
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 informatieVerzamelingen, Lijsten, Functioneel Programmeren
Verzamelingen, Lijsten, Functioneel Programmeren Jan van Eijck jve@cwi.nl Stage Ignatiuscollege, 17 mei 2010 Samenvatting In deze lezing gaan we in op de overeenkomsten en verschillen tussen verzamelingen
Nadere informatieUitwerking Puzzel 93-1, Doelloos
Uitwerking Puzzel 93-1, Doelloos Wobien Doyer Lieke de Rooij Volgens de titel is deze puzzel zonder doel, dus zonder bekende toepassing. Het doel is echter nul en dat is zeker in de wiskunde niet niks.
Nadere informatieTW2040: Complexe Functietheorie
TW2040: Complexe Functietheorie week 4.6, donderdag K. P. Hart Faculteit EWI TU Delft Delft, 2 juni, 2016 K. P. Hart TW2040: Complexe Functietheorie 1 / 38 Outline 1 Rekenregels 2 K. P. Hart TW2040: Complexe
Nadere informatieIII.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 informatieMeten en Meetkunde 3. Doelgroep Meten en Meetkunde 3. Omschrijving Meten en Meetkunde 3
Meten en Meetkunde 3 Meten en Meetkunde 3 besteedt aandacht aan het onderhouden en uitbreiden van de basisvaardigheden van het rekenen met maten, oppervlaktes en inhouden, coördinaten en assenstelsels,
Nadere informatieOverzicht Fourier-theorie
B Overzicht Fourier-theorie In dit hoofdstuk geven we een overzicht van de belangrijkste resultaten van de Fourier-theorie. Dit kan als steun dienen ter voorbereiding op het tentamen. Fourier-reeksen van
Nadere informatieUitgebreide uitwerking Tentamen Complexiteit, juni 2017
Uitgebreide uitwerking Tentamen Complexiteit, juni 017 Opgave 1. a. Een pad van de wortel naar een blad stelt de serie achtereenvolgende arrayvergelijkingen voor die het algoritme doet op zekere invoer.
Nadere informatie2WO12: Optimalisering in Netwerken
2WO12: Optimalisering in Netwerken Leo van Iersel Technische Universiteit Eindhoven (TU/E) en Centrum Wiskunde & Informatica (CWI) 10 en 13 februari 2014 http://homepages.cwi.nl/~iersel/2wo12/ l.j.j.v.iersel@gmail.com
Nadere informatieMeten en Meetkunde 3. Doelgroep Meten en Meetkunde 3. Omschrijving Meten en Meetkunde 3
Meten en Meetkunde 3 Meten en Meetkunde 3 besteedt aandacht aan het onderhouden en uitbreiden van de basisvaardigheden van het rekenen met maten, oppervlaktes en inhouden, coördinaten en assenstelsels,
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 informatieOpgaven Registers Concurrency, 29 nov 2018, Werkgroep.
Opgaven Registers Concurrency, 29 nov 2018, Werkgroep. Gebruik deze opgaven om de stof te oefenen op het werkcollege. Cijfer: Op een toets krijg je meestal zes tot acht opgaven. 1. Safe Integer: Van een
Nadere informatieAutomaten en Berekenbaarheid
Automaten en Berekenbaarheid Bart Demoen KU Leuven 2016-2017 Les 3: 36-54 Myhill-Nerode relaties; regulier pompen Myhill-Nerode equivalentieklassen in Σ I 2/10 belangrijk te verstaan: een equivalentie-relatie
Nadere informatieDe wiskunde van computerberekeningen. Jan Brandts Korteweg-de Vries Instituut voor Wiskunde Universiteit van Amsterdam.
De wiskunde van computerberekeningen Jan Brandts Korteweg-de Vries Instituut voor Wiskunde Universiteit van Amsterdam 04 november 2015 Pluto en Charon New Horizons, launch date 19 January, 2006, speed
Nadere informatieOneindig in Wiskunde & Informatica. Lezing in de reeks Oneindig 3 oktober 2007 / Studium Generale TU Delft. Tom Verhoeff
Oneindig in Wiskunde & Informatica Lezing in de reeks Oneindig 3 oktober 2007 / Studium Generale TU Delft Tom Verhoeff Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica http://www.win.tue.nl/~wstomv/
Nadere informatieDe 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 informatieLineaire 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 J.Keijsper (TUE)
Nadere informatieProposities. Hoofdstuk 2
Hoofdstuk 2 Proposities In de wiskunde en in de informatica, en ook in veel andere disciplines, is er behoefte aan redeneren. Om dat goed te kunnen doen moet men allereerst beschikken over een arsenaal
Nadere informatieHoofdstuk 3. Equivalentierelaties. 3.1 Modulo Rekenen
Hoofdstuk 3 Equivalentierelaties SCHAUM 2.8: Equivalence Relations Twee belangrijke voorbeelden van equivalentierelaties in de informatica: resten (modulo rekenen) en cardinaliteit (aftelbaarheid). 3.1
Nadere informatieMatrices en Grafen (wi1110ee)
Matrices en Grafen (wi1110ee) Electrical Engineering TUDelft September 1, 2010 September 1, 2010 Inleiding Mekelweg 4, kamer 4.240 tel : (015 27)86408 e-mail : I.A.M.Goddijn@TUDelft.nl homepage : http:
Nadere informatieGetaltheorie II. ax + by = c, a, b, c Z (1)
Lesbrief 2 Getaltheorie II 1 Lineaire vergelijkingen Een vergelijking van de vorm ax + by = c, a, b, c Z (1) heet een lineaire vergelijking. In de getaltheorie gaat het er slechts om gehele oplossingen
Nadere informatieOefening 4.3. Zoek een positief natuurlijk getal zodanig dat de helft een kwadraat is, een derde is een derdemacht en een vijfde is een vijfdemacht.
4 Modulair rekenen Oefening 4.1. Merk op dat 2 5 9 2 2592. Bestaat er een ander getal van de vorm 25ab dat gelijk is aan 2 5 a b? (Met 25ab bedoelen we een getal waarvan a het cijfer voor de tientallen
Nadere informatieTECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica
TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica Tentamen Lineaire Algebra voor ST (DS6) op -4-, 4.-7. uur. Opgave Gegeven is het volgende stelsel lineaire vergelijkingen met parameters
Nadere informatieVerzamelingen, Lijsten, Functioneel Programmeren
Verzamelingen, Lijsten, Functioneel Programmeren Jan van Eijck jve@cwi.nl Lezing 4e Gymnasium, 19 november 2015 Samenvatting In deze lezing gaan we in op de overeenkomsten en verschillen tussen verzamelingen
Nadere informatieLineaire 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 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 informatieFormeel Denken. Herfst 2004
Formeel Denken Herman Geuvers Deels gebaseerd op het herfst 2002 dictaat van Henk Barendregt en Bas Spitters, met dank aan het Discrete Wiskunde dictaat van Wim Gielen Herfst 2004 Contents 1 Propositielogica
Nadere informatieArduino Workshop 1 Zuid-Limburg
Arduino Workshop 1 Zuid-Limburg Leren door doen Mei 2016 - slides voor Arduino workshop 1 v2.5 Zuid-Limburg PA3CZS, PA0FOT, ON4CDU, PE1EAM 1 Workshop 1 Workshop 1 concentreert op kennismaking en eenvoudige
Nadere informatieVerzamelingen, Lijsten, Functioneel Programmeren
Verzamelingen, Lijsten, Functioneel Programmeren Jan van Eijck jve@cwi.nl Stage Ignatiuscollege, 20 mei 2008 Samenvatting In deze lezing gaan we in op de overeenkomsten en verschillen tussen verzamelingen
Nadere informatieAXIOMATIEK VAN GETALLEN, vergezichten vanuit mijn ivoren toren
AXIOMATIEK VAN GETALLEN, vergezichten vanuit mijn ivoren toren Bas Edixhoven Universiteit Leiden KNAW symposium Rekenen, 30 juni 2014 Wat volgt is slechts mijn eigen mening. Deze aantekeningen zal ik op
Nadere informatieLineaire 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/2ds06 Technische Universiteit Eindhoven college 1 J.Keijsper
Nadere informatieUnitaire en Hermitese transformaties
Hoofdstuk 11 Unitaire en Hermitese transformaties We beschouwen vervolgens lineaire transformaties van reële en complexe inproductruimten die aan extra eigenschappen voldoen die betrekking hebben op het
Nadere informatieFriendly Functions and Shared BDD s
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
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 informatieLineaire Algebra voor ST
Lineaire Algebra voor ST docent: Judith Keijsper TUE, HG 9. email: J.C.M.Keijsper@tue.nl studiewijzer: http://www.win.tue.nl/wsk/onderwijs/ds6 Technische Universiteit Eindhoven college 9 J.Keijsper (TUE)
Nadere informatieRadboud Universiteit Nijmegen
Radboud Universiteit Nijmegen Faculteit der Natuurwetenschappen, Wiskunde en Informatica L(,1)-labeling van grafen Naam: Studentnummer: Studie: Begeleider: Myrte klein Brink 4166140 Bachelor Wiskunde Dr.
Nadere informatieTENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN
TENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN Vakcode: 8D2. Datum: dinsdag 29 april 28. Tijd: 14: 17:. Lees dit vóórdat je begint! Maak iedere opgave op een apart vel. Schrijf je naam en studentnummer
Nadere informatie