Op eigenschap zoeken

Deze pagina biedt een eenvoudige bladerinteractie voor het vinden van entiteiten met een eigenschap met een bepaalde waarde. Andere beschikbare zoekinteracties zijn de zoekpagina voor pagina-eigenschappen en de querybouwer.

Lijst van resultaten

• Beweren en bewijzen/2011-12/feedback/magnetron-deel1  + (Bij het netwerk zijn er enkele letters weggevallen. Paginanummers waren wel prettig geweest.)
• Beweren en bewijzen/2011-12/feedback/koelkast-deel1  + (Bij het overnemen van vorig jaar heb je denk ik extra witregels meegenomen ofzo waardoor het er nu slechter uitziet dan vorig jaar.)
• Beweren en bewijzen/2011-12/feedback/cylinderslot-deel2  + (Blijkbaar hebben jullie niet de moeite gen …
  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.
  ocumenten de foute schrijfwijze gebruiken.)
• Beweren en bewijzen/2012-13/feedback/Koffiezetapparaat-deel2  + (Checken op d/t/dt-fouten zou geen kwaad ku …
  Checken op d/t/dt-fouten zou geen kwaad kunnen. In de uitdraai zijn in het Coq-script allerlei getallen weggevallen. Nu hoefde het script niet in de uitdraai te staan, maar het lijkt wel alsof jullie niet echt gecontroleerd hebben wat jullie hebben ingeleverd.
  leerd hebben wat jullie hebben ingeleverd.)
• Beweren en bewijzen/2011-12/feedback/Rekenmachine-deel1  + (Consistentie en opmaak van formules)
• Beweren en bewijzen/2012-13/feedback/Draaideur-deel2  + (De formules in de specificaties zijn netjes ingesprongen weergegeven. In het Coq-script helaas niet, maar daar staat dan wel weer ander commentaar in. Dossiers ontbreken in eerste instantie, maar die komen maandag 17/06.)
• Beweren en bewijzen/2012-13/feedback/Flessenautomaat-deel2  + (De formules zijn in het werkstuk zelf gelukkig beter opgemaakt dan in het Coq-script.)
• Beweren en bewijzen/2013-14/feedback/bloeddrukmeter-deel1  + (De formules zijn slecht van opmaak met respect tot de kwaliteitscriteria. En dat ze ook nog eens niet op de print staan is natuurlijk helemaal een probleem.)
• Beweren en bewijzen/2012-13/feedback/Koelkast-deel2  + (De foutieve suggesties voor de structuuur van de formule tellen zwaar meer. Positief daarentegen is jullie uitleg hoe je de <-> omzet.)
• Beweren en bewijzen/2013-14/feedback/bloeddrukmeter-deel2  + (De natuurlijke taal (zowel in specs als in lopende tekst) had nog wel wat mooier gemogen.)
• Beweren en bewijzen/2012-13/feedback/Frisdrankautomaat-deel1  + (De opmaak van de formules moet soms echt beter!)
• Beweren en bewijzen/2013-14/feedback/gokautomaat-deel2  + (De opmerking in de slides dat het bewijs niet moest worden afgedrukt, maar alleen in een inklapbare tabel moest komen hebben jullie waarschijnlijk gemist.)
• 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/2013-14/feedback/automatischlicht-deel2  + (De taal is het grootste probleem.)
• Beweren en bewijzen/2013-14/feedback/achtbaan-deel1-her  + (De taal is misschien iets verbeterd, maar ik zie nog steeds de nodige slechte zinnen en fouten met d/t. Verder moet de layout van de formules echt verbeterd worden!)
• Beweren en bewijzen/2011-12/feedback/lift-deel1-her  + (De uitdraai is duidelijk niet gecontroleer …
  De uitdraai is duidelijk niet gecontroleerd. Anders was vast wel opgevallen dat er geen netwerk is opgenomen en dat de Z en R in het domeinmodel niet als [] weergegeven. Verder werkt het Coq-script niet. Er zit een syntaxfout in de Wachtlijst. Ook is de correctheidsstelling zelf niet in te lezen in Coq.
  eidsstelling zelf niet in te lezen in Coq.)
• Beweren en bewijzen/2011-12/feedback/fiets-deel1  + (Door de opmaak is het document goed leesbaar.)
• Beweren en bewijzen/2011-12/feedback/frituurpan-deel2  + (Door de titelpagina en de verzorgde bijlages en de grijze blokken met formules, ziet het er echt als een werkstuk uit.)
• 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/2012-13/feedback/Oven-deel2  + (Dubbelzijdig geprint helaas. Functioneel netwerk ontbreekt in de afrduk.)
• Beweren en bewijzen/2011-12/feedback/Verwarmingssysteem-deel1  + (Een aantal dingen staan onder de verkeerde koppen.)
• 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/airco-deel1  + (Eigenlijk alleen het missen van het netwerk is negatief.)
• Beweren en bewijzen/2012-13/feedback/Kruimeldief-deel1  + (Eindelijk eens iemand die begrepen heeft hoe we de formules geformatteerd willen hebben.)
• Beweren en bewijzen/2013-14/feedback/buizenpost-deel2-her  + (Enige minpunt is het niet complete netwerk.)

• Beweren en bewijzen/2011-12/feedback/ATB-deel1  + (Enige minpunt: Verwijder de grijze aanwijzingen.)

• Beweren en bewijzen/2012-13/feedback/Magnetron-deel1-her  + (Enige opmerking qua verzorging is dat de formules niet van de goede syntax zijn.)
• Beweren en bewijzen/2012-13/feedback/Magnetron-deel1  + (Enige opmerking qua verzorging is dat de formules niet van de goede syntax zijn.)
• Beweren en bewijzen/2013-14/feedback/boormachine-deel2  + (Enkele problemen zijn: * De taal is wel wa …
  Enkele problemen zijn: * De taal is wel wat verbeterd, maar er staan nog steeds slecht lopende zinnen. * Het is niet enkelzijdig afgedrukt. * Je gebruikt blijkbaar een iets ander sjabloon dan wij. * Het bewijs is volledig afgedrukt in plaats van het in een 'collapsed table' te stoppen zoals was gezegd tijdens het college en op de slides. * Het dossier ontbreekt.
  en op de slides. * Het dossier ontbreekt.)
• Beweren en bewijzen/2013-14/feedback/kentekenslagboom-deel2  + (Enkele vluchtigheidsfouten, bv. in de inleiding „waarbij ik de werking onderverdeeld heb ik ...” en wisseling tussen „ik” en „wij”.)
• Beweren en bewijzen/2012-13/feedback/Koelkast-deel1-her  + (Er zitten nog wat tikfouten in 'een' waar het 'en' moet zijn, 'termometer' om er twee te noemen.)
• Beweren en bewijzen/2011-12/feedback/xbox360-deel1  + (Er zitten wat taalfouten in (demensionaal bijvoorbeeld).)
• Beweren en bewijzen/2014-15/feedback/Thermostaat-deel1  + (Focus, doel: „werktstuk” --> „werkstuk” Focus, Vereenvoudiging: „idealizeringn” --> „idealiseringen”)
• Beweren en bewijzen/2012-13/feedback/Melkrobot-deel1  + (Formules moeten misschien iets meer worden opgemaakt met de kwaliteitscriteria in het hoofd.)
• 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/2012-13/feedback/Draaideur-deel1  + (Formules zijn netjes weergegeven, maar ze kloppen niet. Het functioneel netwerk bevat geen fenomenen, waardoor het bijna niet bruikbaar is.)
• Beweren en bewijzen/2012-13/feedback/Slagboom-deel1  + (Formules zijn wel leesbaar opgemaakt. Zo nu en dan mag er meer toelichting in natuurlijke taal bij.)
• Beweren en bewijzen/2012-13/feedback/Alarmsysteem-deel2  + (Functioneel netwerk is over twee pagina’s verspreid (wel leesbaar), rest in orde.)
• Beweren en bewijzen/2014-15/feedback/Airconditioner-deel1  + (Functioneel netwerk, korte informele speci …
  Functioneel netwerk, korte informele specificatie van de verdamper: „de ruimte waar de verdamper zich in bevind” --> bevindt. https://nl.wikipedia.org/wiki/Dt-fout#Tegenwoordige_tijd . Corrigeer ook de ander d/t-fouten. Overigens schrijf je direct daaronder „de ruimte waar de verdamper zich bevind” (zonder in). Wat is het verschil? Functioneel netwerk, Compressor: „compressed”: Dit is een engelse werkwoordsvorm in de verleden tijd. Ik ken geen nederlands werkwoord „comprezzen” o.i.d. Een compres is overigens een soort verband. „deze” (mannelijk/vrouwelijk) kan niet verwijzen naar „Het koelmiddel“ (onzijdig). Specificatie van het geheel, „ten alle tijden” --> te allen tijde. „dan geld” --> dan geldt. „is de temperatuur ... niet verandert” --> veranderd.
  tuur ... niet verandert” --> veranderd.)
• Beweren en bewijzen/2011-12/feedback/waterkoker-deel2-her  + (Geen afgedrukt netwerk is wel jammer natuurlijk. Verder voldoen de formules van bijvoorbeeld CPU en Thermostaat absoluut niet aan de kwaliteitscriteria wat betreft leesbaarheid.)
• Beweren en bewijzen/2012-13/feedback/Bankkluis-deel2-her  + (Geen functioneel netwerk en de opmaak van …
  Geen functioneel netwerk en de opmaak van de formules is niet altijd conform de kwaliteitscriteria. Verder zijn er slecht lopende zinnen als 'binnen 10 minuten WORD de correcte sleutel IS ingestoken'. Het lijkt alsof niemand de moeite heeft genomen de afgedrukte versie eens echt te lezen.
  n de afgedrukte versie eens echt te lezen.)
• Beweren en bewijzen/2013-14/feedback/automatischlicht-deel1-her  + (Geen netwerk afdrukken is natuurlijk een z …
  Geen netwerk afdrukken is natuurlijk een zware fout. En zorg dat jullie bij het uiteindelijke werkstuk al dat grijze commentaar over hoe je de teks onder de kopjes moet invullen verwijderd hebben. En laat ook de status niet op 'attention needed' staan. (Ook al was dat nu terecht...) Verder heb ik jullie de vorige keer ook al op taalfouten gewezen. Die zitten er nu nog steeds te veel in.
  n. Die zitten er nu nog steeds te veel in.)
• 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/loopband-deel2  + (Goed gebruikt gemaakt van hulpstellingen. De axioma's uit eerdere versies zijn uiteindelijk netjes bewezen. De layout in het bewijs zorgt er ook voor dat het ondanks de lengte nog wel enigszins te volgen is.)
• Beweren en bewijzen/2013-14/feedback/tandenborstel-deel1  + (Graag volgende keer wel graag jullie namen op de voorpagina.)
• Beweren en bewijzen/2011-12/feedback/lift-deel1  + (Haal de aanwijzingen weg. Zorg dat er straks alleen jullie eigen tekst staat. Verder is het werkstuk niet officieel ingeleverd, maar gezien wat er geschreven is, snap ik dat eigenlijk wel.)
• Beweren en bewijzen/2012-13/feedback/Koelkast-deel1  + (Haal de voorbeelden van de BEL enzo er uit. Verder zijn de formules maar matig opgemaakt, met name de spec van het geheel.)
• Beweren en bewijzen/2011-12/feedback/ov-oplader-deel1  + (Haal in de uiteindelijke versie wel het commentaar weg.)
• Beweren en bewijzen/2013-14/feedback/Carwash-deel1-her  + (Had ik niet gezegd dat ik het functionele netwerk op '''één''' pagina wilde?)
• Beweren en bewijzen/2013-14/feedback/buizenpost-deel1  + (Hebben jullie je print zelf nog doorgelezen? Ik betwijfel het want dan hadden jullie die sliders wel gezien.)
• Beweren en bewijzen/2013-14/feedback/elektrischegitaar-deel1  + (Het afgebroken netwerk helpt natuurlijk ni …
  Het afgebroken netwerk helpt natuurlijk niet. Sowieso weet ik niet precies hoe jullie deze print gemaakt hebben. Als ik vanuit Firefox op Print druk, krijg ik iets zonder al die 'bewerken' er in. Experimenteer wat zodat de definitieve versie straks er echt beter uitziet. Verder was om een enkelzijdige afdruk gevraagd (zodat we specs naast elkaar kunnen leggen en niet telkens bladzijden hoeven om te slaan). En paginanummers helpen ook!
  m te slaan). En paginanummers helpen ook!)