WO

Structuur en begrijpelijkheid van type-expressies

Auteur(s): 
K.G. van den Berg, Faculteit Informatica, Universiteit Twente, Enschede
P.M. van den Broek, Faculteit Informatica, Universiteit Twente, Enschede
G.M. van Petersen, Faculteit Informatica, Universiteit Twente, Enschede
Samenvatting: 

Functionele programmeertalen worden gekenmerkt door een grote expressieve kracht en grote begrijpelijkheid van de programma's. Ze lenen zich bij uitstek als basis voor het programmeeronderwijs.
Meestal zijn deze talen sterk getypeerd. Het opstellen van een type-expressie is een belangrijke stap in het specificeren van een functie. Bovendien is het functietype een belangrijk hulpmiddel voor het opsporen van fouten.

Abstracte datatypen in Modula-2

Auteur(s): 
K.G. van den Berg, Faculteit Informatica, Universiteit Twente, Enschede
N.M. van Diepen, Faculteit Informatica, Universiteit Twente, Enschede
Samenvatting: 

Abstracte datatypen (ADT's) vormen een steeds belangrijker onderdeel van de leerstof in inleidende cursussen programmeren. In studieboeken wordt een grote verscheidenheid aangetroffen in de behandeling van ADT's. In deze bijdrage wordt een didactiek gegeven van ADT's in de imperatieve programmeertaal Modula-2. Deze benadering wordt geplaatst naast de aanpak van ADT's in de functionele programmeertaal Miranda (Miranda is een handelsmerk van Research Software Limited).

Interactief ontwerpen en simuleren van digitale systemen in het onderwijs

Auteur(s): 
L. Benders, Technische Wetenschappen, Open universiteit, Heerlen
C. Kreyns, Technische Wetenschappen, Open universiteit, Heerlen
Samenvatting: 

De laatste jaren worden de digitale systemen door toenemende eisen ten aanzien van de functionaliteit steeds complexer. Dit betekent dat steeds vaker met zware computer ondersteuning ontworpen wordt. Hierdoor is het noodzakelijk studenten te onderwijzen in de top down ontwerp techniek en het gebruik van computer ondersteuning daarbij. Ontwerpsystemen, de software als wel de hardware, zijn echter nogal duur en helaas na enige jaren reeds verouderd.

INFORMATICA, hoe vertellen wij dat de bedrijfskundige academicus? Een bezinning op de onderwijspraktijk

Auteur(s): 
A.E. Bax, Faculteit Technische Bedrijfskunde, Technische Universiteit Eindhoven, Eindhoven
S.F. Nielen, Faculteit Technische Bedrijfskunde, Technische Universiteit Eindhoven, Eindhoven
Samenvatting: 

Gedurende het NIOC'90 werd een bijdrage gepresenteerd over het propedeuse-onderwijs in de informatica aan de Faculteit Technische Bedrijfskunde, Technische Universiteit Eindhoven. Deze bijdrage ging in op de overwegingen die het onderwijs in het collegejaar 1989/1990 gestalte hebben gegeven zowel naar vorm als inhoud. (Congresbundel NIOC'90, pagina 559).

Praktisch parallel programmeren

Auteur(s): 
A.W.P. Bakkers, Universiteit Twente, Enschede
E.J.H. Pepels, Open universiteit, Heerlen
D.C. van Oosten, Open universiteit, Heerlen
J. Stolk, Open universiteit, Heerlen
Samenvatting: 

De algemene tendens is de verplaatsing van de verwerkingscapaciteit naar het bureau. Het mainframe is uit, behalve voor administratie. Gezien het belang van massaal parallelle systemen als supercomputers van de nabije toekomst dienen universiteiten grote aandacht te geven aan de gebruiksmogelijkheden van dergelijke systemen. In het verlengde hiervan dienen landelijke cursussen te worden georganiseerd, waarin wordt geleerd hoe rekenmodellen worden opgezet uitgaande van de beschikbaarheid van massaal parallelle computers.

Tentamens opstellen volgens plan

Auteur(s): 
N.M. van Diepen, Faculteit Informatica, Universiteit Twente, Enschede
H.J.G. Bonnes, Faculteit Informatica, Universiteit Twente, Enschede
G. Moerkerke, Onderwijskundig Centrum, Universiteit Twente, Enschede
H.J. Roossink, Onderwijskundig Centrum, Universiteit Twente, Enschede
Samenvatting: 

Het opstellen van een tentamen is voor menig docent een heikele aangelegenheid. Voldoet het tentamen wel aan te stellen eisen?
Bij het vak Inleiding Programmeren is een methode ontwikkeld om tentamenopgaven te maken en tentamens samen te stellen. Met deze methode hebben docenten houvast bij het beoordelen van validiteit en representativiteit van het tentamen.
De methode is algemeen toepasbaar.

Informatiekunde, een avontuurlijk vak

Auteur(s): 
D.A.C.M. Bakker, Amsterdamse Academie voor Bank en Financien
Samenvatting: 

Het vak informatiekunde in de propedeutische fase in het hoger onderwijs leent zich bij uitstek voor het bevorderen van een probleemgerichte, integratieve en communicatieve houding van studenten. Een dergelijke onderwijsopzet bevordert de deelname van meisjes aan het informatica-onderwijs en werkt mee aan het creëren van een actieve studiehouding.

Equivalentie van gegevensschema's op basis van informatiewaarde

Auteur(s): 
L.M.M. Dicker, HEAO Sittard
K.A.M. Lemmen, Open universiteit, Heerlen
Samenvatting: 

Tijdens het ontwerpen van een informatiesysteem treedt het probleem op dat voor hetzelfde objectsysteem meer dan één gegevensschema geconstrueerd kan worden. Een omgeving waar dit probleem zich duidelijk voordoet, is de onderwijssituatie. Tijdens practica worden door verschillende groepen studenten vaak verschillende gegevensschema's ontworpen van eenzelfde casus. De beoordelaars van deze schema's worden geconfronteerd met het probleem om te bepalen of de ontworpen schema's wel of niet gelijk zijn.

Een raamwerk voor modulen en examens van Stichting EXIN

Auteur(s): 
P.P. Cras, Stichting EXIN, Utrecht
Samenvatting: 

Het beeld van aanbieders van opleidingen en van opleidingen zelf is drastisch gewijzigd ten opzichte van vijf jaar geleden. De mogelijkheden van het volgen van opleidingen zijn enorm toegenomen, zowel naar inhoud als naar keuze van het type en de vorm van opleiding. Stichting EXIN heeft in haar geledingen een beleidsdiscussie gevoerd en vervolgens wegen uitgezet die in de komende periode bewandeld moeten worden om haar maatschappelijke functie te kunnen blijven waarmaken.

Het ontwerpen van parallelle algoritmen

Auteur(s): 
Th.G. Cats, Hogeschool Eindhoven, Eindhoven
Samenvatting: 

In de post-HBO-cursus 'Parallel Processing' wordt een nieuwe ontwerpmethode voor parallelle algoritmen gebruikt. De resulterende algoritmen kunnen op verschillende wijzen geïmplementeerd worden. Communicatie vindt plaats door het uitwisselen van boodschappen.
De deelnemer aan de minicursus neemt kennis van deze ontwerpmethode en krijgt opgaven voorgelegd om de methode zelf uit te proberen.

Pagina's

Subscribe to RSS - WO