170
U

Eigenschap:Verzorgingcommentaar

Uit Werkplaats
Versie door Engelbert Hubbers (overleg | bijdragen) op 2 mei 2012 om 12:37 (Nieuwe pagina aangemaakt met 'Dit is een eigenschap van type Heeft type::Tekst.')
(wijz) ← Oudere versie | Huidige versie (wijz) | Nieuwere versie → (wijz)
Ga naar: navigatie, zoeken

Dit is een eigenschap van type Tekst.

Pagina's die de eigenschap "Verzorgingcommentaar" gebruiken

Er zijn 25 pagina's die deze eigenschappen gebruiken.

(vorige 25 | volgende 25) (20 | 50 | 100 | 250 | 500) bekijken.

B
Beweren en bewijzen/2011-12/feedback/ATB-deel1 +Enige minpunt: Verwijder de grijze aanwijzingen.  +
Beweren en bewijzen/2011-12/feedback/ATB-deel1-her +Ik wil graag dat ik formules, als ze over meerdere regels verdeeld zijn, toch van links naar rechts kan lezen: helemaal links staat de belangrijkste operator, met iets meer indentatie zijn operatoren (die eventueel weer over meerdere regels verdeeld zijn, dus waarvan weer moet gelden: de regel met de kleinste indentatie bevat de belangrijkste operator). Je plaatst vaak een operator en de formules die daaronder horen met dezelfde indentatie, terwijl de formules verder rechts zouden moeten staan.  +
Beweren en bewijzen/2011-12/feedback/Automatische lamp-deel1 +Het werkstuk is niet officieel ingeleverd op papier conform de opdracht. Laat in het uiteindelijke werkstuk s.v.p. de aanwijzingen weg.  +
Beweren en bewijzen/2011-12/feedback/Beertender-deel1 +Vereist was dat je het werkstuk uitprint en op papier inlevert, om te vermijden dat b.v. formules of plaatjes incompleet op het papier staan. Toevallig kwam het meeste wel goed uit onze printer rollen, behalve de hoofdstuk „De specificatie van het geheel” en „De correctheidsstelling”.  +
Beweren en bewijzen/2011-12/feedback/Blokfluit-deel1 +Vereist was dat je het werkstuk zelf print om b.v. formules goed geformatteerd te zien.  +
Beweren en bewijzen/2011-12/feedback/PA-systeem-deel1 +Formules te lang om leesbaar te zijn; tabellen kloppen niet; lijst van onderdelen past niet bij het functioneel netwerk. Dit werkstuk inhoudelijk te doorgronden is niet plezierig. Ik zal op de commentaren pas ingaan als het beter opgemaakt is.  +
Beweren en bewijzen/2011-12/feedback/Plafondventilator-deel1 +Spelfouten in Coq-taal, maar daar zal Coq vast achter komen.  +
Beweren en bewijzen/2011-12/feedback/Printer-deel1 +Een d-t-fout in het domeinmodel. Geen haakje tussen voegteken en quantor. Enige inconsistenties in naamgebruik, maar daar zal Coq t.z.t. achter komen.  +
Beweren en bewijzen/2011-12/feedback/Rekenmachine-deel1 +Consistentie en opmaak van formules  +
Beweren en bewijzen/2011-12/feedback/Rekenmachine-deel2 +De specificaties in logica zijn niet altijd syntactisch correct. Men moet naar de Coq-notatie kijken om te zien dat jullie de syntax wel degelijk beheersen.  +
Beweren en bewijzen/2011-12/feedback/Roltrap-deel2 +iets slordige namen op het voorblad.  +
Beweren en bewijzen/2011-12/feedback/Segway-deel1 +Doorgaans Engelse ziekte in gevorderd stadium. Alleen in "één persoons voertuig" is "voer tuig" om onduidelijke redenen niet ook nog los geschreven.  +
Beweren en bewijzen/2011-12/feedback/Segway-deel2 +Het is niet erg academisch dat de lezer er zelf moet achterkomen dat het bewijzen niet gelukt is. De inleiding doet alsof niets aan de hand is. De papieren versie van het werkstuk houdt opeens op zonder enige verklaring. Dus eerst de pers. eindverslagen. Daar heeft niemand het over het bewijs, afgezien van een bijzinder cryptische zin bij Sigrid. Dus naar de pagina zelf, het bewijs uitklappen. En nog eens uitklappen. En dan komt de aap uit de mouw.  +
Beweren en bewijzen/2011-12/feedback/Vaatwasser-deel1 +Gevraagd was om het werkstuk op papier in te leveren, juist om te vermijden dat wij naar een slechts half afgedrukt functioneel netwerk zouden moeten kijken. Lees nog eens http://nl.wikipedia.org/wiki/Dt-fout .  +
Beweren en bewijzen/2011-12/feedback/Vaatwasser-deel2 +Maakt in het algemeen een goede indruk. (Een detail: Bij het uitprinten van de timer-specificatie is iets misgegaan.)  +
Beweren en bewijzen/2011-12/feedback/Verwarmingssysteem-deel1 +Een aantal dingen staan onder de verkeerde koppen.  +
Beweren en bewijzen/2011-12/feedback/airco-deel1 +Eigenlijk alleen het missen van het netwerk is negatief.  +
Beweren en bewijzen/2011-12/feedback/airco-deel2 +Het niet verwerken van feedback is natuurlijk vragen om een lage beoordeling. Verder stond er in de instructie toch duidelijk dat er enkelzijdig geprint moest worden. dan kunnen we tenminste de verschillende specificaties en het netwerk allemaal naast elkaar leggen en in een oogopslag vergelijken. dat kan met jullie dubbelzijdige print dus niet. Er staan nog steeds veel taalfouten in. Verder leggen jullie uit dat jullie geen Fitch bewijs hebben opgenomen omdat de Gentzen-bewijzen niet meer werkten in Coq! Dat heeft toch niets met elkaar te maken?  +
Beweren en bewijzen/2011-12/feedback/airco-deel2-her +Het netwerk ontbreekt. Er staan nog steeds vrij veel slechte zinnen in.  +
Beweren en bewijzen/2011-12/feedback/cylinderslot-deel1 +Tja, als er geen netwerk is ingeleverd is het moeilijk hier een voldoende te scoren. Verder graag commentaren en aanwijzigingen verwijderen op het moment dat je iets officieel inlevert.  +
Beweren en bewijzen/2011-12/feedback/cylinderslot-deel2 +Blijkbaar hebben jullie niet de moeite genomen om je eigen print te lezen, want dan had het toch echt op moeten vallen dat een aanzienlijk deel van de tekst niet op de pagina staat. Ook worden woorden aanelkaargeplakt terwijl ze in de werkplaats gewoon los staan. Dus ik zou toch eens een andere PDF-generator of zo proberen. Verder is het natuurlijk ook wel jammer dat jullie het woord cilinder verkeerd schrijven. Ik geef toe, ik had het de eerste keer ook niet opgemerkt, maar toch. Ik neem aan dat jullie om domeinkennis op te doen toch wel iets over cilindersloten hebben gelezen. En ik kan me niet voorstellen dat al die documenten de foute schrijfwijze gebruiken.  +
Beweren en bewijzen/2011-12/feedback/elektrische tandenborstel-deel1 +Wat is het doel van die voetnoot die verder niets meer uitlegt?  +
Beweren en bewijzen/2011-12/feedback/elektrische tandenborstel-deel2 +Al was het niet nodig geweest om het hele Coq-script te printen...  +
Beweren en bewijzen/2011-12/feedback/fiets-deel1 +Door de opmaak is het document goed leesbaar.  +
Beweren en bewijzen/2011-12/feedback/flitspaal-deel1 +Het is niet officieel ingeleverd volgens de voorschriften. Gezien het ontbreken van een hoop verplichte zaken, kan ik me dat voorstellen. Verwijder commentaar voordat je werkstukken inlevert!  +