Studiegids 2005-2006 Faculteit Informatica - Open Universiteit ...

OUN
blad: 52/78
Studiegids faculteit Informatica
Een praktische toepassing is bijvoorbeeld de beeldopbouw voor een vluchtsimulator, waar miljarden bewerkingen met
matrices nodig zijn.
De achterliggende meetkundige principes voor het werken met vectoren komen uitvoerig aan de orde.
Generalisatie naar andere dan meetkundige ruimten, met de ons zo vertrouwde vectorentoepassingen, komt in het
tweede cursusdeel aan de orde. Dat is bijvoorbeeld weer van belang voor de in de techniek en datacompressie
veelgebruikte fourieranalyse.
Tenslotte is er nog een andere toepassing: het zo goed mogelijk bepalen van een lineaire vergelijking passend bij een
gegeven set meetpunten: de LKK-methode (kleinste-kwadraten).
Voorkennis
Kennis en ervaring met wiskunde op havo-niveau. Als u de cursus Discrete wiskunde A heeft gevolgd, beschikt u over
voldoende basisvaardigheden. Daarnaast is bekendheid met differentiëren, integratie en eenvoudige
differentiaalvergelijkingen een voordeel. Hiervoor is de cursus Continue wiskunde 1 voldoende.
Begeleiding
Dhr. drs. J. Timmerman.
www.studieaanbod.ou.nl/T25221.htm
B2 Logica en informatica
Cursuscode: T41221
Cursusniveau: 2
Studielast: 1 module
De logica houdt zich sinds oudsher bezig met onderzoek naar correct redeneren. Al in de Middeleeuwen werden de
eerste pogingen gedaan tot het bouwen van 'redeneermachines', de voorlopers van onze computer. Tegenwoordig is
informatica een belangrijk toepassingsgebied van de logica. In het eerste blok van de cursus leert u werken met een
formele taal: de propositielogica. Met behulp van semantische tableaus kunt u onderzoeken of een formule een geldig
gevolg is van een verzameling aannames. Een andere weg om een relatie tussen formules vast te stellen, is via
axiomatische afleidingen. In het tweede blok wordt deze taal uitgebreid met predikaten, waarmee eigenschappen van
individuen kunnen worden vastgelegd. U maakt kennis met twee belangrijke toepassingen in de informatica: de Hoarecalculus
waarmee correctheid van programma's bewezen kan worden, en het logisch programmeren, een
programmeerparadigma dat binnen kunstm atige intelligentie gebruikt wordt.
Voorkennis
In de cursus wordt een basiskennis wiskunde voorondersteld, die gedekt wordt door de inhoud van de cursussen
Discrete wiskunde A en B.
Begeleiding
Mw. drs. J. Lodder.
www.studieaanbod.ou.nl/T41221.htm
B Management en ict; een introductie
Cursuscode: B12131
Cursusniveau: 1
Studielast: 1 module
In deze cursus komen de belangrijkste aspecten aan bod waarmee het management van elke organisatie in aanraking
komt bij het nemen van beslissingen over de inzet van specifieke informatiesystemen en informatietechnologie. Met de
opgedane kennis is het mogelijk, op basis van een zelfstandige analyse, aan te geven op welke wijze
informatiesystemen ingepast kunnen worden in een bepaalde organisatie. De cursus bestaat uit vier blokken. In het
eerste blok worden de bedrijfsprocessen belicht aan de hand van het Work Centered Analysis -raamwerk. De interne en