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/PizzaAutomaat-deel2  + ( * Netjes vormgegeven. Het leest heel prettig. * Wel dubbelzijdig afgedrukt. * De grijze tekst ter instructie had wel weg gemogen. * Bewijs moest niet worden afgedrukt. )
• Beweren en bewijzen/2014-15/feedback/domotica-systeem-deel1  + ( * Op zich is er niet veel aan te merken op de verzorging behalve dan natuurlijk dat het Coq-script mist! )
• Beweren en bewijzen/2014-15/feedback/Autowasstraat-deel2  + ( * Origineel om het in landscape af te drukken. Bij het netwerk en veel formules is dat geen slecht idee. * Verder ziet het er allemaal gewoon netjes uit. )
• Beweren en bewijzen/2014-15/feedback/voyager-deel2  + ( * Tja, niet de goede / laatste versie inleveren is natuurlijk niet slim. * En toch nog dubbelzijdig afgedrukt. )
• Beweren en bewijzen/2014-15/feedback/Zelfrijdende auto-deel2  + ( * Toch dubbelzijdig afgedrukt. * En de sp …
  * Toch dubbelzijdig afgedrukt. * En de specs van de onderdelen zijn ingeklapt afgedrukt. Dan kan ik ze dus niet lezen. En moet ik maar hopen dat ze consistent zijn met de formules in het Coq-script. * Het script is rommelig met allerlei uitgecommentarieerde dingen die jullie blijkbaar toch niet nodig hebben.
  ie jullie blijkbaar toch niet nodig hebben. )
• Beweren en bewijzen/2014-15/feedback/Pinautomaat-deel2  + ( * Toch dubbelzijdig afgedrukt. * Jullie hadden de tekst ter instructie wel weg mogen halen. * De conclusie ontbreekt. )
• Beweren en bewijzen/2014-15/feedback/Sluis-deel2  + ( * Toch dubbelzijdig afgedrukt. * Maar verder ziet het er keurig uit. )
• Beweren en bewijzen/2014-15/feedback/tosti-ijzer-deel1-her  + ( * Toch geniet. * Toch dubbelzijdig afgedrukt. * Funtioneel netwerk niet op 1 pagina. )
• Beweren en bewijzen/2014-15/feedback/Eierkoker-deel2-her  + ( * Toch geniet... )
• Beweren en bewijzen/2014-15/feedback/Lift-deel1  + ( * Toch geniet... * Toch dubbelzijdig afgedrukt... * En haal de grijze tekst uit het sjabloon weg. Die staat er alleen maar om jullie duidelijk te maken wat je waar moet opschrijven. * Er is geen Coq-script. )
• Beweren en bewijzen/2014-15/feedback/tosti-ijzer-deel2  + ( * Toch geniet... * Vrij veel taalfouten. * Netwerk slecht afgedrukt. )
• Beweren en bewijzen/2014-15/feedback/De Ack-deel2  + ( * Vrij veel kleine taalfouten als ontbrekende letters in woorden. * Bewijs moest dus eigenlijk niet afgedrukt worden. * De conclusie ontbreekt. Heb je misschien een oud format voor het werkstuk gebruikt? )
• 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”.)