Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 16 jun 2015 08:16 (wijz | gesch) . . (+1.212) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen (→Invullen bij mijlpaal 7) (laatste wijziging)
- 15 jun 2015 20:31 (wijz | gesch) . . (+99) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen (→Invullen bij mijlpaal 7)
- 15 jun 2015 15:04 (wijz | gesch) . . (+455) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen (→Invullen bij mijlpaal 7)
- 12 jun 2015 11:20 (wijz | gesch) . . (+28) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen (→Invullen bij mijlpaal 7)
- 12 jun 2015 11:18 (wijz | gesch) . . (+2.079) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen (→Invullen bij mijlpaal 7)
- 26 mei 2015 19:35 (wijz | gesch) . . (+13) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/13 (laatste wijziging)
- 26 mei 2015 19:33 (wijz | gesch) . . (+74) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/13
- 26 mei 2015 19:04 (wijz | gesch) . . (+168) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/13
- 26 mei 2015 08:33 (wijz | gesch) . . (+28) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/13 (→Opdracht 3)
- 26 mei 2015 08:18 (wijz | gesch) . . (+86) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/13 (→Opdracht 3)
- 26 mei 2015 08:01 (wijz | gesch) . . (+162) . . N Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/13 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ===Opdracht 1=== ===Opdracht 2=== ===Opdracht 3=== exercise 001: 2x imp_i, 1x all_i, 1x imp_e. 1x all_e, 1x hyp, 1x lin_solve: Solved')
- 17 mei 2015 15:07 (wijz | gesch) . . (+623) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/12
- 17 mei 2015 11:18 (wijz | gesch) . . (+285) . . N Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/12 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ===Opdracht 1 en 2=== Easy: exercise 004: 1x imp_i, 1x all_i, 2x all_e, 1x hyp ---- Coq: Solved Medium: ===Opdracht 3=== Easy: exersi...')
- 27 apr 2015 19:46 (wijz | gesch) . . (+199) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/10 (laatste wijziging)
- 27 apr 2015 12:37 (wijz | gesch) . . (+187) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/10
- 27 apr 2015 12:04 (wijz | gesch) . . (-93) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/10
- 25 apr 2015 11:01 (wijz | gesch) . . (+529) . . N Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/10 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ===Opdracht 1=== P: Piet heeft geld Q: Piet geeft geld aan Henk R: Henk is teleurgesteld 1 We nemen aan: als Piet geld heeft, en hij g...')
- 24 apr 2015 14:35 (wijz | gesch) . . (+80) . . Beweren en bewijzen/2014-15/werkstuk/zonnepaneel
- 18 apr 2015 20:30 (wijz | gesch) . . (+340) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/09 (laatste wijziging)
- 18 apr 2015 20:24 (wijz | gesch) . . (+197) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/09
- 18 apr 2015 20:17 (wijz | gesch) . . (+115) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/09
- 18 apr 2015 20:14 (wijz | gesch) . . (+346) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/09
- 18 apr 2015 20:09 (wijz | gesch) . . (+269) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/09
- 18 apr 2015 19:56 (wijz | gesch) . . (+386) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/09
- 18 apr 2015 19:49 (wijz | gesch) . . (+18) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/09
- 18 apr 2015 19:09 (wijz | gesch) . . (+538) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/09
- 18 apr 2015 16:32 (wijz | gesch) . . (+457) . . N Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/09 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ===Opdracht 1=== 1. 'x leeft op moment t' <pre>Definition leeft (x:M) (t:T) := (exists s:T, wordtGeboren x s /\ s <= t) /\ ...')
- 17 apr 2015 15:07 (wijz | gesch) . . (-3) . . Beweren en bewijzen/2014-15/werkstuk/zonnepaneel (→Het domeinmodel)
- 17 apr 2015 15:06 (wijz | gesch) . . (-1) . . Beweren en bewijzen/2014-15/werkstuk/zonnepaneel (→Het domeinmodel)
- 17 apr 2015 15:05 (wijz | gesch) . . (-2) . . Beweren en bewijzen/2014-15/werkstuk/zonnepaneel (→Het domeinmodel)
- 17 apr 2015 15:04 (wijz | gesch) . . (+4) . . Beweren en bewijzen/2014-15/werkstuk/zonnepaneel (→Het domeinmodel)
- 17 apr 2015 15:01 (wijz | gesch) . . (+486) . . Beweren en bewijzen/2014-15/werkstuk/zonnepaneel (→Het domeinmodel)
- 17 apr 2015 13:38 (wijz | gesch) . . (-10) . . Beweren en bewijzen/2014-15/werkstuk/zonnepaneel (→Onderdelen)
- 17 apr 2015 13:31 (wijz | gesch) . . (-8) . . Beweren en bewijzen/2014-15/werkstuk/zonnepaneel (→Functioneel netwerk)
- 17 apr 2015 13:30 (wijz | gesch) . . (+692) . . Beweren en bewijzen/2014-15/werkstuk/zonnepaneel (→Functioneel netwerk)
- 17 apr 2015 11:10 (wijz | gesch) . . (0) . . Beweren en bewijzen/2014-15/werkstuk/zonnepaneel (→Vereenvoudigingen)
- 17 apr 2015 11:08 (wijz | gesch) . . (-1) . . Beweren en bewijzen/2014-15/werkstuk/zonnepaneel (→Wat wordt formeel behandeld?)
- 23 mrt 2015 08:17 (wijz | gesch) . . (+11) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/07
- 22 mrt 2015 18:55 (wijz | gesch) . . (+57) . . Overleg:Beweren en bewijzen/2014-15/werkstuk
- 22 mrt 2015 16:29 (wijz | gesch) . . (+13) . . Overleg:Beweren en bewijzen/2014-15/werkstuk
- 22 mrt 2015 14:45 (wijz | gesch) . . (+307) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen
- 21 mrt 2015 15:35 (wijz | gesch) . . (+171) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden
- 21 mrt 2015 15:21 (wijz | gesch) . . (+515) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/07
- 21 mrt 2015 15:10 (wijz | gesch) . . (+251) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden
- 21 mrt 2015 14:57 (wijz | gesch) . . (+244) . . N Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/07 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opdracht 1== komt nog ==Opdracht 2== De bewering "Iedereen die van iemand houdt, kan vliegen" stond al tussen de beweringen en ik heb de...')
- 21 mrt 2015 14:52 (wijz | gesch) . . (+89) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden
- 21 mrt 2015 14:23 (wijz | gesch) . . (+112) . . Overleg:Beweren en bewijzen/2014-15/werkstuk
- 15 mrt 2015 16:10 (wijz | gesch) . . (+417) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/06 (laatste wijziging)
- 15 mrt 2015 16:05 (wijz | gesch) . . (+1.093) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/06
- 14 mrt 2015 20:12 (wijz | gesch) . . (+5) . . Gebruiker:Thomas Zoeter/2014-15/Beweren en bewijzen/taak/06
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
