Brontekst bekijken van Overleg:Beweren en bewijzen/2011-12/werkstuk/Loopband

{{!|Engelbert Hubbers||Volgens mij gaat er iets mis met de notatie <math>V \in [0,5)</math>. Als V het domein is, is dat vast geen element van zo'n interval. En het type van S is ook vast niet wat jullie bedoelen. S wordt hier namelijk gebruikt als functiesymbool en als type.
Verder denk ik dat die haakjes bij die samengestelde types niet correct is. Nu is Snelheidweergegeven namelijk een functie met 1 argument, waarbij dat argument een functie is die aan een tijd een snelheid toevoegt. Terwijl ik denk dat jullie een functie met twee argumenten bedoelen, waarbij het eerste een tijd en het tweede een snelheid is, met een boolean als resultaat.
Verder zijn de metingen een beetje flauw. Kun je door te kijken zien wat de snelheid en steilheid (precies) is?}}


{{!|Pien Walraven|| Wat we bedoelen met de notatie  <math>V \in [0,5)</math>  is dat de snelheid v tussen de 0 en de 5 m/s kan liggen. Dit is ook het antwoord op de vraag bij de vertraagknop, als je 1 m/s loopt en je drukt 5 keer op de vertraagknop, zal de band niet achteruit gaan lopen omdat de band alleen kan lopen met een snelheid tussen de 0 en de 5. Of zouden we dit op een andere manier in ons werkstuk moeten opnemen?


Over die haakjes heeft u volgens mij gelijk, dat zal aangepast worden.
De metingen gaan we naar kijken, het idee was nu dat je kon bekijken of er inderdaad een snelheid en steilheid op de display wordt weergegeven, maar het gaat er natuurlijk om dat de juiste snelheid en steilheid worden weergegeven en daar zou je naast het kijken ook nog een andere meting voor moeten doen om het te vergelijken.

Dank voor de feedback!}}

{{!|Engelbert Hubbers||Blijkbaar hebben jullie de opmerking over die <math>V \in [0,5)</math> niet helemaal begrepen. Het gaat om een technische fout. Je gebruikt hoofdletter V om de verzameling snelheden aan te geven. Vervolgens gebruik je diezelfde hoofdletter V weer om aan te geven dat die (verzameling snelheden) een element is van de verazmeling [0,5). Verzameling technisch klopt dat niet. Je bedoelt dat (hoofdletter) V gelijk is aan die verzameling [0,5). Zodat voor elke (kleine letter) v uit (hoofdletter) V gezegd kan worden dat <math>v \in [0,5)</math>. Het idee om aan te geven dat V dus niet de hele reele getallen is, is prima, maar de manier waarop het is opgeschreven klopt wiskundig gezien niet.


En wat betreft die vertraagknop: volgens mij staat er nu dat als op een bepaald moment de snelheid v is en er op die knop gedrukt wordt, dat dan op het volgende moment (nou ja er staat nu nog op hetzelfde moment maar dat is fout) de snelheid v-0.25 is. Maar als v tevoren 0 was (netjes in het domein V) en je drukt op die knop dan zegt deze vertraagknop dat de snelheid -0.25 m/s wordt en dat is buiten het domein. Dit moeten jullie dus echt apart oplossen. Dat kan heel eenvoudig. Als je het met een functie op wil lossen dan zeg je dat na afloop de snelheid gelijk is aan het maximum van 0 en v-0.25. Dan vang je af dat het negatief wordt. Je kunt natuurlijk ook meer in de logica een oplossing zoeken. Doe een gevalsonderscheiding op de beginwaarde van v. Zit die in [0,.25) dan is na 1x drukken de snelheid precies 0. Zit die in [0.25,->) dan is de snelheid precies -0.25 minder na afloop.}}

{{!|Thom Wiggers||Bedankt, ik had me inderdaad een beetje vergist in de notatie. Fixed!||Engelbert Hubbers}}