Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 13 jun 2013 15:35 (wijz | gesch) . . (+56) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Het domeinmodel)
- 13 jun 2013 15:34 (wijz | gesch) . . (+275) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Het domeinmodel)
- 13 jun 2013 15:27 (wijz | gesch) . . (+30) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Koeling)
- 13 jun 2013 15:27 (wijz | gesch) . . (+53) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Uitwerpbak)
- 13 jun 2013 15:25 (wijz | gesch) . . (+230) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Frisdrankhouders)
- 13 jun 2013 15:21 (wijz | gesch) . . (+192) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Muntmechanisme)
- 13 jun 2013 15:20 (wijz | gesch) . . (+577) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Display: uitlijning)
- 13 jun 2013 15:03 (wijz | gesch) . . (+2.023) . . Gebruiker:Bas van Berkel/2012-13/Beweren en bewijzen (→Persoonlijk eindverslag) (laatste wijziging)
- 13 jun 2013 14:26 (wijz | gesch) . . (+110) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Vereenvoudigingen)
- 13 jun 2013 14:20 (wijz | gesch) . . (-4) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Wat wordt formeel behandeld?)
- 13 jun 2013 14:09 (wijz | gesch) . . (+15) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Het bewijs: ingeklapt)
- 13 jun 2013 14:06 (wijz | gesch) . . (-293) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→De correctheidsstelling)
- 13 jun 2013 14:04 (wijz | gesch) . . (+295) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Het bewijs)
- 13 jun 2013 14:04 (wijz | gesch) . . (+43) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→De correctheidsstelling)
- 13 jun 2013 13:59 (wijz | gesch) . . (-104) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Selectiemechanisme: nieuwe versie)
- 13 jun 2013 13:56 (wijz | gesch) . . (+30) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Display: uit bewijs)
- 13 jun 2013 13:56 (wijz | gesch) . . (-141) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Hulpdefinities: onnodig)
- 13 jun 2013 13:54 (wijz | gesch) . . (-106) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Het bewijs)
- 13 jun 2013 13:53 (wijz | gesch) . . (+2.973) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Het bewijs: qed-versie)
- 13 jun 2013 13:11 (wijz | gesch) . . (+11.073) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Het bewijs)
- 12 jun 2013 22:00 (wijz | gesch) . . (+1.077) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Het bewijs: geldOpDisplay tb3 gb4 nu bewezen)
- 12 jun 2013 21:51 (wijz | gesch) . . (+41) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Het bewijs: haakjes stonden fout)
- 12 jun 2013 21:46 (wijz | gesch) . . (+940) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (code Bas weer)
- 12 jun 2013 20:55 (wijz | gesch) . . (+2.687) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (aanvulling)
- 12 jun 2013 20:32 (wijz | gesch) . . (+254) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Het bewijs: stonden net nog wat foutjes in)
- 12 jun 2013 20:21 (wijz | gesch) . . (+1.185) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Het bewijs: versie met geldOpDisplay v 0 /\ ~(exists g3:G, exists u:T, u in (v, w] /\ geldInwerpSignaal u g3 \/ geldUitwerpSignaal u g3) in de aannames)
- 12 jun 2013 12:06 (wijz | gesch) . . (-137) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat
- 11 jun 2013 21:19 (wijz | gesch) . . (0) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Muntmechanisme)
- 11 jun 2013 21:18 (wijz | gesch) . . (+12) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Muntmechanisme)
- 11 jun 2013 21:17 (wijz | gesch) . . (+13) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Voeding)
- 11 jun 2013 21:17 (wijz | gesch) . . (+24) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Muntmechanisme)
- 11 jun 2013 21:15 (wijz | gesch) . . (+51) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Selectiemechanisme)
- 11 jun 2013 21:05 (wijz | gesch) . . (0) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→De specificatie van het geheel: kan toch /\ volgens mij, want er is maar een selectie)
- 11 jun 2013 20:57 (wijz | gesch) . . (0) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→De specificatie van het geheel: forall hoort met pijl, maar hier toch met enige twijfel)
- 11 jun 2013 20:48 (wijz | gesch) . . (+153) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→De specificatie van het geheel: als ze voor en na de pijl gebruikt worden moeten ze volgens mij vooraan anders krijg je A en (B -> C) ipv (A en B) -> C)
- 11 jun 2013 20:36 (wijz | gesch) . . (-1) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Display: andere betekenis, deze wordt bedoeld)
- 11 jun 2013 20:21 (wijz | gesch) . . (+5) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Selectiemechanisme: haakjes)
- 11 jun 2013 20:10 (wijz | gesch) . . (+15) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→De specificatie van het geheel: de formule klopt nog niet, want de foralls binden zwakker dan de /\ dus op een gegeven moment (bij de en na het interval staat er: deze drie dingen gelden en deze implicatie geldt.)
- 11 jun 2013 16:11 (wijz | gesch) . . (0) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→De specificatie van het geheel)
- 11 jun 2013 16:05 (wijz | gesch) . . (-1) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Selectiemechanisme)
- 11 jun 2013 15:53 (wijz | gesch) . . (-132) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Het domeinmodel)
- 11 jun 2013 15:52 (wijz | gesch) . . (+1) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Het domeinmodel)
- 11 jun 2013 15:51 (wijz | gesch) . . (+9) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→De correctheidsstelling)
- 11 jun 2013 15:48 (wijz | gesch) . . (-98) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Muntmechanisme)
- 11 jun 2013 15:34 (wijz | gesch) . . (+1) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→De specificatie van het geheel)
- 11 jun 2013 15:33 (wijz | gesch) . . (-141) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→De specificatie van het geheel)
- 11 jun 2013 15:30 (wijz | gesch) . . (+42) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→De specificatie van het geheel)
- 11 jun 2013 15:22 (wijz | gesch) . . (0) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Muntmechanisme)
- 11 jun 2013 15:10 (wijz | gesch) . . (+309) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→De specificatie van het geheel: vertaling)
- 11 jun 2013 14:06 (wijz | gesch) . . (+11) . . Beweren en bewijzen/2012-13/werkstuk/Frisdrankautomaat (→Koeling)
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
