| Vakcode: | WIBB |
| Studiepunten: | 5.72 ECTS (=4 oude studiepunten) |
| Periode: | periode 1 (week 36 t/m 43, dwz 3-9-2001 t/m 26-10-2001; herkansing week 1)
|
| Deelnemers: | tot nu toe 102 inschrijvingen |
| Rooster: | Dit is een oud rooster!
|
| Inhoud: | In de meest uiteenlopende facetten van de informatica is het wenselijk
of noodzakelijk de gemaakte claims objectief en gedegen te onderbouwen,
niet in de laatste plaats om anderen van de geldigheid ervan te kunnen
overtuigen.
Voor het geven van een onderbouwing van de geldigheid van een bewering
is een heel scala van wiskundige bewijstechnieken en redeneervormen
beschikbaar:
bewijzen. Alvorens deze technieken toepasbaar te maken en op een
uniforme wijze over de problemen te kunnen communiceren, is het
in het algemeen noodzakelijk het onderhavige probleem in een formeel
raamwerk te modelleren: beschrijven. Dit vak is er op gericht te
oefenen in dit modelleren, en vaardigheden op te doen in het toepassen
van bewijstechnieken waarbij onderweg een stuk wiskundig
begrippenapparaat wordt eigen gemaakt. |
| Literatuur: | Dictaat (geheel nieuwe versie 2001; het dictaat van vorig jaar kan niet gebruikt worden) |
| Werkvorm: | Per week 2 keer 2 uur hoorcollege, 2 keer 2 uur werkcollege, en 1 opgavenuur. |
| Toetsvorm: | Tentamen en wekelijks een opgavenuur, waar een kleine toets wordt
afgenomen. In totaal kan met deze toetsen een bonus
van maximaal anderhalve punt verkregen worden.
Het eindcijfer voor het vak is het tentamencijfer vermeerderd met
deze bonus, met dien verstande dat dit niet boven de 10 uitkomt.
Deze regeling geldt alleen voor het eerste tentamen; voor de
herkansing geldt alleen het tentamencijfer. |
| Inspanningsverplichting voor aanvullende toets: | Om aan de aanvullende toets te mogen meedoen is ontbreken van ten hoogte 1 toetsactiviteit toegestaan. |
