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/2014-15/feedback/Elektronisch deurslot-deel1  + ( * [ ] De grijze tekst ter instructie uit …
  * [ ] De grijze tekst ter instructie uit het sjabloon mogen jullie weghalen als jullie zo'n blok hebben ingevuld. * [x] En mijn eerdere commentaar mag in de definitieve versie ook weg. * [ ] Er zitten nog best wel wat schrijffouten in; d's en t's, reëele...
  chrijffouten in; d's en t's, reëele... )
• Beweren en bewijzen/2011-12/feedback/grijpautomaat-deel1  + (Afgezien van een paar taalfouten weinig op aan te merken.)
• Beweren en bewijzen/2012-13/feedback/Lift-deel1  + (Afgezien van het missende netwerk ziet de …
  Afgezien van het missende netwerk ziet de afdruk er goed uit. In het bijzonder zijn de formules leesbaar. Maar dan wel weer jammer dat de inleverinstructies blijkbaar niet zo goed zijn gelezen. Ik heb twee versies gekregen waarvan een ingebonden en een (zoals gevraagd) op losse blaadjes. Maar die was dan weer niet enkelzijdig bedrukt. Dat vragen we zodat we de verschillende onderdelen naast elkaar kunnen leggen.
  nde onderdelen naast elkaar kunnen leggen.)
• Beweren en bewijzen/2012-13/feedback/Eukaryoot-deel1  + (Al eerder gezegd: is het nodig om alle enz …
  Al eerder gezegd: is het nodig om alle enzymen te modelleren? Het mag natuurlijk wel, maar als jullie een bewijs proberen te maken, kun je misschien eerst slechts een paar enzymen gebruiken. Als je dan hebt bewezen dat je stelling klopt, kun je de ingewikkelde stelling met alle enzymen opschrijven en bewijzen. Het zou me overigens niet verbazen als het in het bewijs handig is om lemma's te bewijzen die je dan vervolgens verschillende keren aanroept.
  n vervolgens verschillende keren aanroept.)
• Beweren en bewijzen/2013-14/feedback/kopieerapparaat-deel2  + (Al hebben jullie de opmerking in de slides dat het bewijs niet geprint hoefde te worden blijkbaar gemist.)
• 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/2014-15/feedback/Zelfrijdende auto-deel1  + (Alleen het Coq-script afdrukken was niet nodig geweest...)
• Beweren en bewijzen/2011-12/feedback/frisdrankautomaat-deel2  + (Alleen jammer van dat ontbrekende netwerk.)
• Beweren en bewijzen/2013-14/feedback/walkietalkie-deel2  + (Beetje jammer dat jullie de instructies hebben laten staan. En beetje jammer dat jullie nog oude versies van specificaties in het script hebben laten staan.)
• 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.)