KC7: communicatievaardigheden KCD1: formeel denken KCD3: opvolgen technologische ontwikkeling KCD5: autonoom en creatief functioneren elk 6 sp

Transcriptie

1 Talen en automaten Kerncompetenties en Machines en berekenbaarheid KC7: communicatievaardigheden KCD1: formeel denken KCD3: opvolgen technologische ontwikkeling KCD5: autonoom en creatief functioneren elk 6 sp KCD6: wetenschappelijke basis TA: 1e bac 1e sem - MB: 2e bac 1e sem 1 2 samenstelling discussiegroepen 6 studenten per groep TA week 3-6: wisselende groepen week 7-13: vaste (heterogene) groepen enkel voor wie portfoliootje maakte MB vaste heterogene groepen (op basis resultaten TA) activiteiten discussiegroepen afspraken maken ivm functioneren van de groep voorbereiding wekelijkse bijeenkomst aandachtig lezen van laatste deel leerstof in handboek een vragenlijst maken met alle vragen - netjes geformuleerd * oefeningen maken 3 4

2 activiteiten discussiegroepen tijdens wekelijkse bijeenkomst vragenlijsten voorleggen aan de groepsleden en samen zoeken naar een antwoord op alle vragen samen *oefeningen afwerken alle oplossingen neerschrijven activiteiten discussiegroepen na wekelijkse bijeenkomst gedetailleerd schriftelijk groepsrapport heldere en overtuigende formulering van alle oplossingen goed gestructureerd indienen via bb onopgeloste vragen komen op forum bb alle medestudenten kunnen helpen enkel indien dit niet lukt, hulp van cursusbegeleiders 5 6 KC7: communicatievaardigheden TA evaluatie discussiegroepen groepsrapporten groepscijfer peerevaluatie gewicht ideeën aanreiken enthousiasme en participatie bijdragen aan het functioneren als team voorbereiding volbrengen taken volbrengen - afspraken nakomen individueel cijfer = groepscijfer * gewicht voor 10/20 punten, minstens 40% individueel handgeschreven portfoliootje (week 3-6) mind-map personalia - 1 presentatie * oefeningen voor + na discussiegroep eigen vragen + antwoorden motivatielijst extra opdrachten (leren vergaderen) zelfreflecties 7 8

3 KCD1: formeel denken ++ KCD1: formeel denken ++ TA en MB gaan over niets anders dan abstracte wiskundige modellen, formele redeneringen, formele argumentaties en het begrijpen van de in de informatica gangbare wetenschappelijke technieken en methodes TA en MB gaan over wiskundige bewijsvoering eindige automaten dfa nfa e-nfa reguliere expressies en talen context-vrije grammatica s en talen pushdown automaten Turing machines 9 10 KCD3: opvolgen technologische!!! ontwikkeling +(+) KCD5: autonoom en creatief!!! functioneren ++ wekelijks stuk uit Engelstalig handboek voorbereiden, met hulp van: eerst hoorcolleges dan minilessen ten slotte begeleide zelfstudie een denkkader waarin de samenhang tussen de verschillende deelgebieden in de informatica wordt gevat verschillende deelgebieden - eenzelfde theoretische basis, vb. parsers, markup talen als toepassing van CFG complexe opdrachten - deeltaken moeilijke materie in boek best stukje per stukje bestuderen in tegenstelling tot uitstelgedrag bij begin zelf laten ontdekken zelf leren bewijzen (vooral per inductie) (zelf)reflectie peerevaluatie 11 12

4 KCD6: wetenschappelijke basis ++ Volgtijdelijkheid TA en MB zijn wiskundevakken wiskundige technieken wiskundige methodes wiskundige beperkingen -berekenbaarheid discrete wiskunde 1e bac 1e sem Talen en automaten gegevensstructuren 2e bac 1e sem Machines en berekenbaarheid 2e bac 2e sem Algoritmen en complexiteit compilers Werk- en lesvormen Communicatie... activerend hoorcollege schriftelijke oefeningensessies groepswerk Speciaal + groepswerkstudenten halen betere resultaten besteden de nodige tijd en aandacht aan de leerstof worden aangezet tot de gewenste leeractiviteiten blijven niet met vragen zitten krijgen snelle feedback van medestudenten zijn betrokken bij de lessen zijn goed voorbereid voor het examen krijgen alle kansen om te leren (van elkaar) 15 16

5 Speciaal - Speciaal - oplossing? groepswerk is veel werk (maar niet te veel) zelfstudie kan alle communicatieoefeningen omzeilen (12%) kwaliteitscriteria communicatievaardigheden niet altijd duidelijk goed handboek kan helpen aankoop handboek Leren communiceren vergaderen lees hoofdstuk in handboek maak een voorstel voor je dg op 2 dia s 6 voorstellen in groep bespreken 1 groepsplanning maken rond de vraag Hoe gaan we als groep functioneren en alle groepswerk tot een goed einde brengen? ander hoofdstuk: onderdelen van een rapport Examenresultaten schriftelijk examen theorie: gesloten boek oefeningen: open boek groepswerkstudenten 50 % groepswerk - 50% examen minstens 40% voor elk onderdeel zelfstudiestudenten 100% uitgebreid examen Gegevensstructuren 6 sp 1e bac 2e sem 19 20

6 Kerncompetenties KC1: analyse en ontwerp voor kleinschalige software projecten ++ KC1: analyse en ontwerp voor kleinschalige software projecten de studenten werken individueel aan portfolio-opdrachten KC2: implementatie van nieuwe softwaresystemen KC4: implementatie en onderhoud van een databank KC7: communicatievaardigheden KCD1: formeel denken KCD5: autonoom en creatief functioneren 5 ADT opdrachten ontwerp - indienen week 2i implementatie - indienen week 2i+1 testgegevens KC2: implementatie van nieuwe softwaresystemen ++ KC4: implementatie en onderhoud van een databank + externe methoden 5 ADT opdrachten hashing ontwerp - indienen week 2i implementatie - indienen week 2i+1 testgegevens B-trees indexeren multiple indexing 23 24

7 feedback van gebruikers & teammedewerkers portfolio eigen werk schriftelijk presenteren - netjes en volledig mekaar helpen in leerproces kwaliteitscriteria - (volledig/niet) akkoord 1. De design laat toe de implementatie vlot te gebruiken. leren teamsoftware ontwikkelen 2. De design is modulair, de modules hebben duidelijke contracten leren schrijven van software met aandacht voor medewerkers/gebuikers houd zowel mensen als computers in gedachten 3. In de design wordt gesproken over WAT, niet HOE (geen verwijzingen naar implementatie) 4. Implementatie is goed gedocumenteerd wat betreft begincommentaren bij programma, procedures, klassen,..; 5. Belangrijke/moeilijke punten in de implementatie zijn goed gedocumenteerd enz. tips en tops KCD1: formeel denken ++ KCD1: formeel denken ++ abstracte modellen - ADTs stacks queues binaire (zoek)bomen tabel priority queue gebalanceerde zoekbomen (2-3, AVL,..., B-trees) graphs? efficiëntie analyse O(1), O(log n), O(n), O(n*log(n)), O(n 2 ), O(n 3 ), O(2 n ) zoekalgoritmen sorteeralgoritmen ADT bewerkingen 27 28

8 KCD5: autonoom en creatief functioneren ++ Volgtijdelijkheid 5 portfolio-opdrachten in deeltaken opdelen - ontwerp, implementatie, testgegevens elke deeltaak afzonderlijk uitvoeren het groter geheel niet uit het oog verliezen - denk aan gebruikers/ medewerkers 1e bac 1e sem programmeren 1e bac 2e sem gegevensstructuren projecten feedback reflectie en zelfreflectie nieuwe verbeterde versies Werk- en lesvormen Communicatie... sinds portfolio zijn de studenten Speciaal + activerend hoorcollege leergesprek (veel interactie) schriftelijke oefeningensessies actiever (tijdens en buiten de lessen) gemotiveerder sterker verbonden met hun werk random evaluatie portfolio portfoliowerk tijdens labosessie portfoliowerk buiten lessen 31 32

9 Speciaal + Speciaal - sinds portfolio hebben de studenten meer zicht op en inzicht in eigen leerproces: verplicht eigen werk te verzamelen, beschrijven, netjes te presenteren kwaliteitscriteria peerevaluatieformulier student kan zelf beoordelen in welke mate hij/zij de competenties beheerst leert reflecties gebruiken om eigen leerproces bij te sturen veel werk voor alle betrokkenen onevenwichtige verdeling leerstof in semester begin semester: te makkelijk eind semester: te veel leerstof vanaf dit semester: nieuwe verdeling Examenresultaten Onderdeel Evaluatie Om te slagen voor het geheel minstens: Portfolio -oplossing -feedback -reflectie -extra versie(s) Portfolio-examen./10./6./3./1./2 bonuspunten 40% = 4./4 40% = 1,6 Toegepaste logica 3 sp Schriftelijk theorieen oefeningenexamen./6 40% = 2,4 keuzevak 3e bac 1e sem Eindresultaat./20 50% =

10 Kerncompetenties KC7: communicatievaardigheden KCD1: formeel denken KCD3: opvolgen technologische ontwikkeling KCD5: autonoom en creatief functioneren KCD6: wetenschappelijke basis simulatie van een conferentie call for papers instructions for authors! draft paper "bb# presentatie van simulatie van een conferentie "vervolg# initial paper feedback workshop $ per paper 40 : presentatie $ vragen $ feedback final paper review aankoop handboek Leren communiceren? vb. mondeling presenteren lees hoofdstuk in handboek maak een lijstje van tips die je gaat toepassen maak en geef een diapresentatie schrijf een zelfreflectie 39 40

11 KCD1: formeel denken ++ KCD1: formeel denken ++ wiskundige vorming propositielogica predikaatlogica theorie logisch programmeren paperonderwerpen studenten, vb: multi$agent systems fuzzy logic intuïtionistische logica theorie logisch programmeren kennisrepresentatie met logische programma s bewijzen als programmaverwerking propositionele resolutie unificatie en algemene resolutie SLD$resolutie "prolog# semantiek van logische programma s Herbrand universum kleinste Herbrand model KCD3: opvolgen technologische ontwikkeling ++ KCD5: autonoom en creatief functioneren ++ studenten leren conferenties, proceedings, tijdschriften kennen studenten gebruiken vakliteratuur om onderwerp te zoeken/kiezen paper te schrijven portfolio bevat draft, initial en final paper feedback reflectie presentaties review zelfreflectie 43 44

12 KCD6: wetenschappelijke basis ++ Volgtijdelijkheid zicht op andere wetenschappelijke disciplines logica? Werk$ en lesvormen Communicatie... Speciaal + activerend hoorcollege conferentiesimulatie $ leuke manier van werken schriftelijke oefeningensessies paperpresentaties workshop portfolio 47 48

13 Speciaal $ Examenresultaten uitstelgedrag 50% schriftelijk open boek examen theorie logisch programmeren 50% paperwerk "portfolio# Relatie masters Ontbreken er kerncompetenties? zie KCDs academische bachelor = KC + KCD verschil met professionele bachelor? deel van KCD naar KC? iets over ethiek? 51 52