Discrete, Interactive & Algorithmic Mathematics, Algebra & Number Theory

Vergelijkbare documenten
ARITHMETIC GEOMETRY, BAS EDIXHOVEN MOTIVES: COMPUTATIONAL ASPECTS. Overzicht van de presentatie: 1. Context en relevantie van het onderzoek;

Fundamentele. Informatica 1. Eerste college: introductie

Fundamentele. Informatica 1. Eerste college: -introductie -verzamelingen I

Fundamentele. Informatica 1. Rechenmaschine (1623) von Wilhelm Schickard ( ), gebaut für seinen Freund Johannes Kepler

Helden van de wiskunde: L.E.J. Brouwer Brouwers visie vanuit een logica-informatica perspectief

Elliptische krommen en digitale handtekeningen in Bitcoin

Wiskunde Olympiade. Quintijn Puite 19 maart 2009 Bachelorcolloquium (TU/e) / department of mathematics and computer science 1/55

Studiewijzer Algebra 2, 2F

Mathematics & Logic STAND VAN ZAKEN SEPTEMBER 2014

Wiskunde achter een 3D model


De wiskunde achter de Bitcoin

Examencommissie wiskunde voorzitter Prof. J. Van der Jeugt, secretaris Prof. H. Vernaeve opstellen examenroosters deliberaties, proclamaties

Master in de wiskunde

Afdeling Wiskunde. Onderwijs. Onderzoek

Examenprogramma wiskunde D vwo

Eindtermen Lineaire Algebra voor E vor VKO (2DE01)

Inhoud. Introductie tot de cursus

LANDSEXAMEN VWO Het examenprogramma Het examenprogramma voor het commissie-examen Wiskunde D bestaat uit de volgende (sub)domeinen:

Beschrijving onderwijseenheden

Naam Vak Wiskunde Niveau Mavo geldend voor klas 10. Jaar Toetsnaam Type Omschrijving Afnamemoment Weegfactor PTA

Snel en exact rekenen in getaltheorie en computeralgebra door middel van benaderingen

Naam Vak Wiskunde Niveau Mavo geldend voor klas 9 en 10. Jaar Toetsnaam Type Omschrijving Afnamemoment Weegfactor PTA.

2WO12: Optimalisering in Netwerken

Naam Vak Wiskunde Niveau Mavo. Jaar Toetsnaam Type Omschrijving Afnamemoment Weegfactor PTA. Rapportcijfer

Raakvlakken tussen wiskunde en informatica

Inleiding tot de Problem Solving - deel 1: Combinatoriek en getaltheorie

Master Wiskundige Ingenieurstechnieken

slides2.pdf 2 nov

Thesisonderwerpen binnen de onderzoeksgroep klassieke analyse (Walter Van Assche)

Diophantische vergelijkingen in het kerstpakket

Algebra and discrete wiskunde

De Hamming-code. De wiskunde van het fouten verbeteren in digitale gegevens

Welke wiskundes zijn er?

WISKUNDE D VWO VAKINFORMATIE STAATSEXAMEN 2016 V15.7.0

Informatieavond klas 3 Profielkeuze

Informatieavond klas 3 Profielkeuze

WISKUNDE EN DE OPLEIDING WISKUNDE AAN DE UNIVERSITEIT GENT

Examencommissie wiskunde voorzitter Prof. J. Van der Jeugt, secretaris Prof. H. Vernaeve opstellen examenroosters deliberaties, proclamaties

Fibonacci op de universiteit

Informatica aan de Universiteit Antwerpen

Universiteit van Amsterdam FACULTEIT DER NATUURWETENSCHAPPEN, WISKUNDE EN INFORMATICA

Algebra and discrete wiskunde

Lineaire algebra en vectorcalculus

Bijlagen bacheloropleiding Kunstmatige Intelligentie

TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica. Examination 2DL04 Friday 16 november 2007, hours.

Hier komt de titel van de presentatie

TI1300: Redeneren en Logica. TI1300 Redeneren en Logica College 1: Inleiding en Bewijstechnieken. Blackboard: enroll!

De wortel uit min één. Jaap Top

Profilering derde graad

Hoofdsponsor. Opgaven

Economie en maatschappij(a/b)

Hier komt de titel van de presentatie

TW2040: Complexe Functietheorie

TW2040: Complexe Functietheorie

Toepassingen van de Wiskunde in de Digitale Wereld

Universiteit Gent. Academiejaar Discrete Wiskunde. 1ste kandidatuur Informatica. Collegenota s. Prof. Dr.

Wiskunde A (of C) of wiskunde B (en D) in de bovenbouw VWO

Lineaire Algebra voor E (VKO)

Hoe begeleidt u uw leerlingen in hun studiekeuze? Prof. Gert de Cooman Onderwijsdirecteur FEA

RESULTATEN BEVRAGING ASO

Diophantische vergelijkingen

High Performance Computing

Bijlage 1 Indeling programma s volgens onderdeel 7 van de TU/e Richtlijn Bachelor College

Programma van toetsing en afsluiting. Schooljaar atheneum

Lineaire Algebra voor ST

Transcriptie:

Discrete, Interactive & Algorithmic Mathematics, Algebra & Number Theory DIAMANT Arjeh M. Cohen Wiskunde-clusters presentatie, NWO, Den Haag, 21 april 2005 1/61

DIAMANT staat voor Discrete, Interactive & Algorithmic Mathematics, Algebra & Number Theory DISCREET INTERACTIEF ALGORITMISCH meer nullen en enen dan continue analyse bits, netwerken samenspel tussen gebruiker en programma internet-wiskunde het daadwerkelijk tot stand brengen vierkleurenstelling 2/61

DIAMANT aspecten EIGENSCHAPPEN 1. zuiverheid 2. hardheid 3. schittering HERKOMST 4. vinden 5. aanmaak GEBRUIK 6. industriële toepassingen 7. beleggingsobject 8. sieraad 3/61

1. Zuiverheid eigenschappen homogeen thema: algoritmen in de discrete wiskunde de wiskunde is abstract 4/61

2. Hardheid eigenschappen de wiskunde weerstaat de tand des tijds het team is coherent 5/61

Coherentie 2. eigenschappen/hardheid Leiden tomografie Amsterdam quantum optimalisatie cryptologie getaltheorie computer algebra Eindhoven Nijmegen 6/61

3. Schittering eigenschappen Vele facetten Uitstraling, PR 7/61

Facetten 3. eigenschappen/schittering algebraïsche meetkunde coderingstheorie complexititeitstheorie computeralgebra correctheid differentiaalvergelijkingen groepentheorie logica meetkundige combinatoriek systeemtheorie algoritmen combinatorische optimalisatie computationele meetkunde computerwiskunde cryptologie getaltheorie internet-wiskunde meetkunde quantumrekenkunde veiligheid 8/61

PR 3. eigenschappen/schittering π in de Pieterskerk Escher en het Droste effect Vierkant voor Wiskunde De laatste stelling van Fermat 9/61

4. Vinden herkomst grondleggers, bestuur, deelnemers 10/61

Grondleggers 4. herkomst/vinden Baaijen Seidel van Lint de Bruijn 11/61

3/4 Bestuur 4. herkomst/vinden Henk Barendregt Hendrik W. Lenstra Alexander Schrijver 12/61

slide 1 naast slide 3 13/61

14/61

15/61

16/61

17/61

18/61

19/61

20/61

21/61

22/61

23/61

24/61

25/61

26/61

27/61

28/61

29/61

slide 1 op slide 3 30/61

slide 1 naast slide 2 31/61

32/61

33/61

34/61

35/61

36/61

37/61

38/61

39/61

40/61

41/61

42/61

43/61

44/61

45/61

46/61

slide 1 op slide 2 47/61

48/61

Amsterdam 6 Leiden Nijmegen 5 8 You are here 9 Eindhoven M.de Berg A.Blokhuis A.E.Brouwer R.J.F.Cramer S.J.Edixhoven H.Geuvers B.Jacobs M.van der Put P.Stevenhagen R.Tijdeman J.Top G.J.Woeginger K.Aardal F.Beukers W.Bosma H.Buhrman H.Cuypers A.M.H.Gerards H.Gluesing-Luerssen M.Laurent B.de Smit L.Stougie H.A.van Tilborg P.M.B.Vitányi + nieuwe activiteiten + coryfeeën van elders 49/61

5. Aanmaak herkomst Onderwijs Masters studenten, aio s, oio s, twaio s,... DIAMANT opleiding 50/61

51/61

6. Toepassingen gebruik Onderzoek Maatschappij informatica netwerken 52/61

Bijdragen uit het verleden 6. gebruik/toepassingen ontwerp van codes CD, foto s van Mars beveiliging bankpas, e-mail optimalisatie in logistiek treinschema s, schotel positionering 53/61

Actuele bijdragen 6. gebruik/toepassingen efficiëntie van algoritmen correctheid van chips en programma s bewegingen van robotarmen DNA en eiwit sequencing 54/61

Contact met industrie 6. gebruik/toepassingen 55/61

7. Beleggingsobject gebruik Abstracte wiskunde eerst toepassing later Factoriseren van getallen cryptologie Intuïtionistische logica computer-wiskunde 56/61

Toekomstverwachting 7. gebruik/belegging Resultaten uit het verleden bieden geen garantie voor de toekomst. Abstracte wiskunde eerst toepassing later 57/61

8. Sieraad gebruik De vijf Platonische lichamen en de diamant als ruimtelijke kristalstructuur 58/61

12 DIAMANT cluster een sieraad voor de samenleving JJ J N I II / department of mathematics and computer science 8. gebruik/sieraad 59/61

Algebra achter het DIAMANT netwerk 8. gebruik/sieraad ζ = e 2πi/5 punten: 4 j=0 n jζ j kanten: met n j Z en 4 j=0 n jζ 2j 2 v v = ±ζ j 60/61

Discrete, Interactive & Algorithmic Mathematics, Algebra & Number Theory einde DIAMANT presentatie in dank (NWO, bestuur, Kortsmit, eva), Arjeh M. Cohen 61/61