Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 21 jun 2014 01:23 (wijz | gesch) . . (+2.017) . . Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen (laatste wijziging)
- 17 jun 2014 22:25 (wijz | gesch) . . (+45) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→De specificatie van het geheel)
- 17 jun 2014 22:24 (wijz | gesch) . . (-2) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→De specificatie van het geheel)
- 17 jun 2014 22:22 (wijz | gesch) . . (+182) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→De specificatie van het geheel)
- 11 jun 2014 18:59 (wijz | gesch) . . (-101) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→De specificatie van het geheel: AutosVerdwijnenNiet weggehaald en PatronenBlijvenWillen toegevoegd.)
- 11 jun 2014 18:56 (wijz | gesch) . . (0) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→De specificatie van het geheel: T naar Z ook doorgevoerd in de specificatie van het geheel.)
- 11 jun 2014 18:53 (wijz | gesch) . . (0) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Onderdeelspecificaties: Domein T naar Z ook doorgevoerd in onderdeelspecificaties.)
- 11 jun 2014 18:44 (wijz | gesch) . . (-20) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het domeinmodel: domein T vervangen door domein Z)
- 11 jun 2014 16:15 (wijz | gesch) . . (+166) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Per onderdeel: Uitleg geen verkeer toegevoegd.)
- 11 jun 2014 15:49 (wijz | gesch) . . (+92) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Per onderdeel: Personificaties weggehaald.)
- 11 jun 2014 15:23 (wijz | gesch) . . (+63) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het domeinmodel: Verwerken van commentaar.)
- 18 mei 2014 18:04 (wijz | gesch) . . (+50) . . Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12 (→Niet gelukt) (laatste wijziging)
- 18 mei 2014 17:55 (wijz | gesch) . . (+276) . . Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12 (→Stelling 10)
- 18 mei 2014 17:51 (wijz | gesch) . . (+316) . . Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12 (→Opgave 3)
- 18 mei 2014 17:29 (wijz | gesch) . . (+13) . . k Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12 (→Stelling 6)
- 18 mei 2014 17:29 (wijz | gesch) . . (0) . . k Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12 (→Stelling 6)
- 18 mei 2014 17:29 (wijz | gesch) . . (+138) . . Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12 (→Niet gelukt)
- 18 mei 2014 17:25 (wijz | gesch) . . (+66) . . Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12
- 18 mei 2014 17:18 (wijz | gesch) . . (+7) . . Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12 (→Gelukt)
- 18 mei 2014 17:18 (wijz | gesch) . . (+4) . . k Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12 (→Stelling 61)
- 18 mei 2014 17:17 (wijz | gesch) . . (-16) . . k Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12 (→Stelling 61)
- 18 mei 2014 17:17 (wijz | gesch) . . (-1) . . k Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12 (→Niet gelukte)
- 18 mei 2014 17:16 (wijz | gesch) . . (+5) . . k Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12
- 18 mei 2014 17:11 (wijz | gesch) . . (+4) . . Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12 (→Stelling 72, 73)
- 18 mei 2014 17:04 (wijz | gesch) . . (-1) . . k Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12 (→Stelling 70)
- 18 mei 2014 17:03 (wijz | gesch) . . (-1) . . k Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12 (→Stelling 72)
- 18 mei 2014 17:03 (wijz | gesch) . . (+236) . . k Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12
- 18 mei 2014 16:33 (wijz | gesch) . . (+8) . . k Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12
- 18 mei 2014 16:32 (wijz | gesch) . . (+207) . . Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12 (→Niet gelukte easy stellingen:)
- 18 mei 2014 16:26 (wijz | gesch) . . (+2) . . k Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12
- 18 mei 2014 16:25 (wijz | gesch) . . (+2) . . k Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12 (→Stelling 61)
- 18 mei 2014 16:09 (wijz | gesch) . . (+466) . . N Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/12 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} Gelukte easy stellingen: 1, 2, 4, 7, 8, 14, 15, 23, 31, 34, 45 Niet gelukte easy stellingen: == Stelling 61 == <pre>(∃ x : D, ¬ ...')
- 12 mei 2014 03:51 (wijz | gesch) . . (0) . . k Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/11 (→Coq gebruik) (laatste wijziging)
- 12 mei 2014 03:51 (wijz | gesch) . . (+756) . . N Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/11 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == Medium stellingen: 20, 101, 103, 104 - Allemaal gelukt Difficult stellingen: 103, 37, 113, 117 - Allemaal niet gelukt. == Op...')
- 6 mei 2014 02:45 (wijz | gesch) . . (-4) . . k Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/10 (laatste wijziging)
- 6 mei 2014 02:36 (wijz | gesch) . . (+250) . . N Gebruiker:Lars Bokkers/2013-14/Beweren en bewijzen/taak/10 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == Stellingen 1, 2, 4, 5, 7, 8, 9, 10 Ik heb ook stelling 3 en 6 geprobeerd, hier kwam ik niet uit. Stellingen 12, 13, 17, 18...')
- 24 apr 2014 22:37 (wijz | gesch) . . (+127) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (Page Breaks toegeovegd)
- 24 apr 2014 22:03 (wijz | gesch) . . (+18) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (Aanwijzingen bij onderdelenspecificatie weggecomment.)
- 24 apr 2014 22:01 (wijz | gesch) . . (+27) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (Aanwijzingen weggecomment)
- 24 apr 2014 18:21 (wijz | gesch) . . (+288) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (Natuurlijke taal voor systeem toegevoegd.)
- 24 apr 2014 18:12 (wijz | gesch) . . (+1) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Onderdeelspecificaties)
- 24 apr 2014 18:10 (wijz | gesch) . . (0) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem
- 24 apr 2014 18:10 (wijz | gesch) . . (-8) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (Add 't' parameter to several 'mag'-s and removed spaces after not-operators.)
- 24 apr 2014 18:08 (wijz | gesch) . . (+15) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Onderdeelspecificaties)
- 24 apr 2014 16:44 (wijz | gesch) . . (+172) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (Systeem sluit nu andere patronen uit.)
- 24 apr 2014 16:27 (wijz | gesch) . . (+941) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (Natuurlijke taal voor OP1, OP2, OP3 en OPMerge)
- 24 apr 2014 16:10 (wijz | gesch) . . (+18) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Onderdeelspecificaties)
- 24 apr 2014 15:58 (wijz | gesch) . . (-3) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→{{aanwijzing|Per onderdeel}})
- 24 apr 2014 15:57 (wijz | gesch) . . (+12) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→{{aanwijzing|Per onderdeel}})
- 24 apr 2014 15:51 (wijz | gesch) . . (+483) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (IP1, IP2 en IP3 in natuurlijke taal.)
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
