Informatica BSc Vrije Universiteit Amsterdam - Faculteit der Exacte Wetenschappen - B Informatica

Informatica BSc Vrije Universiteit Amsterdam - Faculteit der Exacte Wetenschappen - B Informatica - 2011-2012

Vrije Universiteit Amsterdam - Faculteit der Exacte Wetenschappen - B Informatica - 2011-2012

I

Informatica houdt zich bezig met een gevarieerd pakket aan methoden, inzichten en vaardigheden die te maken hebben met de werking en de toepassingen van computers. De bacheloropleiding is daarom technisch van karakter, maar ook zeer breed. De technische kant van de studie behelst zaken als programmeren, bedrijfssystemen, computernetwerken, datastructuren, de theoretische onderbouwing van de informatica en het gebruik van wiskunde en logica. In de kern van de informatica staan verder methodologische disciplines, zoals software engineering, conceptuele modellering en specificatiemethoden. Dan is er een rijk gevarieerd scala van toepassingen: onder meer parallel rekenen, visualisatie, security, gegevensverwerking, internet- en webtoepassingen, electronic commerce, multimedia, protocolverificatie en bedrijfskundige aspecten, die in de masteropleiding aan bod komen. Tijdens je studie zul je met allerlei onderwijsvormen worden geconfronteerd, afhankelijk van de vakken die je op dat moment aan het doen bent. Naast hoorcolleges zul je ook te maken krijgen met instructiepractica, programmeropdrachten, projecten, het schrijven van verslagen en scripties en het houden van presentaties. Behalve op het leren van de theorie zelf bereiden ze je voor op de vaardigheden die je straks op de arbeidsmarkt nodig hebt. Meer opleidingsinformatie is te vinden op de de FEW-website. Een complete beschrijving van deze opleiding is te vinden in de Onderwijs- en Examenregeling op de FEW-website. Klik op de onderstaande links om informatie over de vakken te bekijken. Voor meer informatie over de opleiding zelf kun je terecht bij je studieadviseur.


II

Inhoudsopgave

Honours programma

1

Specialisatie Kunstmatige Intelligentie

1

Eerste jaar bachelor Informatica

1

Verplichte keuze 1 uit 2

1

Verplichte vakken

1

Verplichte algemene onderdelen

2

Tweede jaar bachelor Informatica

2

Verplichte vakken

2

keuzeblok 2.2

3

keuzeblok 2.5

3

Derde jaar bachelor Informatica

3

Individuele vakken

4

Vrije keuze

4

Verplichte vakken

4

Verplichte keuzevakken

4

keuzeblok 3.2

5

keuzeblok 3.5

5

Vak: Algemene Methoden van Onderzoek

5

Vak: Automaten en complexiteit

6

Vak: Bachelorproject Informatica

7

Vak: Bedrijfsmodellering en requirements engineering

8

Vak: Blusinstructie: Theorie: S&F/N&S/W/I/SBI gelijktijdig in Q1

9

Vak: Collective Intelligence

9

Vak: Computer Systems

10

Vak: Computernetwerken

11

Vak: Concurrency & Multithreading

12

Vak: Databases

13

Vak: Datastructuren en algoritmen

14

Vak: Empirische methoden

14

Vak: Equationeel programmeren

15

Vak: Graven in grafen

16

Vak: Human-Computer Interaction

18

Vak: Information Retrieval

19

Vak: Inleiding codering en discrete wiskunde

20

Vak: Inleiding programmeren

21

Vak: Introductie bijeenkomst I/AI/IMM (hierin RSI-voorlichting opnemen)

21

Vak: Logica en modelleren

21

Vak: Logische structuren

22

Vak: Maatschappelijke aspecten van wetenschap

23

Vak: Machine Learning

24

Vak: Mentoraat / Tutoraat

25

Vak: Online informatiesystemen

25

Vak: Pervasive Computing

26


III

Vak: Privacy en beveiliging

27

Vak: Probleemoplossen

28

Vak: Project applicatieontwikkeling

29

Vak: Project interactive multimedia

29

Vak: Project Programmeren

30

Vak: Project Websystemen

31

Vak: Research Questions in Bioinformatics

31

Vak: Ruimtelijk redeneren

33

Vak: Security Engineering

33

Vak: Seminar

33

Vak: Software Modelling

34

Vak: Systems Programming

35

Vak: Verzamelingen en relaties

35

Vak: Voortgezet programmeren

36

Vak: Web-gebaseerde kennisrepresentatie

37

Vak: Webtechnologie

38

Vak: Wetenschapsgeschiedenis

38

Vak: Wijsbegeerte

39


IV

Honours programma

Specialisatie Kunstmatige Intelligentie

Eerste jaar bachelor Informatica Eerste jaar voor studenten gestart in 2011/2012 Het doel van het onderwijs in het eerste jaar is meerledig. Enerzijds is het de bedoeling om de student een aantal basisvaardigheden bij te brengen die in de latere jaren in verschillende vakken onmisbaar zijn. Hieronder vallen onder andere de vakken die zich bezighouden met onderwerpen uit de logica en de wiskunde, terwijl de studenten ook vertrouwd worden gemaakt met het door de faculteit gebruikte computersysteem en de principes van het programmeren. Anderzijds hebben verschillende vakken tot doel om een inleiding te geven in de hoofdstromen van de informatica, zodat de student een globaal beeld krijgt van wat de opleiding Informatica te bieden heeft. Opleidingsdelen: - Verplichte keuze 1 uit 2 - Verplichte vakken - Verplichte algemene onderdelen

Verplichte keuze 1 uit 2 Verplichte keuze 1 van de 2 vakken Vakken:

Naam

Periode

Credits

Code

Project applicatieontwikkeling

Periode 6

6.0

X_400556

Project interactive multimedia

Periode 6

6.0

X_400557

Naam

Periode

Credits

Code

Algemene Methoden van Onderzoek

Periode 5

3.0

P_BMETHOD_AI

Graven in grafen

Periode 4

6.0

X_401010

Inleiding programmeren

Periode 2, Periode 4

6.0

X_400554

Verplichte vakken Vakken:


6-3-2013 - Pagina 1 van 40

Logische structuren

Periode 2

3.0

X_400549

Online informatiesystemen

Periode 5

6.0

X_400551

Pervasive Computing

Periode 4

6.0

X_400552

Privacy en beveiliging

Periode 1

3.0

X_400553

Probleemoplossen


3.0

X_400475

Project Programmeren

Periode 5

3.0

X_400559

Verzamelingen en relaties


3.0

X_400564

Webtechnologie

Periode 3

6.0

X_400488

Credits

Code

Blusinstructie: Theorie: Periode 1 S&F/N&S/W/I/SBI gelijktijdig in Q1

0.0

X_000003

Introductie bijeenkomst I/AI/IMM (hierin RSIvoorlichting opnemen)

Periode 1

0.0

X_000006

Mentoraat / Tutoraat

Semester 1

0.0

X_000008

Verplichte algemene onderdelen Vakken:

Naam

Periode

Tweede jaar bachelor Informatica Tweede jaar voor studenten gestart in 2010/2011 In het tweede jaar wordt bij de hoorcolleges als regel een vorm van begeleiding geboden in de vorm van een werkcollege, vragenuur of werkbespreking. De organisatie hiervan is minder strak dan in het eerste jaar; er wordt van uitgegaan dat een student deze activiteiten op waarde weet te schatten en ze benut. Opleidingsdelen: - Verplichte vakken

Verplichte vakken Opleidingsdelen: - keuzeblok 2.2 - keuzeblok 2.5 Vakken:

Naam

Periode

Credits

Code

Computernetwerken

Periode 3

6.0

X_400487

Databases

Periode 4

6.0

X_401008


6-3-2013 - Pagina 2 van 40

Datastructuren en algoritmen

Periode 1

6.0

X_400614

Logica en modelleren

Periode 1

6.0

X_401015

Project Websystemen

Periode 6

3.0

X_401033

Ruimtelijk redeneren

Periode 5

3.0

X_401034

Seminar

Periode 6

3.0

X_401035

Software Modelling

Period 4

6.0

X_401016

Voortgezet programmeren

Periode 2

6.0

X_400561

Wijsbegeerte

Periode 5

3.0

X_400433

keuzeblok 2.2 Periode 2. Verplichte keuze uit één van de volgende vakken Vakken:

Naam

Periode

Credits

Code

Collective Intelligence

Periode 4, Periode 5, Periode 6

6.0

X_401047

Equationeel programmeren Periode 2

6.0

X_401011

Web-gebaseerde kennisrepresentatie

Periode 2

6.0

X_400083

Naam

Periode

Credits

Code

Computer Systems

Period 5

6.0

X_401030

Human-Computer Interaction

Period 5

6.0

X_400432

keuzeblok 2.5 Verplichte keuze van 6 ects Vakken:

Derde jaar bachelor Informatica Derde jaar voor studenten gestart in 2009/2010 In het derde jaar, en wel met name in de laatste helft daarvan, worden meer keuzemogelijkheden aangeboden. Dit heeft te maken met de keuze die de student moet doen voor een specialisatie in de masteropleiding. Het derde jaar wordt afgesloten met een bachelorproject, korte case studie of individueel project van 6 sp zoveel mogelijk aansluitend bij het in het vervolgtraject gewenste specialisatiegebied. De in het programma aanwezige keuzeruimte moet zo worden ingevuld dat het totaal aantal studiepunten in het bachelorprogramma minimaal 180 stp bedraagt. Voor de invulling van de keuzeonderdelen is de goedkeuring van de examencommissie vereist. Vrije Universiteit Amsterdam - Faculteit der Exacte Wetenschappen - B Informatica - 2011-2012

6-3-2013 - Pagina 3 van 40

Opleidingsdelen: - Individuele vakken - Vrije keuze - Verplichte vakken

Individuele vakken

Vrije keuze Mogelijke invulling van de vrije keuzeruimte Vakken:

Naam

Periode

Credits

Code

Machine Learning

Periode 4

6.0

X_400154

Research Questions in Bioinformatics

Ac. Jaar (september)

6.0

X_401081

Naam

Periode

Credits

Code

Automaten en complexiteit

Periode 1

6.0

X_401049

Bachelorproject Informatica Ac. Jaar (september)

9.0

X_401050

Bedrijfsmodellering en requirements engineering


6.0

X_401005

Empirische methoden

Periode 4

6.0

X_401020

Security Engineering

Periode 3

6.0

X_401045

Verplichte vakken Opleidingsdelen: - Verplichte keuzevakken - keuzeblok 3.2 - keuzeblok 3.5 Vakken:

Verplichte keuzevakken Verplichte keuze van één van beide vakken. Vakken:

Naam

Periode

Credits

Code

Maatschappelijke aspecten van wetenschap


3.0

X_400305


6-3-2013 - Pagina 4 van 40

Wetenschapsgeschiedenis


3.0

X_400318

keuzeblok 3.2 Verplichte keuze van 2 van de volgende vakken Vakken:

Naam

Periode

Credits

Code

Collective Intelligence


6.0

X_401047

Equationeel programmeren Periode 2

6.0

X_401011

Information Retrieval

Period 2

6.0

X_400435

Systems Programming

Period 2

6.0

X_400377

Web-gebaseerde kennisrepresentatie

Periode 2

6.0

X_400083

keuzeblok 3.5 Verplichte keuze uit één van de volgende vakken Vakken:

Naam

Periode

Credits

Code

Computer Systems

Period 5

6.0

X_401030

Concurrency & Multithreading

Period 5

6.0

X_401031

Human-Computer Interaction

Period 5

6.0

X_400432

Inleiding codering en discrete wiskunde

Periode 5

6.0

X_401059

Algemene Methoden van Onderzoek Vakcode

P_BMETHOD_AI (811028)

Periode

Periode 5

Credits

3.0

Voertaal

Nederlands

Faculteit

Faculteit der Psychologie en Pedagogiek

Coördinator

prof. dr. J.L. Theeuwes

Docent(en)

dr. W. Donk

Lesmethode(n)

Hoorcollege

Doel vak Kennismaking met de methoden van empirisch onderzoek met de bedoeling de student in staat te stellen onderzoek in methodologisch opzicht te evalueren.


6-3-2013 - Pagina 5 van 40

Inhoud vak Aan de orde komen: - wetenschapstheorie; - logische redeneringen; - beschrijvend, relationeel en experimenteel onderzoek; - empirische cyclus; - meetschalen; - betrouwbaarheid; - validiteit; - steekproef en populatie; - onafhankelijke, afhankelijke en controle variabelen; - contaminerende variabelen; random error; - binnen-proefpersonen en tussen-proefpersonen designs; - factoriële, kleine-N en quasi-experimentele designs. Onderwijsvorm Hoorcolleges en BlackBoard quizzes. De cursus bestaat uit 6 hoorcolleges. Studenten kunnen zelfstandig oefenen met de collegestof aan de hand van vragen die middels BlackBoard quizzes zullen worden aangeboden. Studenten zullen steeds feedback krijgen over hun prestatie na het maken van deze BlackBoard quizzes. Toetsvorm Tentamen (multiple choice) Literatuur Elmes, D.G., Kantowitz, B.H., Roediger, H.L. (2006). Research Methods in Psychology (8th Edition). Thompson Wadsworth: Belmont, U.S.A.

Automaten en complexiteit Vakcode

X_401049 (401049)

Periode

Periode 1

Credits

6.0

Voertaal

Nederlands

Faculteit

Faculteit der Exacte Wetenschappen

Coördinator

prof. dr. W.J. Fokkink

Docent(en)


Lesmethode(n)

Hoorcollege, Werkcollege

Doel vak Vertrouwd raken met belangrijke begrippen en algoritmes met betrekking tot formele talen, automaten, grammatica's, compilers, berekenbaarheid en complexiteit. Inhoud vak De volgende onderwerpen komen aan bod: reguliere talen, eindige automaten, contextvrije talen, pushdown automaten, LL en LR parseren, JFLAP tool, Turing machines, context-sensitieve talen, onbeslisbare problemen, complexiteitsklassen P en NP, NP-compleetheid, stelling van Cook, complexiteitsklasse PSPACE, stelling van Savitch, quantumcomputing, quantum-cryptografie.


6-3-2013 - Pagina 6 van 40

De homepage van het vak is http://www.cs.vu.nl/~tcs/ac/ Onderwijsvorm 4 uur per week HC 4 uur per week WC 1 practicum over JFLAP Toetsvorm Schriftelijk tentamen (plus twee collecties inleveropgaven waarmee maximaal 0,5 bonuspunt kan worden verdiend). Literatuur Peter Linz, An Introduction to Formal Languages and Automata, Jones & Bartlett, 3e-4e-5e editie. Aanbevolen voorkennis Datastructuren en Algoritmes Overige informatie De homepage van het vak is http://www.cs.vu.nl/~tcs/ac/

Bachelorproject Informatica Vakcode

X_401050 (401050)

Periode


Credits

9.0

Voertaal

Nederlands

Faculteit


Coördinator

dr. R.C. de Vrijer

Docent(en)

dr. R.C. de Vrijer

Lesmethode(n)

Hoorcollege

Doel vak - de student in aanraking brengen met onderzoek in een deelgebied van de informatica en daar zo mogelijk een bijdrage in laten leveren; - het leren van het (onder begeleiding) zelfstandig uitvoeren van een project; - het presenteren van de gevonden resultaten; - het project kan ook dienen voor orientatie of als voorbereiding op een van de masterspecialisaties. Inhoud vak Het project is bedoeld als afsluiting van de bachelorstudie informatica en heeft een invulling die verschilt per student en per onderzoeksgroep, altijd in overeenstemming met de begeleider. Een student kan daarvoor een keuze maken uit onderwerpen die worden aangeboden, maar eventueel ook zelf een onderwerp voorstellen. Lees de handleiding bachelorproject aandachtig door voor een goed begrip van de gang van zaken. Onderwijsvorm Elk jaar zijn er twee gelegenheden het Bachelorproject Informatica af te leggen. Beginnen in periode 2, afronden in periode 3 Beginnen in periode 5, afronden in periode 6


6-3-2013 - Pagina 7 van 40

Er zijn orienterende startbijeenkomsten gepland in periode 2 en 5. Daarna gaat de student op zoek naar een begeleider en een onderwerp. Er kan dan meteen al begonnen worden, maar het zwaartepunt van het werk ligt in het algemeen in periode 3 en 6. Het werk aan het project wordt individueel verricht en mondt uit in een verslag en een mondelinge presentatie op het tweemaal jaarlijkse Bachelor Seminar Informatica. Voor meer gedetailleerde informatie en de relevante data raadpleeg de handleiding en de webpagina over het Bachelorproject: http://www.few.vu.nl/nl/studenten/bacheloropleidingen/informatica/progra mma-derde-jaar/webpagina-bachelorproject/index.asp Toetsvorm Individuele beoordeling op basis van werkstuk en mondelinge presentatie. Meer bijzonderheden vind je in de handleiding. Vereiste voorkennis Studenten kunnen dit vak doen als de overige vakken van het bachelorprogramma (vrijwel) zijn afgerond. Doelgroep 3I Overige informatie Bachelorcoördinatoren en websites van de secties Computersystemen: Guillaume Pierre Software Engineering: Hans van Vliet http://www.cs.vu.nl/en/research/information-management-softwareengineering/research-projects/index.asp en http://www.cs.vu.nl/~se/projects/thesis.xml Theoretische Informatica: Femke van Raamsdonk http://www.cs.vu.nl/~tcs/bp/ Kunstmatige Intelligentie: Mark Hoogendoorn http://www.few.vu.nl/~mhoogen/ Bedrijfsinformatica: Jaap Gordijn http://www.gordijn.org/ Bioinformatica: Jaap Heringa http://www.cs.vu.nl/~heringa/ Belangrijke informatie: - handleiding bachelorproject http://www.cs.vu.nl/~rdv/bp/bp-handleiding.html - planner http://www.cs.vu.nl/~rdv/bp/planner-bpi.pdf

Bedrijfsmodellering en requirements engineering Vakcode

X_401005 (401005)

Periode


Credits

6.0

Voertaal

Nederlands

Faculteit


Coördinator

prof. dr. A.T. Schreiber

Lesmethode(n)

Hoorcollege


6-3-2013 - Pagina 8 van 40

Doel vak Na dit vak is de student in staat: - een probleem- en veranderingsanalyse uit te voeren met betrekking tot een IT vraagstuk in een bedrijfsmatige context; - op modelmatige wijze in kaart te brengen hoe een informatiesysteem als oplossing past in bedrijfsstrategie en bedrijfsproces; - verschillende methodieken toe te passen voor het eliciteren van door de organisatie te stellen eisen aan een te ontwikkelen informatiesysteem. Inhoud vak Het vak BedrijfsModellering en Requirements Engineering (BMRE) behandelt de analyse van bedrijfsvraagstukken, waarbij introductie of uitbreiding van een informatiesysteem een van de mogelijke oplossingen is. Dit omvat de activiteiten en methodieken die nodig zijn om: (1) een probleemanalyse uit te voeren met betrekking tot IT vraagstukken in een bedrijfsmatige context; (2) te modelleren hoe een gewenst informatiesysteem past in het bedrijfsproces en aan te geven welke eventuele veranderingen daarbij wenselijk zijn; (3) het ontwikkelen en toetsen van het te stellen pakket van eisen aan een te bouwen informatiesysteem. Onderwijsvorm Het vak bestaat uit een college met een tentamen en een practicum. Beide moeten voldoende zijn. Literatuur Syllabus. Doelgroep 2IMM, 3BA, 3I

Blusinstructie: Theorie: S&F/N&S/W/I/SBI gelijktijdig in Q1 Vakcode

X_000003 ()

Periode

Periode 1

Credits

0.0

Voertaal

Nederlands

Faculteit


Lesmethode(n)

Hoorcollege

Collective Intelligence Vakcode

X_401047 (401047)

Periode


Credits

6.0

Voertaal

Nederlands

Faculteit


Docent(en)

dr. M.C. Schut

Lesmethode(n)

Hoorcollege


6-3-2013 - Pagina 9 van 40

Doel vak De doelstelling van het college is het verwerven van basiskennis betreffende collectief-intelligente en zelf-organiserende systemen en het opdoen van programmeervaardigheden voor het toepassen van collectieve intelligentie. Inhoud vak In deze cursus beschouwen we complexe systemen waar geordend gedrag spontaan optreedt. Typerend voor zulke systemen is dat ze bestaan uit vele simpele en interacterende componenten. Het gedrag van het systeem als geheel komt voort uit de interactie van de componenten. Er zijn tal van voorbeelden van dit soort systemen zoals zwermen vogels, ecologische systemen in de natuur, de vrije markt economie en sociaal gedrag van groepen mensen. Het eerste deel van de cursus concentreert zich op het programmeren van collectieve intelligentie voor sociale netwerken en media - zoals bijvoorbeeld collaborative filtering, social bookmarking, en het maken van een recommendation-engine. In het tweede deel van de cursus zal aandacht worden besteed aan het analyseren van collectiefintelligente en zelf-organiserende 1) systemen, zoals verkeer en insecten kolonies, en 2) algoritmen, zoals particle swarm optimisation en self-organising maps. In het laatste deel van de cursus combineren we de voorgaande delen door de collectief-intelligente algoritmen te gebruiken voor toepassingen in sociale netwerken en media. Onderwijsvorm Hoorcollege. Toetsvorm Opdrachten en schriftelijk rapport. Literatuur Toby Segeran, Programming Collective Intelligence, O'Reilly Media, 2007. Doelgroep 2I, 3LI, 3I

Computer Systems Course code

X_401030 (401030)

Period

Period 5

Credits

6.0

Language of tuition

English

Faculty


Coordinator

dr. G.E.O. Pierre

Teaching staff

dr. G.E.O. Pierre, dr. S. Voulgaris

Teaching method(s)

Lecture, Seminar

Course objective To give insight into the connection between low-level computer hardware, operating systems, and high-level software. Course content The programs we use every day are written in high-level languages such as Java,. NET, or C, and make use of various services provided by the Vrije Universiteit Amsterdam - Faculteit der Exacte Wetenschappen - B Informatica - 2011-2012

6-3-2013 - Pagina 10 van 40

operating system. However, the connection between this high level and hardware such as transistors, chips and wires is often more mysterious. Everybody knows that a CPU can do arithmetic calculations and that we can store data in memory, but how does this actually works? How can a processor carry out instructions? Why do certain programming styles create faster programs than others? How do different parts of a computer work together? In this course we will discuss these questions and study how high-level software interacts with the operating system and with the low-level hardware. At the end of this course students should have a full picture of how a computer actually works. During the course we will encounter a series of fundamental concepts that are applicable to many other areas, such as pipelining, Amdahl's law, fault detection and correction, and caching. Form of tuition Lectures (hoorcollege) and labs (werkcollege) Type of assessment Home assignments and a final exam Course reading Structured Computer Organization, Andrew Tanenbaum. Prentice Hall editor, 5th edition. We will also use additional documents that are freely available on the Internet. Entry requirements Reasonable programming skills in Java Preferred: Logische structuren (vakcode 400549). Target group 2I

Computernetwerken Vakcode

X_400487 (400487)

Periode

Periode 3

Credits

6.0

Voertaal

Nederlands

Faculteit


Coördinator

prof. dr. ir. H.J. Bos

Docent(en)

prof. dr. ir. H.J. Bos

Lesmethode(n)


Doel vak Het inzichtelijk maken van de architectuur van computernetwerken en de principes achter communicatie over een netwerk. Inhoud vak De nadruk ligt op fundamentele begrippen in digitale communicatie, waarbij data wordt overgestuurd van A naar B via een aantal lagen die verschillende abstracties implementeren. Op de hogere lagen hebben we het over webpagina's, emails, en dergelijke, maar op het lagere niveau worden deze omgezet in netwerkpakketjes en uiteindelijk signalen over fysieke media (bijvoorbeeld lichtpulsen, electrische signalen of radio-


6-3-2013 - Pagina 11 van 40

transmissies). Deze gelaagde opbouw met steeds verdergaande abstrahering en 'separation of concerns' is een fundamentele aanpak die je in vele hoeken van Informatica tegenkomt. Daarbinnen moeten vervolgens elementaire vragen beantwoord worden zoals: welke route moet data volgen door het netwerk, wat doen we als er fouten optreden, hoe verbinden we twee totaal verschillende netwerken, enz. Onderwerpen die aan de orde komen zijn: de fysieke laag, de datalinklaag, de netwerklaag, de transportlaag en de applicatielaag. De focus van het vak ligt sterk op het Internet en de daarbinnen populaire protocollen (zoals TCP, UDP, Ethernet, Wifi, etc. ). Onderwijsvorm Hoorcollege en werkcollege Literatuur James F. Kurose Keith W. Ross, Computer networking - a top-down approach, 5/e. Pearson, ISBN: 0-13-607967-9 Doelgroep 2I, 2IMM Overige informatie Actuele informatie over het vak is te vinden op: http://www.cs.vu.nl/~herbertb/courses/cn/

Concurrency & Multithreading Course code

X_401031 (401031)

Period

Period 5

Credits

6.0

Language of tuition

English

Faculty


Coordinator


Teaching staff


Teaching method(s)

Lecture, Seminar

Course objective This course provides a comprehensive presentation of the foundations and programming principles for multicore machines. Course content Shared memory, mutual exclusion, synchronization operations, concurrent data structures, scheduling, transactional memory, multithreaded programming. Form of tuition 4 hours per week HC 4 hours per week WC 2 labs Type of assessment Written exam (which counts for 80% of the final mark) and two small programming assignments (which together count for 20% of the final mark).


6-3-2013 - Pagina 12 van 40

Course reading Maurice Herlihy, Nir Shavit, The Art of Multiprocessor Programming, Morgan Kaufmann, 2008. Target group 3I Remarks The homepage of the course is at http://www.cs.vu.nl/~tcs/cm/ The lectures and written exam of the BSc and MSc variant of Concurrency & Multithreading coincide. The difference is that the BSc variant has two small programming assignments, while the MSc variant has one small and one large programming assignment. The MSc variant of this course cannot be followed by students that included the BSc variant in their BSc program.

Databases Vakcode

X_401008 (401008)

Periode

Periode 4

Credits

6.0

Voertaal

Engels

Faculteit


Coördinator

dr. P.A. Boncz

Docent(en)

dr. P.A. Boncz

Lesmethode(n)

Hoorcollege, Practicum

Doel vak Het bijbrengen van kennis en vaardigheden met betrekking tot het ontwerp van relationele databases en het gebruik van relationele DBMS'en. Inhoud vak In dit college worden enkele algemene principes en belangrijke aspecten van relationele database management systemen (DBMS- en) behandeld. Ter sprake komen onder meer de begrippen: UML Class diagrams, het relationele model, database ontwerp en normalisatie, integriteitseisen, SQL en de tupelcalculus. Vervolgens worden nog enkele meer gespecialiseerde onderwerpen geselecteerd, zoals bijv. transacties en concurrency control. Onderwijsvorm Als aanvulling op het hoorcollege is er een verplicht practicum. Literatuur Database Systems The Complete Book Hector Garcia-Molina & Jeffrey D. Ullman & Jennifer Widom Aanbevolen voorkennis vereiste voorkennis: Logische taal en redeneermethoden (400043)


6-3-2013 - Pagina 13 van 40

Doelgroep 2I, 2-IMM, 2LI

Datastructuren en algoritmen Vakcode

X_400614 (400614)

Periode

Periode 1

Credits

6.0

Voertaal

Nederlands

Faculteit


Coördinator

dr. F. van Raamsdonk

Docent(en)

dr. F. van Raamsdonk

Lesmethode(n)


Doel vak Het vertrouwd worden met de ontwerp-principes en complexiteit van operaties en algoritmes op diverse datastructuren. Inhoud vak We behandelen elementaire datastructuren zoals stacks, queues, trees, heaps, hash tables. Het college gaat verder voornamelijk over operaties en algoritmes op deze datastructuren, zoals het sorteren van lijsten, het vinden van kortste paden in grafen, het zoeken van een patroon in een tekst. Aan de hand van voorbeelden komen de ontwerp-principes van gulzige algoritmen, verdeel-en-heers algoritmen, en dynamisch programmeren aan bod. Om de algoritmes te kunnen vergelijken bestuderen we ook de complexiteit, meestal in termen van grote-O en grote-Theta. Onderwijsvorm Per week twee keer twee uur hoorcollege en een keer twee uur werkcollege. Toetsvorm Schriftelijk tentamen, plus voortentamen, plus eventueel aanvullende schriftelijke opdrachten. Literatuur Algorithm Design Foundations, Analysis, and Internet Examples, Michael T. Goodrich and Roberto Tamassia. John Wiley & Sons, Inc., 2002 ISBN: 0-471-38365-1 Aanbevolen voorkennis Inleiding Programmeren II (400151) Doelgroep 2I, 2LI, 2BA, 2IMM, 3LI, 3W, 3Ect

Empirische methoden Vakcode

X_401020 (401020)

Periode

Periode 4

Credits

6.0

Voertaal

Nederlands


6-3-2013 - Pagina 14 van 40

Coördinator

prof. dr. M.C.M. de Gunst

Docent(en)

prof. dr. M.C.M. de Gunst

Lesmethode(n)


Doel vak Studenten vertrouwd maken met statistisch onderzoeken, met enkele data analyse technieken en het toepassen hiervan met behulp van het statistisch pakket R, en met de presentatie en interpretatie van de resultaten. Dit alles op basis van minimale wiskundige voorkennis. Inhoud vak - samenvatten van gegevens; - basis kansrekening; - de normale verdeling; - schatten van gemiddelden en fracties; - toetsen van hypothesen; - twee-steekproeven problemen; - correlatie en lineaire regressie; - kruistabellen. Onderwijsvorm College, werkcollege en computerpracticum. Toetsvorm Schriftelijk tentamen en huiswerkopdrachten Literatuur Bennett, Briggs and Triola, Statistical Reasoning for Everyday Life, 3rd edition. Doelgroep 2LI, 3I, 3-IMM

Equationeel programmeren Vakcode

X_401011 (401011)

Periode

Periode 2

Credits

6.0

Voertaal

Nederlands

Faculteit


Coördinator

dr. R.C. de Vrijer

Docent(en)

dr. R.C. de Vrijer

Lesmethode(n)

Hoorcollege, Werkcollege, Practicum

Doel vak Kennismaking met functioneel programmeren en zijn grondslagen via lambda calculus (reductie, reductiestrategieen, coderen van datatypen), equationele specificaties (initieel model, initiele algebra), practicum functioneel programmeren (in Haskell). Inhoud vak Centraal in dit college staan vergelijkingen. Die kunnen worden gebruikt in de specificatie van een datatype, maar ook worden opgevat als rekeninstructies. Vrije Universiteit Amsterdam - Faculteit der Exacte Wetenschappen - B Informatica - 2011-2012

6-3-2013 - Pagina 15 van 40

In een equationele specificatie wordt een datastructuur vastgelegd door een stelsel vergelijkingen. Een belangrijke rol wordt daarbij gespeeld door de equationele logica en de notie van initieel model. Het programmeeraspect van vergelijkingen wordt ten volle benut in de functionele programmertalen. De basis daarvan wordt gevormd door de lambda calculus, met fundamentele noties zoals: typering, evaluatiestrategieen, fixed points, recursie. In het practicum werken we met de functionele programmeertaal Haskell. De practicumopdrachten sluiten aan bij wat behandeld wordt aan lambda calculus en equationele specificaties. Je zult ontdekken hoe verrassend eenvoudig het kan zijn met vergelijkingen een spel als Life te programmeren.

Onderwijsvorm 2 uur per week hoorcollege, 2 uur per week werkcollege, 2 uur per week practicum Toetsvorm Schriftelijk tentamen. De practicum-opgaven functioneel programmeren moeten met een voldoende zijn afgerond om het tentamen te kunnen doen Literatuur Collegedictaat. Aanbevolen voorkennis Logica en modelleren Doelgroep 2I, 3I Overige informatie Dit college vervangt het eerdere college Inleiding Theoretische Informatica.

Graven in grafen Vakcode

X_401010 (401010)

Periode

Periode 4

Credits

6.0

Voertaal

Nederlands

Faculteit


Coördinator

prof. dr. ir. M.R. van Steen

Docent(en)

prof. dr. ir. M.R. van Steen

Lesmethode(n)


Doel vak Aan het eind van deze cursus ben je in staat om een beschrijving geven van (de wetenschap van) netwerken, gebruik makend van basisbegrippen uit de grafentheorie en de kansrekening. Je zult eenvoudige wiskunde kunnen gebruiken voor notaties en bewijsvoeringen. In het bijzonder kun je: - situaties uit de werkelijkheid modelleren in termen van grafen en


6-3-2013 - Pagina 16 van 40

netwerken - de (on)juistheid van wiskundig geformuleerde, eenvoudige uitspraken over grafen aantonen in de vorm van een formeel wiskundig bewijs - eenvoudige analyses van netwerken uitvoeren en netwerken construeren met behulp van het softwarepakket Mathematica - inleidende (wetenschappelijke) literatuur over netwerken beoordelen op relevantie en samenvatten Inhoud vak De wereld om ons heen raakt steeds meer verbonden: we weten elkaar te vinden via het Web, smartphones maken dat je altijd en overal te bereiken bent, navigatiesystemen leiden ons met gemak naar onze bestemming, het Internet als *het* communicatienetwerk raakt steeds verder en beter verspreid, het ontwikkelen en verspreiden van software gebeurt steeds vaker in ad hoc teams van programmeurs, steeds meer bedrijven hebben zich als een netwerk van kleinere eenheden georganiseerd (en dikwijls weer via het Internet). Deze verhoogde verbondenheid leidt tot nieuwe fenomenen die soms moeilijk te begrijpen zijn: - waarom is het zo lastig om gegevens van het Web te halen? - hoe kan het toch zijn dat het Internet ondanks verschillende (natuur)rampen toch blijft functioneren? - waarom zijn zoekmachines als Google dikwijls nog steeds zo effectief? - hoe is het mogelijk dat navigatiesystemen zo snel een beste route kunnen berekenen en aan te passen als zich files voordoen? - waarom verspreiden sommige ziektes zich snel en anderen juist niet? De kern voor het beantwoorden van deze vragen ligt in het verschijnsel "netwerk": een wiskundige abstractie voor het modelleren van verbondenheid. Netwerken worden ook wel grafen genoemd. In de laatste tien jaar is de aandacht voor grafen enorm toegenomen: gebleken is niet alleen dat veel verschijnselen gemodelleerd kunnen worden als grafen, maar dat grafentheorie ook juist veel dingen kan verklaren. In deze cursus staat grafentheorie en de toepassing van die theorie centraal. Enerzijds wordt aandacht besteed aan de wiskunde die ten grondslag ligt aan grafen en netwerken; anderzijds zal practische ervaring opgedaan worden met het modelleren en analyseren van verbondenheid met behulp van grafentheorie. Het vak behandelt netwerken als abstractie voor de structuur van hedendaagse interacties zoals die voorkomen binnen o.a. - het Internet - het Web - zogeheten peer-to-peer systemen - biologische netwerken - sociale (online) gemeenschappen Accenten worden gelegd op 1) standaard wiskundige begrippen en technieken die binnen de Vrije Universiteit Amsterdam - Faculteit der Exacte Wetenschappen - B Informatica - 2011-2012

6-3-2013 - Pagina 17 van 40

grafentheorie zijn ontwikkeld zoals: - gerichte en ongerichte grafen - planariteit - graafembedding - lijn- en knoopkleuring - (optimale) wandelingen - bomen 2) Experimentele analyse van netwerken op basis van ruwe gegevens. Hiertoe worden metrieken behandeld, waarmee de relatieve positie van een knoop in een netwerk en de mate van clustering van knopen in een netwerk kunnen worden uitgedrukt. Onderwijsvorm De stof wordt aangeboden in een combinatie van hoor- en werkcolleges en huiswerkopdrachten. Het softwarepakket Mathematica is het gereedschap om netwerken te maken, te analyseren en te visualiseren. Toetsvorm Een combinatie van een schriftelijke toets en huiswerkopgaven. Details worden via www.distributed-systems.net bekend gemaakt. Literatuur Van Steen, M., Graph Theory and Complex Networks: An Introduction. 2010. Online beschikbaar. Aanbevolen voorkennis Veronderstelde voorkennis: Verzamelingen en Relaties (400564). Doelgroep 1I, 1-IMM, 3LI

Human-Computer Interaction Course code

X_400432 (400432)

Period

Period 5

Credits

6.0

Language of tuition

English

Faculty


Coordinator

dr. L.M. Aroyo

Teaching staff

dr. L.M. Aroyo

Teaching method(s)

Lecture, Seminar

Course objective Learn the fundamental concepts of human-computer interaction and user-centered design through hands- on experience in course projects, and supported by lectures and practicum sessions. Learn to evaluate and design useable and effective graphical user interfaces for interactive systems. Course content The lectures in this course will discuss and present examples of concepts and methods in the field of human- computer interaction. The course will outline general usability challenges associated with


6-3-2013 - Pagina 18 van 40

existing case studies. It will also cover in detail the most important methods used in requirements gathering, iterative testing of interfaces, and summative evaluation phases of the user-centered design process. In practicums students will be able to practice the use of relevant methods within the context of the the case study systems. Some of the topics covered in the course are: User Needs Analysis, Conceptual Design, Task Analysis, Mockups and Prototypes, Usability Evaluation. Form of tuition Lectures and; practicums; work in groups. Type of assessment Assignments and examination. Course reading - User Interface Design and Evaluation by Debbie Stone, Caroline Jarrett, Mark Woodroffe, and Shailey Minocha, ISBN 978-0-12-088436-0 - Lecture notes and study guide in http://bb.vu.nl Target group 2IMM, 3LI, 3I, mCS, mIS Remarks Students are required to sign up for this course via TIS (https://tisvu.vu.nl/tis/menu) at least 2 weeks before the course starts. Its possible that this course will be given in Dutch.

Information Retrieval Course code

X_400435 (400435)

Period

Period 2

Credits

6.0

Language of tuition

English

Faculty


Coordinator

dr. W.R. van Hage

Teaching staff

dr. W.R. van Hage

Teaching method(s)

Lecture, Seminar

Course objective The aim of this course is to introduce the basic concepts of Information Retrieval, and to give students the knowledge to adopt and apply existing Information Retrieval tools for practical applications. Course content Information Retrieval is the discipline of providing access to information stored in textual documents within a large collection. In the course, we introduce the basic concepts of Information Retrieval, including representation of documents, retrieval models and algorithms for clustering and classification. Form of tuition 4 hours of lectures/tutorials per week; additional selfstudy and practical work.


6-3-2013 - Pagina 19 van 40

Type of assessment 3 practical assignments (in groups). Entry requirements Programming skills will be an advantage. Target group 3I, 3-IMM, 3LI Remarks Students are required to sign up for this course at least 2 weeks before the course starts.

Inleiding codering en discrete wiskunde Vakcode

X_401059 (401059)

Periode

Periode 5

Credits

6.0

Voertaal

Nederlands

Coördinator

dr. W. Kager

Docent(en)

dr. W. Kager

Lesmethode(n)


Doel vak Ontwikkelen van practische vaardigheden en begrippen op het gebied van Algebra en van Discrete Wiskunde. Inhoud vak * Gehele getallen: ggd en priemgetallen; modulorekenen (Euler phifunctie, Chinese reststelling,..); toepassing op coderen met RSA, Diffie-Hellman sleuteluitwisseling. * Veeltermen, nulpunten, ontbinding in factoren; toepassing op Cyclic Redundancy Check. * Lineaire vergelijkingen (matrixmethode, Gauss eliminatie). * Combinatoriek: tellingen (combinaties, permutaties,..). * Recurrente betrekkingen oplossen: traditioneel met reele getallen, maar ook binair (linear feedback shift registers). * Lineaire foutverbeterende codes: generator- en check matrix, Hamming code. Onderwijsvorm Hoor- en werkcollege, opdrachten met Mathematica. Toetsvorm Schriftelijk tentamen, opdrachten tellen mee. Literatuur Geen.


6-3-2013 - Pagina 20 van 40

Aanbevolen voorkennis Geen.

Inleiding programmeren Vakcode

X_400554 (400554)

Periode


Credits

6.0

Voertaal

Nederlands

Faculteit


Coördinator

ir. M.P.H. Huntjens

Docent(en)

ir. M.P.H. Huntjens

Lesmethode(n)


Doel vak Het doel van de cursus is: algoritmisch leren denken, gestructureerd leren programmeren en het verwerven van inzicht in de manier waarop computers gebruikt kunnen worden om problemen op te lossen. Inhoud vak primitieve types, declaraties, expressies, toekenningsopdracht, keuze-opdrachten, herhalingsopdrachten, methodes, I/O via Printstream en Scanner, arrays, classes, instanties van classes (objecten), standaard classes String, StringBuffer en Math, ontwerpen maken, twee-dimensionale arrays, meerdere objecten tegelijk in een programma gebruiken, recursie en gebruik van grafische interfaces uit een voorgeprogrammeerd package. Onderwijsvorm Hoorcollege met een parallel practicum. Literatuur Walter Savitch, Pearson International Edition, Fourth Edition, ISBN: 978-0-13-136589-6. Doelgroep 1LI-CWI, 1BWI, 1I, 1-IMM, 2LI-HA

Introductie bijeenkomst I/AI/IMM (hierin RSI-voorlichting opnemen) Vakcode

X_000006 ()

Periode

Periode 1

Credits

0.0

Voertaal

Nederlands

Faculteit


Logica en modelleren Vakcode

X_401015 (401015)

Periode

Periode 1

Credits

6.0


6-3-2013 - Pagina 21 van 40

Voertaal

Nederlands

Faculteit


Coördinator

dr. R.C. de Vrijer

Docent(en)

dr. R.C. de Vrijer

Lesmethode(n)


Doel vak Kennis van en vaardigheid met de belangrijkste logische systemen: propositielogica, predikatenlogica, modale logica. Leren deze systemen te hanteren voor het modelleren van bijvoorbeeld kennis of actie. Logisch redeneren, maar ook redeneren over de logica. Inzicht in de grenzen tussen wat wel en wat niet kan met een logisch systeem, bijvoorbeeld qua uitdrukkingskracht of het bestaan van beslissingsalgoritmen. Inhoud vak In het college staan propositielogica en eerste- orde predicatenlogica centraal. Er wordt gewerkt met natuurlijke deductie als bewijssysteem. De relatie tussen semantiek en syntactische methoden is belangrijk, met als kernbegrippen correctheid, consistentie en volledigheid. Daarnaast is er aandacht voor uitdrukkingskracht, bijvoorbeeld bij het formuleren van queries. Algoritmisch is er het contrast tussen de beslisbaarheid van de propositielogica, versus de onbeslisbaarheid van de predikatenlogica (in te zien via een codering van het Post Correspondence Problem). Als variatie op de genoemde logica's wordt de modale logica behandeld, met belangrijke toepassingen in de informatica. Onderwijsvorm Hoorcollege, vraagstukkenpracticum en computerpracticum Literatuur Michael Huth, Mark Ryan, Logic in Computer Science (tweede druk). Cambridge University Press, 2004 ISBN 0 521 54310 X. Aanbevolen voorkennis Logische Structuren of Logische taal en redeneermethoden. Doelgroep 2I, 2LI, 3-IMM Overige informatie Dit college vervangt het eerdere college Inleiding Logica.

Logische structuren Vakcode

X_400549 (400549)

Periode

Periode 2

Credits

3.0

Voertaal

Nederlands

Faculteit


Coördinator

dr. R.C. de Vrijer

Docent(en)

dr. R.C. de Vrijer

Lesmethode(n)



6-3-2013 - Pagina 22 van 40

Doel vak De student vertrouwd maken en leren werken met boolese structuren, in het bijzonder de propositielogica. Logisch en exact redeneren. Inhoud vak Propositielogica, waarheidstafels, logische equivalentie, logisch gevolg, logische puzzels. Boolese functies, functionele volledigheid, Boolealgebra, binary decision diagrams, logische schakelingen. Satisfiability checking, toepassingen van SAT solvers. Predikatenlogica, formules met kwantoren, vertalen naar de predikatenlogica. Onderwijsvorm Per week 2 uur hoorcollege en 2 uur werkcollege. Literatuur Michael Huth, Mark Ryan, Logic in Computer Science, Modelling and Reasoning about Systems, 2nd edition, Cambridge University Press, 2004, ISBN 0 521 54310 X. (Dit boek wordt ook gebruikt bij het college Inleiding Logica.) En Elliott Mendelson, Boolean Algebra and Switching Circuits, Schaum's Outline Series in Mathematics, McGraw-Hill, 1970, ISBN 007-041460-2 Aanbevolen voorkennis geen Doelgroep 1I, 1LI

Maatschappelijke aspecten van wetenschap Vakcode

X_400305 (400305)

Periode


Credits

3.0

Voertaal

Nederlands

Faculteit


Coördinator

prof. dr. J.G.F. Bunders-Aelen

Docent(en)

prof. dr. J.G.F. Bunders-Aelen

Lesmethode(n)

Hoorcollege

Doel vak De cursus beoogt de volgende zaken: het verwerven van kennis en inzicht in de interacties tussen wetenschap en maatschappij; het verwerven van kennis en inzicht in de dynamiek van wetenschap- en technologie ontwikkeling en de rol van sociale processen daarbij; het verwerven van kennis en inzicht in verschillende visies ten aanzien van de sturing van wetenschap, o.a. technologisch determinisme en sociaal constructivisme; de student beschikt over de vaardigheden om een gefundeerd oordeel te geven over maatschappelijke en ethische aspecten van wetenschap; de student beschikt over de vaardigheden om te reflecteren op zijn maatschappelijke verantwoordelijkheid als wetenschapper; de student heeft inzicht in de maatschappelijke gevolgen van ICT ontwikkelingen voor de derde wereld. Vrije Universiteit Amsterdam - Faculteit der Exacte Wetenschappen - B Informatica - 2011-2012

6-3-2013 - Pagina 23 van 40

De student is in staat om ideeën te ontwikkelen ten aanzien van ICT toepassingen in de derde wereld. Inhoud vak In het theoretische gedeelte van deze cursus wordt ingegaan op de verschillende factoren die van invloed zijn op de ontwikkeling van de ICT. Daarna komen de maatschappelijke gevolgen van deze technologische ontwikkeling aan de orde en de positie van de individuele wetenschapper? In hoeverre is technologische ontwikkeling bij te sturen en in hoeverre ben je als wetenschapper verantwoordelijk? Vervolgens wordt gekeken naar ICT en ontwikkelingslanden. Wat zijn de gevolgen van ICT voor de derde wereld? Hoe zou ICT kunnen bijdrage aan de bestrijding van armoede? In het praktische gedeelte van deze cursus schrijven studenten een businessplan voor een ICT toepassing in de derde wereld, waarbij gekeken moet worden naar vraag, sociaal en economisch rendement en lange termijn kansen. Literatuur Reader. CD-ROM. Doelgroep Voor periode 3: 2W, 2BA, Voor periode 5: 3I, 2IMM, 2LI, Overige informatie Alle studenten van de afdelingen W en I moeten kiezen tussen Wetenschapsgeschiedenis of Maatschappelijke aspecten van wetenschap. Inlichtingen bij Joske Bunders kamer U- 552 de Boelelaan 1081, tel. (020) 598 7030.

Machine Learning Vakcode

X_400154 (400154)

Periode

Periode 4

Credits

6.0

Voertaal

Engels

Faculteit


Coördinator

prof. dr. A.E. Eiben

Docent(en)

dr. E.W. Haasdijk

Lesmethode(n)


Doel vak The goal of this course is to present the dominant concepts of machine learning methods including some theoretical background. We'll cover established machine learning techniques such as Decision Trees, Neural Networks, Bayesian Learning, Instance-based Learning and Evolutionary Algorithms as well as some statistical techniques to assess and validate machine learning results. Inhoud vak Machine Learning is the study of how to build computer systems that learn from experience. It is a very active subfield of Artificial Intelligence that intersects with statistics, cognitive science, information theory, and probability theory, among others. Recently,


6-3-2013 - Pagina 24 van 40

Machine Learning has gained great importance for the design of search engines, robots, and sensor systems, and for the processing of large scientific data sets. Further applications include handwriting or speech recognition, image classification, medical diagnosis, stock market analysis, bioinformatics, etc. Onderwijsvorm The course will be taught in two parts; the first part consists of lectures with written examination. The second part of the course will have a more do-it-yourself character (e.g., practical assignment and/or literature research) and result in a report and/or presentation. The course will be taught in English.

Mentoraat / Tutoraat Vakcode

X_000008 ()

Periode

Semester 1

Credits

0.0

Voertaal

Nederlands

Faculteit


Lesmethode(n)


Overige informatie Iedere eerstejaars student Business Analytics is verplicht deel te nemen aan het Eerstejaars mentoraat in periodes 1 en 2. Het met een voldoende afronden van het vak Wiskunde wereldwijd is alleen mogelijk indien is deelgenomen aan het Eerstejaars mentoraat.

Online informatiesystemen Vakcode

X_400551 (400551)

Periode

Periode 5

Credits

6.0

Voertaal

Nederlands

Faculteit


Coördinator

dr. J. Gordijn

Docent(en)

dr. P.G.M. De Leenheer

Lesmethode(n)


Doel vak Naast een algemene inleiding over de ontwikkelingsomgeving voor informatiesystemen en de projecten om ze te implementeren, aan te passen, en vervangen, brengt de cursus methodes en technieken aan om databases te modelleren als centrale component van informatiesystemen. In een practicum worden groepen gevormd die de rol van bedrijfjes spelen en waarin een grotere praktijkopdracht door een analyse van systeemvereisten en ontwerpfase wordt geleid (hierbij nadruk op het datamodel en ontwerp; geen implementatie), met presentatie aan de klanten-docenten, met nadruk op consistentie, systeemaspecten en haalbaarheid. De doelstelling is daarbij om de centrale rol en impact van informatiemodel en -analyse duidelijk te maken en de verbanden ervan met procesmodel, database ontwerp, en systeemonderhoud o.a. via Vrije Universiteit Amsterdam - Faculteit der Exacte Wetenschappen - B Informatica - 2011-2012

6-3-2013 - Pagina 25 van 40

de business rules of constraints. Inhoud vak Het informatiesysteem als geheel van database, DBMS en applicatieprogramma's beschreven door een conceptueel schema. Methodologische aanpak voor informatiesysteem-analyse, -ontwerp, -bouw en -onderhoud. Klassieke stappen in de constructie (lifecycle) van informatiesystemen vanaf de systeemveresiten tot het onderhoud. Korte vergelijking van verschillende methodieken voor elicitatie van systeemvereisten, en data- en procesmodellering. Detailbestudering van de Object-role Modelling (ORM) methode, afgeleid van de NIAM methode. Formeel omzetten van conceptuele modellen naar (relationele) implementaties. Rol van CASE tools, data dictionaries, constraints, semantiek en de samenhang met de applicatieprogrammatuur. Tenslotte, de definitie en rol van meta-informatie. Beschrijving van ORM d.m.v. ORM zelf. Onderwijsvorm Wekelijks introduceren de colleges nieuwe concepten. In een practicum worden groepen gevormd die de rol van bedrijfjes spelen en waarin een grotere praktijkopdracht door een analyse van systeemvereisten en ontwerpfase wordt geleid (hierbij nadruk op het datamodel en ontwerp; geen implementatie), met presentatie aan de klanten-docenten, met nadruk op consistentie, systeemaspecten en haalbaarheid. Toetsvorm Examen en teamproject Literatuur Voor de algemene behandeling van systeemontwikkelingsomgeving, en voor het practicum methodieken: J. Hoffer, J. George, J. Valacich, Modern Systems Analysis & Design, Xnd edition, Addison-Wesley, 2010. Voor de theorie van ORM: T. Halpin and T. Morgan. Information modeling and relational databases. Morgan- Kaufmann, 2008. Daarnaast: slide decks van de colleges en thematische papers die verdiepen op bepaalde onderwerpen. Doelgroep 1I, 2LI, 1IMM

Pervasive Computing Vakcode

X_400552 (400552)

Periode

Periode 4

Credits

6.0

Voertaal

Nederlands

Faculteit


Coördinator

dr. N. Silvis-Cividjian

Docent(en)

dr. N. Silvis-Cividjian

Lesmethode(n)


Doel vak Na afloop van de cursus kan een student een simpele intelligente sensoractuator systeem bouwen en zijn werking programmeren om mensen te ondersteunen in hun


6-3-2013 - Pagina 26 van 40

dagelijkste leven. Om dit te bereiken weet een student hoe te kiezen tussen veschillende technieken en algorithmen om: 1. data uit de omgeving te verkrijgen (sensoren) 2. omgeving te beinvloeden (actuatoren) 3. een veelzijdige en impliciete mens-computer interactie te realiseren 4. slim redeneren en acties te ondernemen 5. data te communiceren Inhoud vak Pervasive of ubiquitous computing is een trend gebaseerd op Mark Weiser's visie (1988) waarbij software en hardware overal aanwezig zijn en tegelijketijd naar de achtergrond verdwijnen en onzichtbaar worden voor de gebruiker. Het gebruik van een computer kan zo natuurlijk worden dat de mensen vergeten dat ze met een computer bezig zijn. Pervasive computing systemen proberen mensen, hun omgeving en hun stemming te onderzoeken, analyseren en beter te begrijpen. Dan kunnen ze door slimme beslissingen deze omgeving beinvloeden en zeer nuttig zijn in menselijke dagelijjkste leven. Deze "altijd en overal" aanwezigheid van computers heeft veel nuttige toepassingen in gezondheidszorg, werk, verkeer en vrijetijdsbesteding. Denk aan het op afstand monitoren van patiënten, ondersteuning van ouderen om zelfstandig te blijven wonen, intelligente kantoren en verkeersystemen. Maar pervasive computing verandert ook onze gedrag ten opzichte van computers en ten opzichte van elkaar en vraagt daarom aandacht voor aspecten zoals: privacy en veiligheid, milieuvervuiling. Dit vak geeft een inleiding in pervasive computing. Tijdens de colleges gaan we verschillende technieken en algorithmen die nodig zijn om zo een systeem te bouwen bespreken, met nadruk op sensoren, actuatoren, aansturing, communicatie en slimme data analyse. Tijdens de gastcolleges gaan jullie horen hoe deze in het praktijk geimplementeerd kunnen worden.Tijdens het practicum gaan jullie zelf aan de slag door een robot aan te sturen om verschillende pervasive computing specifieke opdrachten uit te voeren. Onderwijsvorm Hoorcolleges, gastcolleges en practicum Literatuur Reader Doelgroep 1I, 1-IMM, 1LI

Privacy en beveiliging Vakcode

X_400553 (400553)

Periode

Periode 1

Credits

3.0

Voertaal

Nederlands

Faculteit


Coördinator

G. van t Noordende

Lesmethode(n)

Hoorcollege

Inhoud vak This bachelor's course is designed to understand the principles of privacy, trust and security in a society in which distributed Vrije Universiteit Amsterdam - Faculteit der Exacte Wetenschappen - B Informatica - 2011-2012

6-3-2013 - Pagina 27 van 40

autonomous systems (both human and automated) interact continuously. Interaction between systems often mandates some knowledge of each others' credentials. This course will focus on management of privacy, trust and security, and not on detailed technical specifics of individual security measures. In addition to lectures, students will be required to work through a number of case studies, identifying threats for mismangement of data, and proposing measures/procedures to prevent abuse. Onderwijsvorm hoorcollege, werkcollege, en opdrachten Toetsvorm schriftelijk tentamen, verplichte huiswerkopdrachten Literatuur Baase, Sara, A Gift of Fire - Social, Legal, and Ethical Issues for Computing and the Internet. Third Edition. Uitgever Pearson. Opmerking: dit betreft de Internationale editie en NIET de Amerikaanse versie. Doelgroep 1I, 1IMM

Probleemoplossen Vakcode

X_400475 (400475)

Periode


Credits

3.0

Voertaal

Nederlands

Faculteit


Coördinator

dr. A. Bhulai

Docent(en)

dr. A. Bhulai

Lesmethode(n)


Doel vak Na het volgen van dit vak ben je in staat om - problemen te analyseren, - een juiste oplossingsstrategie of een combinatie van oplossingsstrategieën te kiezen om problemen op te lossen, - algoritmen op te schrijven, - algoritmen te vertalen naar een flowchart, - een project mondeling te presenteren aan vakgenoten, - kritisch te reflecteren op jouw en andermans werk, - een project schriftelijk te rapporteren. Inhoud vak Voor het oplossen van alledaagse problemen kun je allerlei strategieën gebruiken. Vaak kan een probleem op verschillende manieren worden opgelost en er is niet altijd een ‘beste manier’. Echter, soms is de ene manier efficiënter dan de andere; of je vindt de ene aanpak makkelijker of prettiger dan de andere. Tijdens de colleges maak je bij dit vak kennis met verschillende


6-3-2013 - Pagina 28 van 40

oplossingsstrategieën (zoals modelleren, formuleren, guess and check) en algoritmen (zoals zoekalgoritmen, sorteeralgoritmen en graafalgoritmen) om problemen op te lossen. Je leert problemen oplossen door logisch te redeneren en door gebruik te maken van kennis uit andere vakgebieden. Op het practicum ga je diverse problemen oplossen m.b.v. de verschillende oplossingsstrategieën en algoritmen, die in de colleges zijn behandeld. Aangezien er niet één manier is om een probleem op te lossen, zul je ook zelf algoritmen gaan bedenken. Je probleemoplossend en algoritmisch denken worden bij dit vak gestimuleerd, evenals je creatieve en innovatieve vaardigheden. Aan het eind van de cursus werk je in een groep samen aan een project, waarover je een presentatie geeft. Onderwijsvorm Hoorcolleges, werkcolleges en practica. Toetsvorm Opdrachten, project presentatie en schriftelijk/digitale tentamen. Literatuur Syllabus. Doelgroep 1I, 1-IMM, 1LI

Project applicatieontwikkeling Vakcode

X_400556 (400556)

Periode

Periode 6

Credits

6.0

Voertaal

Nederlands

Faculteit


Coördinator

ir. M.P.H. Huntjens

Docent(en)

ir. M.P.H. Huntjens

Lesmethode(n)

Hoorcollege

Doel vak Het doel van de cursus is om in een situatie waarin alleen een einddoel gesteld is, zelfstandig een applicatie te ontwikkelen, daarbij gebruik makend van de bij IP en Proj. IP opgedane kennis en ervaring. Onderwijsvorm project Literatuur Walter Savich, Walter, Absolute Java. Third Edition. Pearson International Edition, ISBN: 978-0-321-50504-0 Vereiste voorkennis Inleiding programmeren (X_400554) Doelgroep 1I

Project interactive multimedia


6-3-2013 - Pagina 29 van 40

Vakcode

X_400557 (400557)

Periode

Periode 6

Credits

6.0

Voertaal

Nederlands

Faculteit


Coördinator

prof. dr. A.P.W. Eliens

Docent(en)

prof. dr. A.P.W. Eliens

Lesmethode(n)

Hoorcollege

Doel vak Het ontwerpen en ontwikkelen van een multimedia applicatie, met zowel educationele als spel-elementen, als middel in een communicatie strategie ten behoeve van een maatschappelijk relevant doel of missie. Inhoud vak Elk jaar zal er een speciaal thema worden geselecteerd waarvoor de interactieve multimedia applicatie wordt ontwikkeld, bijvoorbeeld het klimaat issue of een interactief museum. Onderwijsvorm werkcollege/practicum Toetsvorm practicum opdracht(en) en essay Literatuur online referentie materiaal Doelgroep 1IMM, 1I Overige informatie Voor informatie, zie www.cs.vu.nl/~eliens/pim

Project Programmeren Vakcode

X_400559 (400559)

Periode

Periode 5

Credits

3.0

Voertaal

Nederlands

Faculteit


Coördinator

ir. M.P.H. Huntjens

Docent(en)

ir. M.P.H. Huntjens

Lesmethode(n)

Hoorcollege

Doel vak Het doel van de cursus is om meer praktische ervaring op te doen met het geleerde van het vak Inleiding Programmeren Inhoud vak Primitieve types, declaraties, expressies, toekenningsopdracht, keuze-opdrachten, herhalingsopdrachten, methodes, I/O via Printstream en Scanner, arrays, classes, instanties van classes (objecten), Vrije Universiteit Amsterdam - Faculteit der Exacte Wetenschappen - B Informatica - 2011-2012

6-3-2013 - Pagina 30 van 40

standaard classes String, StringBuffer en Math, ontwerpen maken, twee-dimensionale arrays, meerdere objecten tegelijk in een programma gebruiken, recursie, gebruik van grafische interfaces uit een voorgeprogrammeerd package, linear search, binary search. Onderwijsvorm Practicum. Literatuur Walter Savitch, Pearson International Edition, Fourth Edition, ISBN: 978-0-13-136589-6. Vereiste voorkennis Practicum van Inleiding Programmeren (400554) Doelgroep 1I, 1IMM, 1BA

Project Websystemen Vakcode

X_401033 (401033)

Periode

Periode 6

Credits

3.0

Voertaal

Nederlands

Faculteit


Coördinator

dr. R. Premraj

Lesmethode(n)


Inhoud vak This course aims at providing students hands-on experience in modelling a large open-software project by putting theory from the "Software Modelling" course to use. Students teams will be allocated a problem (such as implementing a new functionality or incorporating an open-source product into another product) and their task is consider alternative modelling techniques that best help addressing the problem. In addition, students will use the insights gained from the models to propose appropriate solutions to the problem. Besides experiencing some of the practical issues and challenges involved with software modelling in the real-world, students will also learn some soft skills including the art of problem- solving, working in a team, and presenting their work. Literatuur Same as for Software Modelling course Hans van Vliet, Software Engineering, Principles and Practice, John Wiley, third edition, 2008. Martin Fowler, UML Distilled, third edition. Addison Wesley, 2003. Materiaal door de docent uitgereikt, en beschikbaar op Blackboard. Vereiste voorkennis Voortgezet programmeren (X_400561) Doelgroep 2I, 2-IMM

Research Questions in Bioinformatics Vrije Universiteit Amsterdam - Faculteit der Exacte Wetenschappen - B Informatica - 2011-2012

6-3-2013 - Pagina 31 van 40

Vakcode

X_401081 ()

Periode


Credits

6.0

Voertaal

Nederlands

Faculteit


Coördinator

dr. ir. K.A. Feenstra

Doel vak • kennismaken met 'echt' wetenschappelijk onderzoek • formuleren van een onderzoeksvraag & hypothese • zelfstandig 'diep' gaan in een specialistisch onderzoeksonderwerp • het uitgevoerde onderzoek in context plaatsen Inhoud vak Benieuwd naar wat onderzoek nu eigenlijk is? Hier ga je echt de diepte in. Maak kennis met hoe wij onderzoek doen, hoe je relevante wetenschappelijke literatuur vindt en leest, en hoe je aan anderen uitlegt wat het onderzoek nu eigenlijk opgeleverd heeft. Onderzoek binnen de Bioinformatica richt zich op het ontwikkelen van (computationele) methodes om biologische experimenten te begrijpen, en biologische functie te voorspellen. Je zult tijdens dit project ontdekken waarom Bioinformatica van groot belang is voor o.a. medisch onderzoek. Onderwijsvorm Individueel • meelopen met lopend onderzoek bij een PhD student of Postdoc (1 week) • literatuuronderzoek naar een geselecteerd algoritme (1 week) • schrijven van een populair wetenschappelijk artikel (cf. Scientific American; 1 week) • presentatie van poster en/of wikipedia artikel (1 week) Toetsvorm • [25%] kort geformuleerde onderzoeksvraag met verhelderende figuur/schema en review van de geraadpleegde literatuur in 2500 woorden • [50%] populair wetenschappelijk artikel met figuren in 3000 woorden • [25%] presentatie (10 minuten) van een poster en/of wikipedia artikel Literatuur Cursusmateriaal op www.ibi.vu.nl/teaching Aanbevolen voorkennis Inleiding Bioinformatica 1 of vergelijkbaar. Doelgroep Derdejaars Bachelor student in elke beta of life science discipline (inclusief Medicijnen). Overige informatie Docenten van dit vak zijn prof.dr. J. Heringa, dr.ir. K.A. Feenstra, dr. S. Abeln (en anderen). Om te starten moet een afspraak gemaakt worden met de coördinator. In verband met de onderzoekscomponent, zal de cursus grotendeels in het


6-3-2013 - Pagina 32 van 40

Engels gegeven worden.

Ruimtelijk redeneren Vakcode

X_401034 (401034)

Periode

Periode 5

Credits

3.0

Voertaal

Nederlands

Coördinator

dr. J.J. Dijkstra

Docent(en)

dr. J.J. Dijkstra

Lesmethode(n)


Inhoud vak Aan bod komen onderwerpen uit de lineaire algebra en tevens worden toepassingen hiervan besproken. Onderwijsvorm Hoorcollege en werkcollege. Toetsvorm Schriftelijk tentamen en tussentijdse inleveropdracht. Literatuur Jan van de Craats, Vectoren en Matrices, Epsilon Uitgaven nr. 45. Doelgroep 2LI, 2I

Security Engineering Vakcode

X_401045 (401045)

Periode

Periode 3

Credits

6.0

Voertaal

Nederlands

Faculteit


Coördinator

dr. B. Crispo

Docent(en)

dr. B. Crispo

Lesmethode(n)


Seminar Vakcode

X_401035 (401035)

Periode

Periode 6

Credits

3.0

Voertaal

Nederlands

Faculteit


Docent(en)

drs. D. van den Berg

Lesmethode(n)

Hoorcollege


6-3-2013 - Pagina 33 van 40

Doel vak Een seminar heeft tot doel de student kennis te laten nemen van de nieuwste wetenschappelijk ontwikkelingen op een specifiek onderzoeksterrein van Informatica. Daarbij worden tevens vaardigheden getrained die noodzakelijk zijn om in dergelijke seminars in de werkelijkheid te participeren. Inhoud vak Aan de hand van een onderzoeker van de afdeling Informatica, zal gedurende een periode een specifiek onderwerp uitgediept worden waarbij de student gevraagd zal worden onderdelen te bestuderen en daarvan verslag te doen. Onderwijsvorm In een aantal colleges zullen studenten onderdelen van een vantevoren bepaald onderwerp presenteren, waarbij van participerende studenten een actieve houding gevraagd wordt door het stellen van vragen en het initieren van discussies. Literatuur Te selecteren artikelen. Doelgroep 2I

Software Modelling Course code

X_401016 (401016)

Period

Period 4

Credits

6.0

Language of tuition

English

Faculty


Coordinator

dr. P. Lago

Teaching staff

dr. P. Lago

Teaching method(s)

Lecture, Seminar

Course content Het ontwikkelen van software systemen is ingewikkeld; ze zijn groot, en het is van te voren vaak niet duidelijk wat ze precies moeten doen. Het doel van software modeling is om moderne, complexe software systemen op een systematische wijze te modelleren. In het college zal worden ingegaan op een aantal veel toegepaste software modelleringsmethoden en technieken. Form of tuition Hoorcollege in voorbereiding voor het vak; Project Websystemen; (401033). Course reading Hans van Vliet, Software Engineering, Principles and Practice, John Wiley, third edition, 2008. Russ Miles and Kim Hamilton, Learning UML 2.0 - A Pragmatic Introduction to UML, O'Reilly, 2006. Vrije Universiteit Amsterdam - Faculteit der Exacte Wetenschappen - B Informatica - 2011-2012

6-3-2013 - Pagina 34 van 40

Materiaal door de docent uitgereikt, en beschikbaar op Blackboard. Target group 2I, 2-IMM, 3LI

Systems Programming Course code

X_400377 (400377)

Period

Period 2

Credits

6.0

Language of tuition

English

Faculty


Coordinator

dr. S. Voulgaris

Teaching staff

dr. G.E.O. Pierre

Teaching method(s)

Lecture

Course objective The goal of this course is to prepare students for lab assignments in computer systems, such as those related to operating systems, compiler construction, network programming, and computer networks. After attending this course, the student should be able to develop, test, and debug systems programs written in C under Linux. Course content The course is a combination of lectures and lab assignments. During the lectures, the student is taught how to program in C, assuming he/she already has programming skills in Java. In addition, particular attention will be paid to networking, testing and debugging. Form of tuition 9 lectures, in combination with several lab assignments to be returned during the study period. Extensive help will also be provided by ways of questions and answers sessions, and a discussion mailing-list. Target group 3I Remarks Registration for this course is compulsory via Blackboard one week before the start. The course will be given in English.

Verzamelingen en relaties Vakcode

X_400564 (400564)

Periode


Credits

3.0

Voertaal

Nederlands

Coördinator

dr. M.L.J. van de Vel

Docent(en)

dr. M.L.J. van de Vel

Lesmethode(n)



6-3-2013 - Pagina 35 van 40

Doel vak Het gelijktrekken van wiskundige voorkennis, het opdoen van ervaring met wiskundige begrippen rond verzamelingen en relaties. Inhoud vak Behalve basale vaardigheden wordt met deze cursus ook nuttige voorkennis geleverd door diverse vakken uit de opleiding: Graven in Grafen, Logica en Modelleren. Onderwijsvorm Wekelijks hoorcollege, zelfwerktijd, en werkcollege. Toetsvorm Schriftelijk tentamen. Literatuur Collegedictaat. Doelgroep 1LI-CWI, 1I Overige informatie Verzamelingen en relaties (X_400564) wordt gegeven in periode 2.

De Opfriscursus vwo-wiskunde (X_4005641) is een onderdeel van dit vak en wordt gegeven in periode 1. Deze cursus is alleen voor 1I een verplicht vak als de toets vooraf niet wordt behaald.

Voortgezet programmeren Vakcode

X_400561 (400561)

Periode

Periode 2

Credits

6.0

Voertaal

Nederlands

Faculteit


Coördinator

ir. M.P.H. Huntjens

Docent(en)

ir. M.P.H. Huntjens

Lesmethode(n)


Doel vak Het opdoen van praktijkervaring met de in de colleges Datastructuren en algoritmen behandelde stof. Inhoud vak Een drietal opgaven over de stof van Datastructuren en algoritmen. De eerste opgave is een introductie met abstracte datatypen (ADT's), de tweede opgave gaat over parseren, formele specificaties en lijsten. De derde opgave gaat over het gebruik van de API, bomen en het gebruik van command line arguments. Onderwijsvorm hoorcollege en practicum


6-3-2013 - Pagina 36 van 40

Literatuur Walter Savitch, Pearson International Edition, Fourth Edition, ISBN: 978-0-13-136589-6. Vereiste voorkennis Practicum van Inleiding Programmeren (400554) of practicum van Inleiding Programmeren voor wiskunde & Econometrie (400580) Doelgroep 2BWI, 2I, 2-IMM, 3W,

Web-gebaseerde kennisrepresentatie Vakcode

X_400083 (400083)

Periode

Periode 2

Credits

6.0

Voertaal

Engels

Faculteit


Coördinator

dr. K.S. Schlobach

Docent(en)

dr. K.S. Schlobach, P.T. Groth

Lesmethode(n)

Hoorcollege

Doel vak Doel van dit college is om de student kennis te laten maken met de mogelijkheden voor kennis-representatie technieken op het World Wide Web, en de technieken die daarvoor momenteel ontwikkeld worden. Inhoud vak Het WWW biedt grote mogelijkheden voor het gebruik van bestaande en nieuwe kennisrepresentatie technieken. Een belangrijk doel hierbij is het omvormen van het huidige Web (pagina's die voor menselijke lezers bedoeld zijn) tot een Web waarin kennis expliciet is gemodelleerd, zodat deze ook voor machinaal gebruik geschikt is. Dit zal een belangrijke stap zijn naar de verwezenlijking van intelligentere zoek-machines, informatie-filters, adaptieve Web-sites, etc. In dit college behandelen we een aantal technieken die aan de basis van deze nieuwe generatie van het Web zullen staan: modelleer technieken (bijv. ontologieen), standaar web-technieken zoals XML) en kennisrepresenatie talen voor gebruik op het Web (RDF, OWL). Het college bespreekt ook een aantal toepassingsscenario's, zoals e-commerce, zoeken en navigeren, en format-onafhankelijk publiceren. Onderwijsvorm Hoorcollege met bijbehorend practicum. In het practicum zal een toepassing worden gerealiseerd met voornoemde markup talen en systemen. Literatuur Antoniou, G., Harmelen, F. van, A Semantic Web Primer. MIT Press ISBN 0-262-01210-3. Aanbevolen voorkennis Gewenst: Kennissystemen (400126).


6-3-2013 - Pagina 37 van 40

Doelgroep 2LI-CWI, 2I, 2-IMM, 3I

Webtechnologie Vakcode

X_400488 (400488)

Periode

Periode 3

Credits

6.0

Voertaal

Nederlands

Faculteit


Coördinator

prof. dr. A.T. Schreiber

Docent(en)

dr. J.R. van Ossenbruggen

Lesmethode(n)


Doel vak Na afloop wordt verwacht dat de studenten inzicht en vaardigheden; heeft verworven over de volgende onderwerpen: - algemene architectuurprincipes van het WorldWideWeb - basisprincipes van representatie, presentatie en manipulatie van webdata (HTML, XML, CSS, Javascript) - het ontwerpproces van websites - eenvoudige onderzoeken doen naar bruikbaarheid en toegankelijkheid; van websites, inclusief rapportage. Inhoud vak Wat gebeurt er als je op een Weblink klikt? Deze cursus geeft de student een kijkje in de Webkeuken en tevens wordt uitgebreid ingegaan op de menselijke aspecten van webtoepassingen, zoals het onderzoeken van bruikbaarheid en toegankelijkheid (voor bijvoorbeeld mensen met fysieke beperkingen). In een aantal hoorcolleges wordt de theorie behandeld, waarbij Webstandaarden gebruikt worden als illustratie van de onderliggende principes, zoals bijvoorbeeld de scheiding tussen inhoud en opmaak. In practica wordt deze kennis in praktijk gebracht. In de opdrachten wordt zowel zelf een website ontwikkeld, als ook bestaande websites geëvalueerd met de in de cursus verworven kennis. Onderwijsvorm Hoorcolleges (4x2 uur p/week), practica (2x4 uur p/week), opdrachten, opdrachtpresentatie. Literatuur Wordt nader bekend gemaakt. Doelgroep 1LI, 1I, 1IMM

Wetenschapsgeschiedenis Vakcode

X_400318 (400318)

Periode


Credits

3.0

Voertaal

Nederlands

Faculteit



6-3-2013 - Pagina 38 van 40

Coördinator

prof. dr. I.H. Stamhuis

Docent(en)

dr. D.J. Beckers

Lesmethode(n)

Hoorcollege

Doel vak De student verwerft kennis over een aantal historische reken-procedures en redeneringen. De student verwerft een globaal overzicht van de historische ontwikkeling van de wiskunde en informatica. De student verwerft enig inzicht in de maatschappelijke invloeden op de ontwikkeling van de wiskunde en informatica. Inhoud vak Diverse onderwerpen uit de geschiedenis van de wiskunde en informatica komen chronologisch aan bod. Elk college wordt een historische werkwijze behandeld. Daarnaast wordt besproken hoe die procedure gezien kan worden binnen de bredere sociale context van die periode. Onderwerpen worden aangekondigd en gedocumenteerd op de blackboard-site van het vak. Onderwijsvorm Hoorcolleges en bijbehorende opdrachten. Toetsvorm Schriftelijk tentamen Literatuur Beschikbaar via blackboard. Vereiste voorkennis nvt Aanbevolen voorkennis Propaedeuse afgerond Doelgroep 2BA, 2W, 2I, 3I, 3-IMM, 3LI Overige informatie Inlichtingen bij de docent: Afdeling Algemene Vorming, De Boelelaan 1081, kamer T-036c, [email protected] Alle studenten van de afdelingen W en I moeten kiezen tussen Wetenschapsgeschiedenis of Maatschappelijke aspecten van wetenschap.

Wijsbegeerte Vakcode

X_400433 (400433)

Periode

Periode 5

Credits

3.0

Voertaal

Nederlands

Faculteit


Coördinator

prof. dr. I.H. Stamhuis

Docent(en)

dr. L.B. Decock

Lesmethode(n)

Hoorcollege


6-3-2013 - Pagina 39 van 40

Doel vak Kennismaking met fundamentele wijsgerige vragen van het eigen vakgebied. Inhoud vak Het college bestaat uit thema’s uit de philosophy of mind en filosofie van de artificiële intelligentie. Onderwijsvorm Hoorcollege . Toetsvorm Tentamen met open vragen Literatuur Tim Crane, The Mechanical Mind, Routledge, 2003 (2nd ed.) Aanbevolen voorkennis Geen Doelgroep 2BA, 2I, 2-IMM, 2LI, 2W, 2W-B, 3BA, 3BA-D Overige informatie Een meer uitgebreide beschrijving is te vinden op blackboard.


6-3-2013 - Pagina 40 van 40

Informatica BSc Vrije Universiteit Amsterdam - Faculteit der Exacte Wetenschappen - B Informatica

Recommend Documents