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/airco-deel2 + (Eigen voorstel(groep/zelf):
Pim: 8.0/8.0
B … Eigen voorstel(groep/zelf): Pim: 8.0/8.0 Bjorn: 8.0/8.0 Dorus: 10.0/10.0 Ennier: 8.0/8.0elaas ook niet anders dan een onvoldoende geven.)
Het niet opvolgen van feedback is natuurlijk niet slim. Maar erger is dat jullie natuurlijke taal gewoon slecht bij de formules past. En in Coq opeens een andere stelling gaan bewijzen lijkt me ook niet slim, zeker als het bewijs gewoon op een syntax error hangt. (En ook na een haakje weghalen hangt het bewijs: de all_e past dan niet bij de situatie) Ik kan dan helaas ook niet anders dan een onvoldoende geven.