equationeel programmeren college 1
|
|
- Heidi Hendriks
- 8 jaren geleden
- Aantal bezoeken:
Transcriptie
1 equationeel programmeren college 1
2 schema praktische zaken opmerkingen vooraf lambda termen materiaal
3 schema praktische zaken opmerkingen vooraf lambda termen materiaal
4 wie hoorcolleges: Femke van Raamsdonk f.van.raamsdonk at vu.nl T446 werkcolleges en practica: Christian Ouwehand en Roy Overbeek
5 lessen hoorcolleges: week 2 5 maandag in F654 donderdag in hoofdgebouw 02A06 werkcolleges: week 2 5 dinsdag in hoofdgebouw 04A05 vrijdag in P647 practica: week 2 5 maandag in P323 donderdag in P323 zaalreservering (check welke zaal) voor ma, di, do, vr middag
6 toetsing 3 (of 4) inleveropgaven programmeren 4 inleveropgaven theorie schriftelijk tentamen vrijdag 30 januari 2015 minimaal 5,5 voor de deelcijfers geldigheid deelcijfers zijn alleen dit jaar ( ) geldig eindcijfer een 30% programmeeropgaven, 70% tentamen, ten hoogste 0,5 bonus voor theorie-opgaven op tentamencijfer
7 materiaal dictaat, slides, opdrachten webpage van het vak via web extra soms extra materiaal via slides en links (niet voor tentamen)
8 schema praktische zaken opmerkingen vooraf lambda termen materiaal
9 equationeel programmeren grondslagen van functioneel programmeren
10 functioneel programmeren een functioneel programma is een expressie, en wordt uitgevoerd door de expressie te evalueren (gebruik definities van links naar rechts) focus op het wat en minder op het hoe de functies zijn puur (wiskundig) eenzelfde input geeft altijd dezelfde output
11 voorbeeld in Haskell: sum [ ] in Java: total = 0; for (i = 1; i <= 10; ++i) total = total + i;
12 functioneel programmeren: eigenschappen hoog abstractieniveau (meer) vertrouwen in correctheid (lezen, checken, correct bewijzen)
13 Lisp Lisp John McCarthy ( ), Turing Award 1971
14 ML ML Robin Milner ( ), Turing Award 1991, et al
15 Haskell Haskell een groep met onder andere Philip Wadler en Simon Peyton Jones
16 functionele programeertalen getypeerd ongetypeerd strict ML Lisp lazy Haskell
17 functioneel programmeren en lambda calculus Based on the lambda calculus, Lisp rapidly became... (uit: wikipedia page John McCarthy) Haskell is based on the lambda calculus, hence the lambda we use as a logo. (uit: the Haskell website) Historically, ML stands for metalanguage: it was conceived to develop proof tactics in the LCF theorem prover (whose language, pplambda, a combination of the first-order predicate calculus and the simply typed polymorphic lambda calculus, had ML as its metalanguage). (uit: wikipedia page of ML)
18 functioneel programmeren en algebraïsche specificaties Programming languages with algebraic data types: Haskell, OCaml (geparafraseerd van wikipedia page van algebraic data type)
19 andere functionele programmeertalen F# (Microsoft) Erlang (Ericsson) Scala (Java plus ML)
20 equationeel programmeren lambda calculus algebraïsche specificaties opdrachten functioneel programmeren: Haskell
21 schema praktische zaken opmerkingen vooraf lambda termen materiaal
22 lambda calculus bedenker: Alonzo Church (1936) fundament van de wiskunde fundering begrip berekenbaar beperken tot functies basis van functioneel programmeren
23 notatie voor functies wiskundig: f : nat nat f (x) = square(x) ook wiskundig: f : nat nat f : x square(x) lambda notatie: λx. square x
24 lambda termen: intuitie abstractie: λx. M is de functie die x afbeeldt op M λx. square x is de functie die x afbeeldt op square x applicatie: F M is de toepassing (niet het resultaat van het toepassen) van de functie F op zijn argument M
25 lambda termen: inductieve definitie variabele x constante c abstractie (λx. M) applicatie (F M)
26 termen als x λx y x
27 termen als bomen: algemeen
28 beroemde termen I = λx. x K = λx. λy. x S = λx. λy. λz. x z (y z) Ω = (λx. x x) (λx. x x)
29 haakjes (M N P) in plaats van ((M N) P) applicatie is associatief naar links (λx. λy. M) in plaats van (λx. (λy. M)) (λx. M N) in plaats van (λx. (M N)) (M λx. N) in plaats van (M (λx. N))
30 nog meer notatie-vereenvoudigingen λxy. M in plaats van λx. λy. M meer in het algemeen λx 1... x n. M in plaats van λx λx n. M
31 lambda termen: voorbeelden (λxyz. y (x y z)) λvw. v w (λxy. x x y) (λzu. u (u z)) λw. w
32 inductieve definitie van termen definities met recursie naar de definitie van termen voorbeeld: definitie van vrije variabelen van een term, straks bewijzen met inductie naar de definitie van termen voorbeeld: elke term heeft eindig veel vrije variabelen
33 lambda notatie van verzameling naar predikaat: karakteristieke functie { true als x S χ S (x) = false als x S van predikaat naar verzameling P(x) = {x P(x) = true} Russell s Paradox R = {x x x} Russell s Paradox in lambda notatie R = λx. (x x) dan R R = β (R R)
34 getypeerd en ongetypeerd getypeerde lambda-calculus oa om paradoxen te vermijden hier: eerst ongetypeerd, later (simpel) getypeerd Haskell (en ML): getypeerd
35 termen in Haskell: getypeerd zoals lambda termen maar getypeerd, bijvoorbeeld: sum : natlist nat [1, 2] : natlist sum [1, 2] : nat plus : nat (nat nat) 2 : nat plus 2 : nat nat plus 2 5 : nat 3 : nat
36 termen in Haskell: meer primitieven zoals lambda termen maar meer primitieven, bijvoorbeeld: δ 5 let x = s in t
37 gebonden variabelen: intuitie x in de scope van λx is gebonden voorbeelden: de onderstreepte x is gebonden in λx. x λx. x x (λx. x) x λx. y x
38 vrije variabelen: definitie notatie: FV(M) voor de verzameling van vrije variabelen in M definitie: FV(x) = {x} FV(c) = FV(λx. M) = FV(M)\{x} FV(F P) = FV(F ) FV(P) een voorkomen van een variabele is gebonden als het niet vrij is
39 alpha conversie alpha conversie: gebonden variabelen mogen herbenoemd worden voorbeeld: λx. x = α λy. y vergelijk: f : x x 2 is f : y y 2 x. P(x) is y. P(y) identificatie van alpha-equivalente termen we werken met equivalentieklassen modulo α
40 beta reductie: voorbeelden (λx. x) y β y (λx. x x) y β y y (λx. x z) y β y z (λx. z) y β z
41 beta reductie regel: definitie (λx. M) N β M[x := N] hier is: x een variabele M een term, en N ook [x := N] de substitutie van N voor x (moet gedefinieerd)
42 substitutie M[x := N] betekent: vervang in M alle vrije voorkomens van x door N α-conversie wordt gebruikt om te voorkomen dat vrije variabelen in N gevangen worden definitie met inductie naar termopbouw
43 substitutie: formele definitie x[x := N] = N y[x := N] = y met x y (λy. M 0 )[x := N] = λy. (M 0 [x := N]) met x y en y FV(N) (M 1 M 2 )[x := N] = (M 1 [x := N]) (M 2 [x := N])
44 beta reductie: definitie een toepassing van de beta-reductie-regel ergens in een term
45 reductietheorie redex sub-term van de vorm (λx. M) N reductiestap toepassing van beta-reductieregel in term reductierij 0, 1 of meer reductiestappen achter elkaar normaalvorm term waar geen β-reductie mogelijk is oftewel: term zonder redex
46 δ-reductie voor de voorbeelden gebruiken we soms contanten voor sommige constanten zijn δ-regels redexen: β-redex (λx. M) N δ-redex plus 3 5 reductiestappen: (λx. f x x) y β f y y plus 3 5 δ 8
47 hoe moet je reduceren? hoe vind je een normaalvorm (als die bestaat)? hoe vind je een oneindige reductierij (als die bestaat)? hoe vind je de kortste reductierij naar normaalvorm? hoe voorkom je het kopiëren van redexen?
48 schema praktische zaken opmerkingen vooraf lambda termen materiaal
49 materiaal dictaat hoofdstuk 1 Haskell pagina
50 extra materiaal paper: Why functional programming matters door John Hughes paper: History of Lambda-calculus and Combinatory Logic door Felice Cardone en J.Roger Hindley
start -> 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 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 informatieCollege Introductie
College 2016-2017 Introductie Doaitse Swierstra (Jeroen Bransen) Utrecht University September 13, 2016 Waarom is FP anders? in plaats van opdrachten die na elkaar moeten worden uitgevoerd, definiëren we
Nadere informatiezijn er natuurlijke getallen x,y,z > 0 zodat 4xyz = n(xy + yz + zx)? (1)
Functioneel programmeren 1. Berekenbaarheid: twee modellen In de wiskunde definieer je begrippen (bijvoorbeeld getallen, meetkundige figuren), je rekent ermee (kwadrateren, bepaling van de oppervlakte
Nadere informatieinleiding theoretische informatica practicum 1 deadline woensdag 20 februari 2008 om uur
1 Inleiding inleiding theoretische informatica 2007-2008 practicum 1 deadline woensdag 20 februari 2008 om 14.00 uur Dit practicum is een kennismaking met functioneel programmeren. Twee belangrijke functionele
Nadere informatieHaskell: programmeren in een luie, puur functionele taal
Haskell: programmeren in een luie, puur functionele taal Jan van Eijck jve@cwi.nl 5 Talen Symposium, 12 juli 2010 Samenvatting In deze mini-cursus laten we zien hoe je met eindige en oneindige lijsten
Nadere informatieIntroductie tot de cursus
Introductie tot de cursus In deze introductie willen wij u informeren over de bedoeling van de cursus, de opzet van het cursusmateriaal en over de manier waarop u de cursus kunt bestuderen. U vindt in
Nadere informatieFP-theorie. 2IA50, Deel B. Inductieve definities 1/19. / department of mathematics and computer science
FP-theorie 2IA50, Deel B Inductieve definities 1/19 Inductieve definitie Definitie IL α, (Cons-)Lijsten over α Zij α een gegeven verzameling. De verzameling IL α van eindige (cons-)lijsten over α is de
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 informatieTermherschrijven. Jan van Eijck CWI. jve@cwi.nl. Achtergrondcollege Software Evolution, 22 september 2005
Termherschrijven Jan van Eijck CWI jve@cwi.nl Achtergrondcollege Software Evolution, 22 september 2005 Samenvatting Wat zijn termen? Samenvatting Samenvatting Wat zijn termen? Wat zijn regels voor vereenvoudigen
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 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 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 informatieFUNCTIONEEL PROGRAMMEREN WEEK 1
FUNCTIONEEL PROGRAMMEREN WEEK 1 T. Busker Bron: Kris Luyten en Jo Vermeulen - Expertise Centrum voor Digitale Media - Universiteit Hasselt Functioneel programmeren? Alles via functies Alles via expressies
Nadere informatieAutomaten & Complexiteit (X )
Automaten & Complexiteit (X 401049) Inleiding Jeroen Keiren j.j.a.keiren@vu.nl VU University Amsterdam Materiaal Peter Linz An Introduction to Formal Languages and Automata (5th edition) Jones and Bartlett
Nadere informatieTermherschrijfsystemen 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 informatiekalenderrekenen Jaap Top
kalenderrekenen Jaap Top JBI-RuG & DIAMANT j.top@rug.nl 12-13 april 2011 (Collegecarrousel, Groningen) 1 Er zijn eigenlijk maar 14 verschillende kalenders: schrikkeljaar / geen schrikkeljaar; 1 januari
Nadere informatie2IA05 Functioneel Programmeren
2IA05 Functioneel Programmeren wk1: Introductie Rik van Geldrop, Jaap van der Woude Declaratieve programmeerstijl 2/13 2 H C H = A A H I JE A 1 F A H = JEA B, A? = H = JEA B D A M = J. K? JE A A C EI?
Nadere informatieGeavanceerde Programmeertechnologie. Prof. dr. Kris Luyten Jo Vermeulen
Geavanceerde Programmeertechnologie Prof. dr. Kris Luyten Jo Vermeulen Wat mag je verwachten? Je wordt efficiënter als software ontwikkelaar Je kan je weg vinden in nieuwe programmeertalen van verschillende
Nadere informatieTalen & Automaten. Wim Hesselink Piter Dykstra Opleidingsinstituut Informatica en Cognitie 9 mei 2008
Talen & Automaten Wim Hesselink Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.cs.rug.nl/~wim 9 mei 2008 Talen & automaten Week 1: Inleiding Dit college Talen Automaten Berekenbaarheid Weekoverzicht
Nadere informatieAutomaten en Berekenbaarheid
Automaten en Berekenbaarheid Bart Demoen KU Leuven 2016-2017 Les 8: 118-125 orakels en reducties met orakels Turing-berekenbare functies de bezige bever Orakelmachines I 2/14 we kennen al: een TM die een
Nadere informatieWat is FP? The Haskell School of Expression. Functies. Types 1+1=2. Iedere expressie (en waarde) heeft een type.
Wat is FP? The Haskell School of Expression Functioneel Programmeren Een andere manier om tegen programmeren aan te kijken Gebaseerd op het uitrekenen van expressies 1+1=2 Eenvoudig maar krachtig (modulair,
Nadere informatieHelden van de wiskunde: L.E.J. Brouwer Brouwers visie vanuit een logica-informatica perspectief
Helden van de wiskunde: L.E.J. Brouwer Brouwers visie vanuit een logica-informatica perspectief Herman Geuvers Radboud Universiteit Nijmegen Technische Universiteit Eindhoven 1 Helden van de wiskunde:
Nadere informatie2IA05 Functioneel Programmeren
2IA05 Functioneel Programmeren wk1: Introductie Rik van Geldrop, Jaap van der Woude Declaratieve programmeerstijl 2/20 2 H C H = A A H I JE A 1 F A H = JEA B, A? = H = JEA B D A M = J. K? JE A A C EI?
Nadere informatieGödels Onvolledigheidsstellingen
Gödels Onvolledigheidsstellingen Jaap van Oosten Department Wiskunde, Universiteit Utrecht Symposium A-eskwadraat, 11 december 2014 De Onvolledigheidsstellingen van Gödel zijn verreweg de beroemdste resultaten
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 informatie4051CALC1Y Calculus 1
4051CALC1Y Calculus 1 College 1 2 september 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 op http://homepage.tudelft.nl/v9r7r/
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 informatieTentamen Imperatief en Object-georiënteerd programmeren in Java voor CKI
Tentamen Imperatief en Object-georiënteerd programmeren in Java voor CKI Vrijdag 22 januari 2010 Toelichting Dit is een open boek tentamen. Communicatie en het gebruik van hulpmiddelen zijn niet toegestaan.
Nadere informatieReguliere Expressies
Reguliere Expressies Een reguliere expressie (regexp, regex, regxp) is een string (een woord) die, volgens bepaalde syntaxregels, een verzameling strings (een taal) beschrijft Reguliere expressies worden
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 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 informatieOpgaven λ-calculus. Erik Barendsen voorjaar 2002
Opgaven λ-calculus Erik Barendsen voorjaar 2002 1. Laat zien dat in de λ-calculus geldt (i) SKK = I; (ii) KI = K. 2. (i) Vereenvoudig de volgende termen in λ. Dat wil zeggen: zoek bij elk van onderstaande
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 informatieTentamen Grondslagen van de Wiskunde B met uitwerkingen
Tentamen Grondslagen van de Wiskunde B met uitwerkingen 19 januari 2012, 13.30-16.30 Dit tentamen bevat 5 opgaven; zie ook de ommezijde. Alle opgaven tellen even zwaar (10 punten); je cijfer is het totaal
Nadere informatieModelleren en Programmeren
Modelleren en Programmeren Jeroen Bransen 13 november 2015 Expressies Functies Ingebouwde functies Variabelenbereik Inleveropgave 1 Terugblik Programma is een lijst van opdrachten Terugblik Programma is
Nadere informatieWaarmaken van Leibniz s droom
Waarmaken van Leibniz s droom Artificiële intelligentie Communicatie & internet Operating system Economie Computatietheorie & Software Efficiënt productieproces Hardware architectuur Electronica: relais
Nadere informatieWat? Betekenis 2: lambda-abstractie. Boek. Overzicht van dit college. Anna Chernilovskaya. 7 juni 2011
Wat? Betekenis 2: lambda-abstractie Anna Chernilovskaya 7 juni 2011 Vorige keer: Predicaatlogica Vertaling van zinnen Deze keer: Predicaatlogica uitbreiding Vertaling van zinnen in details Overzicht van
Nadere informatieFuncties (een korte inleiding)
Hoofdstuk 3 Functies (een korte inleiding) 3.1 Definitie van een functie: domein en mapping 3.1.1 Functies in Funmath Functies kent u waarschijnlijk al uit de context van wiskundige analyse, waar gewerkt
Nadere informatieFundamentele. Informatica 1. Rechenmaschine (1623) von Wilhelm Schickard (1592-1635), gebaut für seinen Freund Johannes Kepler
Fundamentele 1 Informatica 1 Rechenmaschine (1623) von Wilhelm Schickard (1592-1635), gebaut für seinen Freund Johannes Kepler Fundamentele Informatica 1 Hendrik Jan Hoogeboom di. 9.00-10.45 college h.j.hoogeboom@liacs.leidenuniv
Nadere informatieFundamentele. Informatica 1. Rechenmaschine (1623) von Wilhelm Schickard ( ), gebaut für seinen Freund Johannes Kepler
Fundamentele 1 Informatica 1 Rechenmaschine (1623) von Wilhelm Schickard (1592-1635), gebaut für seinen Freund Johannes Kepler Fundamentele Informatica 1 Hendrik Jan Hoogeboom di. 11.15-13.00 college Snellius
Nadere informatieInleiding Programmeren 2
Inleiding Programmeren 2 Gertjan van Noord November 26, 2018 Stof week 3 nogmaals Zelle hoofdstuk 8 en recursie Brookshear hoofdstuk 5: Algoritmes Datastructuren: tuples Een geheel andere manier om te
Nadere informatieFundamentele. Informatica 1. Eerste college: introductie
Fundamentele 1 Informatica 1 Eerste college: introductie Rechenmaschine (1623) von Wilhelm Schickard (1592-1635), gebaut für seinen Freund Johannes Kepler Fundamentele Informatica 1 Docent: Jeannette de
Nadere informatieFundamentele. Informatica 1. Eerste college: -introductie -verzamelingen I
Fundamentele 1 Informatica 1 Eerste college: -introductie -verzamelingen I Rechenmaschine (1623) von Wilhelm Schickard (1592-1635), gebaut für seinen Freund Johannes Kepler Fundamentele Informatica 1 Docent:
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 informatieGeef niet alleen antwoorden, maar bewijs al je beweringen.
Tentamen Lineaire Algebra donderdag 29 januari 205, 9.00-2.00 uur Het is niet toegestaan telefoons, computers, grafische rekenmachines (wel een gewone), dictaten, boeken of aantekeningen te gebruiken.
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 informatieInleiding tot Func.oneel Programmeren les 3
Inleiding tot Func.oneel Programmeren les 3 Kris Luyten, Jo Vermeulen {kris.luyten,jo.vermeulen}@uhasselt.be Exper.secentrum voor Digitale Media Universiteit Hasselt Currying Currying: een func.e met meerdere
Nadere informatieFuncties deel 1. Vijfde college
3 Functies deel 1 Vijfde college 1 Ch.3 Functions and Algorithms Hoofdstuk 3 uit Schaum gaat over functies en algoritmen. Het gedeelte over algoritmen ( 3.8 en 3.9) komt uitgebreid aan de orde bij toekomstige
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 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 informatieTermherschrijven. Jan van Eijck CWI. Achtergrondcollege Software Evolution, 22 september Samenvatting
Termherschrijven Jan van Eijck CWI jve@cwi.nl Achtergrondcollege Software Evolution, 22 september 2005 Samenvatting Wat zijn termen? Wat zijn regels voor vereenvoudigen van termen? Het begrip normaalvorm.
Nadere informatieInhoud. Introductie tot de cursus
Inhoud Introductie tot de cursus 1 Plaats en functie van de cursus 7 2 Inhoud van de cursus 7 2.1 Tekstboek 7 2.2 Voorkennis 8 2.3 Leerdoelen 8 2.4 Opbouw van de cursus 9 3 Leermiddelen en wijze van studeren
Nadere informatieTI1300: Redeneren en Logica. TI1300 Redeneren en Logica College 1: Inleiding en Bewijstechnieken. Blackboard: enroll!
TI1300: Redeneren en Logica TI1300 Redeneren en Logica College 1: Inleiding en Bewijstechnieken Tomas Klos TI1300 bestaat uit 2 delen: Th: Theorie, Tomas Klos Pr: Practicum, Tomas Klos plus student-assistenten
Nadere informatieonderwijs O Nation. Feestdag Opening Academisch Jaar Toetsing T Feestdag UvA+VU Herkansing VU Herkansing H UvA Geen onderwijs of toetsing V
UvA / VU Academische kalender 2016-2017 IDEE-week 2016 (VU) - 24 augustus (wk 34) t/m 30 augustus 2016 (wk 35) Intreeweek 2016 (UvA) - 29 augustus t/m 2 september 2016 (week 35) ma 5 12 19 26 3 10 17 24
Nadere informatieGödels theorem An Incomplete Guide to Its Use and Abuse, Hoofdstuk 3
Gödels theorem An Incomplete Guide to Its Use and Abuse, Hoofdstuk 3 Koen Rutten, Aris van Dijk 30 mei 2007 Inhoudsopgave 1 Verzamelingen 2 1.1 Definitie................................ 2 1.2 Eigenschappen............................
Nadere informatieStudiewijzer. Bachelor Informatica. Inleiding Programmeren Studiejaar en semester: jaar 1, semester 1 (blok 1)
Studiewijzer Bachelor Informatica Vak: Inleiding Programmeren Studiejaar en semester: jaar 1, semester 1 (blok 1) Coördinator: J. Lagerberg Docenten: R. Poss en J. Lagerberg Studielast: 6 EC Studiegidsnummer:
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 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 informatieRecursie en inductie i
Recursie en inductie i deel 2 Negende college inductiebewijzen 1 inductieprincipe Structurele inductie (inductie naar de opbouw) is de bewijstechniek die hoort bij inductief opgebouwde objecten zoals bomen
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 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 informatieProgrammeren en Wetenschappelijk Rekenen in Python. Wi1205AE I.A.M. Goddijn, Faculteit EWI 22 april 2014
Programmeren en Wetenschappelijk Rekenen in Python Wi1205AE, 22 april 2014 Inleiding Cursus coördinator e-mail Docent e-mail : Jacco Hoekstra : J.M.Hoekstra@TUDelft.nl : Ingeborg Goddijn : I.A.M.Goddijn@TUDelft.nl
Nadere informatieFOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE
FOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE Tentamen Analyse 6 januari 203, duur 3 uur. Voeg aan het antwoord van een opgave altijd het bewijs, de berekening of de argumentatie toe. Als je een onderdeel
Nadere informatieEEN ONLINE PROGRAMMA VOOR HET DIGITAAL AANBIEDEN VAN WISKUNDE OPGAVEN
EEN ONLINE PROGRAMMA VOOR HET DIGITAAL AANBIEDEN VAN WISKUNDE OPGAVEN WEBWORK Na tegenvallende tentamenresultaten en relatief hoog uitvalpercentage in vorige jaren is in blok 1 van studiejaar 2016-2017
Nadere informatieProgrammeermethoden NA. Week 5: Functies (vervolg)
Programmeermethoden NA Week 5: Functies (vervolg) Kristian Rietveld http://liacs.leidenuniv.nl/~rietveldkfd/courses/prna/ Bij ons leer je de wereld kennen 1 Functies Vorige week bekeken we functies: def
Nadere informatieKennisrepresentatie & Redeneren. Piter Dykstra Instituut voor Informatica en Cognitie
Kennisrepresentatie & Redeneren Piter Dykstra Instituut voor Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 30 april 2007 INLEIDING Kennisrepresentatie & Redeneren Week1: Introductie
Nadere informatieWiskunde Module! Basisprogramma Psychologische Methodenleer! Alexander Ly (en Raoul Grasman)!
Wiskunde Module! Basisprogramma Psychologische Methodenleer! Alexander Ly (en Raoul Grasman)! Inhoudsopgave! Wiskunde en psychologie! Doelstelling van de module! Opzet van de module! Algebra: reken regels!
Nadere informatieUitwerking tentamen Analyse van Algoritmen, 29 januari
Uitwerking tentamen Analyse van Algoritmen, 29 januari 2007. (a) De buitenste for-lus kent N = 5 iteraties. Na iedere iteratie ziet de rij getallen er als volgt uit: i rij na i e iteratie 2 5 4 6 2 2 4
Nadere informatieVoortgezette Logica, Week 6
Voortgezette Logica, Week 6 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 164, 030-2535575 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten Voortgezette
Nadere informatieTentamen in2505-ii Berekenbaarheidstheorie
TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen in2505-ii Berekenbaarheidstheorie 16 juni 2008, 14.00 17.00 uur Dit tentamen bestaat uit 5 open vragen. Totaal
Nadere informatieWI1708TH Analyse 3. College 2 12 februari Challenge the future
WI1708TH Analyse 3 College 2 12 februari 2015 1 Programma Vandaag Partiële afgeleiden (14.3) Hogere orde partiële afgeleiden (14.3) Partiële differentiaal vergelijkingen (14.3) 2 Functies van twee variabelen
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 informatieDiscrete Wiskunde 2WC15, Lente Jan Draisma
Discrete Wiskunde 2WC15, Lente 2010 Jan Draisma HOOFDSTUK 2 Gröbnerbases 1. Vragen We hebben gezien dat de studie van stelsels polynoomvergelijkingen in meerdere variabelen op natuurlijke manier leidt
Nadere informatieModulewijzer tirprog02/infprg01, programmeren in Java 2
Modulewijzer tirprog02/infprg01, programmeren in Java 2 W. Oele 17 november 2009 1 Inhoudsopgave 1 Inleiding 3 2 Studiehouding 3 3 Voorkennis 4 4 Inhoud van deze module 5 5 Leermiddelen 5 6 Theorie en
Nadere informatieStudiehandleiding. Calculus 2 voor Wiskunde en Natuurkunde november en december 2007
Studiehandleiding Calculus 2 voor Wiskunde en Natuurkunde november en december 2007 Versie 2 (19 november 2007) Docent: F. van Schagen kamer: R 3.25 email: freek@few.vu.nl tel: 598 7693 1 Inhoudsopgave
Nadere informatieToelichting bij geselecteerde opdrachten uit Betekenis en Taalstructuur
Toelichting bij geselecteerde opdrachten uit Betekenis en Taalstructuur Hoofdstuk 2, tot en met pagina 41. Maak opdrachten 1,2,3,4,5,7,9,10,11,15,16 *1 Met "welgevormd" wordt bedoeld dat de formule toegestaan
Nadere informatieIN2505 II Berekenbaarheidstheorie. IN2505-II Berekenbaarheidstheorie. Practicum: Inschrijven. Practicum
IN2505 II Berekenbaarheidstheorie College 1 Algoritmiekgroep Faculteit EWI TU Delft 7 april 2009 Docent: Colleges/oefeningen: dinsdag 5 + 6 (EWI-A), vrijdag 1 + 2 (AULA-A) Boek: Michael Sipser, Introduction
Nadere informatieLogic for Computer Science
Logic for Computer Science 07 Predikatenlogica Wouter Swierstra University of Utrecht 1 Vrijdag Aanstaande vrijdag is geen hoorcollege of werkcollege. De tussentoets is uitgesteld tot volgende week dinsdag.
Nadere informatieAlgoritmen abstract bezien
Algoritmen abstract bezien Jaap van Oosten Department Wiskunde, Universiteit Utrecht Gastcollege bij Programmeren in de Wiskunde, 6 april 2017 Een algoritme is een rekenvoorschrift dat op elk moment van
Nadere informatieSamenvatting. Belangrijke kanttekeningen
Samenvatting Context en Interventie Na tegenvallende tentamenresultaten en relatief hoog uitvalpercentage in vorige jaren is in blok 1 van studiejaar 2016-2017 de cursus Infinitesimaalrekening A (WISB
Nadere informatieStudiewijzer Algebra 2, 2F
Studiewijzer Algebra 2, 2F720 2000-2001 August 29, 2000 Contents 1 Inleiding 2 2 Overzicht 2 3 docent en instructeurs 2 4 Voorkennis en vervolgvakken 3 5 Inhoud en leerdoelen 3 6 College 3 7 Instructie
Nadere informatieLogisch en Functioneel Programmeren voor Wiskunde D
Logisch en Functioneel Programmeren voor Wiskunde D Wouter Swierstra Doaitse Swierstra Jurriën Stutterheim Technical Report UU-CS-2011-033 Sept 2011 Department of Information and Computing Sciences Utrecht
Nadere informatieFunctioneel programmeren met Helium
NIOC 2004 Functioneel programmeren met Helium Bastiaan Heeren en Daan Leijen {bastiaan,daan}@cs.uu.nl Universiteit Utrecht NIOC 2004, Groningen, 3 november. Overzicht Overzicht 1 Functioneel programmeren
Nadere informatieModulewijzer Tirdat01
Modulewijzer Tirdat01 W. Oele 25 augustus 2008 1 Inhoudsopgave 1 Inleiding en leerdoelen 3 2 Voorkennis 3 2.1 tirprg01 en tirprg02........................ 3 2.2 tirprg03.............................. 4
Nadere informatieKETTINGBREUKEN VAN COMPLEXE GETALLEN MART KELDER
KETTINGBREUKEN VAN COMPLEXE GETALLEN MART KELDER 7 mei 2009 Inhoudsopgave Reële kettingbreuken 2. Voorwoord 2.2 Verschillende reële kettingbreuken 2.3 Roosters 2.3. Definities 2.4 Voorbeelden van Roosters
Nadere 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 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 informatie3. Bepaal de convergentie-eigenschappen (absoluut convergent, voorwaardelijk convergent, divergent) van de volgende reeksen: n=1. ( 1) n (n + 1)x 2n.
Radboud Universiteit Tentamen Calculus A NWI-WP025 25 januari 208, 8.30.30 Het gebruik van een rekenmachine/gr, telefoon, boek, aantekeningen e.d. is niet toegestaan. Geef precieze argumenten en antwoorden.
Nadere informatieBoot - DEM/DT/BE_MFAO-BOO, Financieel Advies en Ondersteuning - DEM/DL/BE_TS-MFAO, Fiscaal - DEM/DT/BE_MFAO-FIS, Gespreksvaardigheden Gr.1...
- DEM/DT/BE_MFAO-BOO, Financieel Advies en Ondersteuning - DEM/DL/BE_TS-MFAO, - DEM/DT/BE_MFAO-FIS,... Week 6 (4 feb 2013-10 feb 2013) maandag (04/02) dinsdag (05/02) woensdag (06/02) donderdag (07/02)
Nadere informatieequivalentie-relaties
vandaag equivalentie-relaties reflexief, symmetrisch, transitief 1 1. gelijkmachtigheid / aftelbaarheid 2. modulo rekenen 3. theorie Gelijkmachtigheid en aftelbaarheid 3.7 aleph 2 intuitie Amst Brux Roma
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 informatieWISKUNDE 5 PERIODEN. DATUM : 5 juni 2008 ( s morgens) Niet-programmeerbare, niet-grafische rekenmachine
EUROPEES BACCALAUREAAT 2008 WISKUNDE 5 PERIODEN DATUM : 5 juni 2008 ( s morgens) DUUR VAN HET EXAMEN : 4 uur (240 minuten) TOEGESTANE HULPMIDDELEN Formuleboekje voor de Europese scholen Niet-programmeerbare,
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 informatieBetekenis I: Semantiek
Betekenis I: Semantiek Marieke Schouwstra 21 mei De studie van betekenis Semantiek: de studie van betekenis in taal 17.1, 17.2, 17.3, vandaag Pragmatiek: de studie van betekenis in taalgebruik delen van
Nadere informatieSemantiek 1 college 10. Jan Koster
Semantiek 1 college 10 Jan Koster 1 Vandaag Vorige keer: conceptuele structuur en semantische decompositie Vandaag: inleiding in de formele semantiek Gebruikt notaties uit formele logica plus de daar gehanteerde
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 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 informatieFundamenten van de Informatica
Fundamenten van de Informatica Luc De Raedt Academiejaar 2006-2007 naar de cursustekst van Karel Dekimpe en Bart Demoen A.1: Talen en Eindige Automaten 1 Deel 1: Inleiding 2 Motivatie Fundamenten van de
Nadere informatie1. Vectoren in R n. y-as
1. Vectoren in R n Vectoren en hun meetkundige voorstelling. Een vector in R n is een rijtje (a 1, a 2,..., a n ) van reële getallen. De getallen a i heten de coördinaten van de vector. In het speciale
Nadere informatie