1/11 Algoritmen en Complexiteit Programmeerparadigma’s Voorbereiding Visitatie ZAP vergadering woensdag 27/2/2008.

Presentatie over: "1/11 Algoritmen en Complexiteit Programmeerparadigma’s Voorbereiding Visitatie ZAP vergadering woensdag 27/2/2008."— Transcript van de presentatie:

1 1/11 Algoritmen en Complexiteit Programmeerparadigma’s Voorbereiding Visitatie ZAP vergadering woensdag 27/2/2008

2 2/11 Algoritmen en Complexiteit: Inhoud week inhoud 1 - 4 Uniforme worst-case tijdscomplexiteit, toegepast op sorteeralgoritmen: big-o, big-omega lexicografisch sorteren comparison-based sorteren 5 - 6 Modellen: RAM, RASP, TM en de verbanden ertussen. log vs. uniforme complexiteit 7 Subwoord - probleem 8 - 10 NP - time en NP - space SAT is in NP - time Reducties: hamiltonian path, colourability 11-12 Randomized algorithms, Mincut, RP, ZPP

3 3/11 Werkvorm Klassiek hoorcollege met “theoretische” oefeningen Enkele opdrachten, maar zonder permanente evaluatie Materiaal: Syllabus (uitgewerkte slides) Handboeken: Aho, Hopcroft, Ullman: “The design and Analysis of Computer Algorithms” Aho, Motwani, Ullman: “Automata Theory, Languages and Computation” Examen: Open boek (syllabus)

4 4/11 Doelstellingen -Basiskennis over tijds-en plaatscomplexiteit: definities en hun motivatie -Complexiteit van een gegeven algoritmen kunnen bepalen -Redeneren over de correctheid van een algoritme -Inzicht verwerven in de samenhang complexiteit - model -Basiskennis complexiteitsklassen -Gebruik van reducties tussen problemen -Kennismaking met gerandomizeerde algoritmen en hun analyse

5 5/11 Volgtijdelijkheid Vereiste voorkennis: -Enige programmeerervaring, basiskennis algoritmen -Eindige automaten (Talen en Automaten) -Turing machines (Machines en Berekenbaarheid) -Elementaire datastructuren (Gegevensstructuren)

6 6/11 Kerncompetenties KC1: Analyse en ontwerp++ KC2: Implementatie+ KC3: Onderhoud KC4: Databank KC5: Lokaal netwerk beheer KC6: Support en advies KC7: Communicatievaardigheden KCD1: Formeel denken +++ KCD2: Wetenschappelijk verwerken van data KCD3: Opvolgen technologische ontwikkelingen KCD4: Eigen maken nieuwe technieken+ KCD5: Autonoom en creatief functioneren+ KCD6: Wetenschappelijke basis +++

7 7/11 Programmeerparadigmas: Inhoud week inhoud theorie 1 Inleiding: de 4 belangrijkste paradigma’s, overzicht. 2 - 6 Theorie achter het functioneel programmeren ( - calculus): syntax, beta-reductie, alpha-congruentie combinatoren, rekenen in - calculus, lijststructuren reductiestrategieën, normal order types, implementatie 6 - 12 Logisch programmeren in PROLOG: de taal, syntax en semantiek unificatie, implementatie Practica: functioneel programmeren in Haskell programmeren in PROLOG

8 8/11 Werkvorm Theorie: hoorcollege met “theoretische” oefeningen over - calculus Practica: programmeeropdrachten Haskell - Prolog gedeeltelijk permanente evaluatie Materiaal: Syllabus (uitgewerkte slides) Handboeken: Simon Thompson, “Haskell, the Craft of Functional Programming” Adam Brooks Webber, “Modern Programming Languages: a Practical Introduction” Examen: Open boek (syllabus) + programmeeropdrachten

9 9/11 Doelstellingen -Basiskennis - calculus: geschiedenis en motivatie, werking verband met echte functionele talen -Programmeren in Haskell -Programmeren In PROLOG -Noties van de implementatie van beide

10 10/11 Volgtijdelijkheid Vereiste voorkennis: -Enige programmeerervaring, basiskennis algoritmen -Basiskennis logica: wff, kwantoren, predicaten -Enkele noties van berekenbaarheid -Elementaire datastructuren Verband met andere vakken; zoals databases, AI?

11 11/11 Kerncompetenties KC1: Analyse en ontwerp++ KC2: Implementatie+ KC3: Onderhoud KC4: Databank (?) KC5: Lokaal netwerk beheer KC6: Support en advies KC7: Communicatievaardigheden KCD1: Formeel denken ++ KCD2: Wetenschappelijk verwerken van data KCD3: Opvolgen technologische ontwikkelingen KCD4: Eigen maken nieuwe technieken++ KCD5: Autonoom en creatief functioneren KCD6: Wetenschappelijke basis ++