Beweren en bewijzen/de opzet/spelregels

Uit Werkplaats
Ga naar: navigatie, zoeken
de opzet 2017-18    KalenderIcon.gif multimedia kwaliteit commentaren
site map


Beweren en bewijzen
Wijsheid omgaan met onzekerheid: met open blik op wankele ondergrond levenspad bewandelen
Vernuft aanpak van glibberige problemen precies redeneren op het hoogste niveau
vier zuilen → Artefacten Formalisering Taal Zekerheid
1. Rationaliteit Rationaliteitsvierkant 4 werelden Beweren is moeilijk Overtuigen
2. Modellen Focus Precisie Logica Stelling en bewijs
3. Model en realiteit Specificaties Domeinmodel Syntax en semantiek Waarheid
4. Correctheid Structuur Correctheidsstelling Typering Nagaan
5. Methoden Decompositie Systemat. vertalen Definities Natuurl. deductie
6. Theorie Domeintheorie Tijd Tijdslogica Wiskunde
7. Complexiteit Hiërarch. decompositie Vereenvoudigingen Modules Bewijsassistenten
8. Generalisering Standaardisatie Parametrisatie Talen Hulpstellingen
Beweren en bewijzen/de opzet/spelregels
Zolang je geen andere afspraken met de docenten treft, gelden deze regels.

Verwachtingen

Dit kun je als deelnemer van Beweren en bewijzen verwachten:

leerstof
die tot de kern van zowel informatica als informatiekunde hoort.
een onderwijsvorm
die je uitdaagt om op academisch niveau zelf te denken en efficiënt en prettig werkt, met een minimum aan ballast.
intensieve inhoudelijke begeleiding
door echte wetenschappers, die je als toekomstig collega beschouwen.
vrijheid met vangnet
heldere regels, waarbij in het geval van overmacht of persoonlijke omstandigheden altijd oplossingen bespreekbaar zijn.

Daar staat tegenover dat de docenten ervan uitgaan dat jij...

de doelen ook daadwerkelijk wilt halen 
Misschien wil je dat vooral omdat het nu eenmaal een verplichte cursus is. Maar we zullen blijven proberen je voor de inhoud te enthousiasmeren.
de nodige voorkennis meebrengt
Specifieke inhoudelijke voorkennis is daarbij voor B&B niet eens nodig, want in de cursus wordt alles van grond af opgebouwd. De docenten gaan er weliswaar van uit dat je hetzij in Wiskundige Structuren, hetzij in Formeel Denken, hetzij op het HBO al propositie- en predikaatlogica hebt gezien en niet schrikt van de voorbeelden in de eerste colleges. Maar ook deze logica wordt in de cursus nog eens van grond af opgebouwd. Als je in de eerste colleges niet alles begrijpt, heb je nog altijd de gelegenheid om het te leren.
Je moet wel in principe begrijpen wat een formalisme is en gewend zijn met formele talen en notaties om te gaan. Informaticastudenten hebben dat al op school geleerd (wis- en natuurkunde), HBO-doorstromers in hun vorige opleiding. Voor informatiekundestudenten gaat om die redenen de cursus Formeel Denken vooraf aan B&B. De ervaring leert dat wie geslaagd is voor Formeel Denken met de nodige inspanning ook B&B haalt. Omgekeerd: wie gezakt is voor Formeel Denken heeft naar onze ervaring zulke problemen met formele systemen dat deelname aan B&B eigenlijk zinloos is.
gedurende dit semester ook de tijd over hebt voor een cursus van 6 ec 
De opzet van de cursus is zo dat je die tijd evenredig over alle cursusweken verdeelt. Als dat in jouw geval niet mogelijk is, moet je met de docenten je situatie bespreken en afspraken maken.
De ervaring leert dat je de cursus goed kunt halen als je van begin af op schema ligt. De ervaring leert ook dat het bij deze cursus bijna onmogelijk is, een grote achterstand later in te halen.
je houdt aan de Beweren en bewijzen/de opzet/leercyclus tenzij je individuele afspraken hebt getroffen
Vermeld de manier waarop jij de cursus wilt volgen ook in je dossier. Als daar niets staat over een speciale regeling en je een paar weken geen opdrachten uitvoert, beschouwen wij je als gestopt en krijg je geen feedback meer op vragen over stof die al in responsiecolleges behandeld is.

Inschrijving

Inschrijving via de universiteit

Inschrijving voor deelname aan de cursus is verplicht t/m week 2 van het semester. Verder is inschrijving voor het tentamen en eventueel het hertentamen nodig: zie Beweren en bewijzen/de opzet/tentaminering


Als je je op de juiste manier inschrijft, sta je een dag later ook in BlackBoard voor deze cursus ingeschreven. En wie in BlackBoard ingeschreven staat, krijgt ook een login voor deze elektronische werkplaats. Je loginnaam is hier je volle naam (bijv. Pietje van der Waal). Een wachtwoord kun je aanvragen via het inlogscherm.

Blijf op de hoogte

Deze werkplaats

Deze werkplaats biedt vele mogelijkheden tot elektronische communicatie. Je moet er een gewoonte van maken, belangrijke pagina's op te nemen in je volglijst. Zo word je steeds per e-mail op de hoogte gehouden.

Leertaken en mijlpalen

Op het rooster staan de leertaken en bijbehorende deadlines. Het komt gedurende het semester niet voor dat je een tijdlang niets te doen hebt. Er loopt altijd wel een leertaak of een mijlpaal (deelproduct voor je dossier en werkstuk). "Maar ik wist niet dat er een nieuwe opdracht was of waar die stond" zullen de docenten niet accepteren. De 'kleine' mijlpalen vormen een onderdeel van de leertaken. Daarnaast zijn er nog 'grote' mijlpalen waarbij (er een deel van) het werkstuk moet worden ingeleverd. Alle mijlpalen zijn ook terug te vinden in de kalender. Zie KalenderIcon.gif.

Tentamens

Zie KalenderIcon.gif en Beweren en bewijzen/de opzet/tentaminering.

Gebruik van deze werkplaats

Werken in de werkplaats FAQ