Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 19 jun 2015 17:24 (wijz | gesch) . . (+200) . . Beweren en bewijzen/2014-15/werkstuk/voyager (→Onderdeelspecificaties) (laatste wijziging)
- 19 jun 2015 17:19 (wijz | gesch) . . (-200) . . Beweren en bewijzen/2014-15/werkstuk/voyager (→Hulpdefinities)
- 19 jun 2015 17:18 (wijz | gesch) . . (-229) . . Beweren en bewijzen/2014-15/werkstuk/voyager (→Het domeinmodel)
- 19 jun 2015 17:18 (wijz | gesch) . . (+421) . . Beweren en bewijzen/2014-15/werkstuk/voyager (→Inleiding)
- 19 jun 2015 16:57 (wijz | gesch) . . (+640) . . Beweren en bewijzen/2014-15/werkstuk/voyager (→Conclusie)
- 19 jun 2015 16:52 (wijz | gesch) . . (+248) . . Beweren en bewijzen/2014-15/werkstuk/voyager (→De correctheidsstelling)
- 19 jun 2015 16:52 (wijz | gesch) . . (+371) . . Beweren en bewijzen/2014-15/werkstuk/voyager (→De specificatie van het geheel)
- 19 jun 2015 16:51 (wijz | gesch) . . (+1.653) . . Beweren en bewijzen/2014-15/werkstuk/voyager (→Onderdeelspecificaties)
- 16 jun 2015 11:22 (wijz | gesch) . . (+1.726) . . Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen (→Persoonlijk eindverslag) (laatste wijziging)
- 26 mei 2015 18:12 (wijz | gesch) . . (-71) . . Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/13 (→Opgave 3) (laatste wijziging)
- 26 mei 2015 14:14 (wijz | gesch) . . (+891) . . N Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/13 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} = Opgave 2 = * 24 (medium), 1ximp_i, 1xexi_e, 1xneg_i, 1xdis_i, 1x all_e. Solved. * 32 (medium), 1x imp_i, 1xexi_e, 4xcon_e, 1xexi_i, 1xneg_...')
- 25 mei 2015 20:38 (wijz | gesch) . . (-229) . . Beweren en bewijzen/2014-15/werkstuk/voyager (→Functioneel netwerk)
- 18 mei 2015 00:20 (wijz | gesch) . . (+852) . . N Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/12 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} === Opdracht 1 en 2 === * 4 (easy) 2xall_e, 1xall_i. Gelukt. * 68 (easy).1xexi_i, 1x~-i, 1xall_i. Gelukt. * 70 (easy) 1xexi-i, 2x~-i, 1xall...') (laatste wijziging)
- 10 mei 2015 22:42 (wijz | gesch) . . (0) . . Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/11 (→Opgave 1 / 2) (laatste wijziging)
- 10 mei 2015 22:42 (wijz | gesch) . . (+812) . . N Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/11 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} = Opgave 1 / 2 = * 20 (medium). 3*hyp, 2*~-intro. Solved. * 29 (medium). 3*hyp, 1*lem, 6*\/-elim, 1*~-intro, 1*/\intro. Solved. * 54 (medium)...')
- 27 apr 2015 21:34 (wijz | gesch) . . (+1.679) . . N Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/10 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Een bewijs in natuurlijke taal van stelling 15.== P = ik heb een kat Q = ik ben allergisch R = ik moet de hele tijd niezen. Aanname: als ...') (laatste wijziging)
- 24 apr 2015 16:13 (wijz | gesch) . . (-308) . . Beweren en bewijzen/2014-15/werkstuk/voyager
- 24 apr 2015 16:08 (wijz | gesch) . . (+3) . . Beweren en bewijzen/2014-15/werkstuk/voyager (→Functioneel netwerk)
- 24 apr 2015 16:06 (wijz | gesch) . . (-667) . . Beweren en bewijzen/2014-15/werkstuk/voyager (→Het bewijs)
- 24 apr 2015 15:51 (wijz | gesch) . . (+247) . . Beweren en bewijzen/2014-15/werkstuk/voyager (→Functioneel netwerk)
- 23 apr 2015 15:15 (wijz | gesch) . . (+12) . . Beweren en bewijzen/2014-15/werkstuk/voyager (→Functioneel netwerk)
- 23 apr 2015 15:09 (wijz | gesch) . . (+338) . . Beweren en bewijzen/2014-15/werkstuk/voyager (→Functioneel netwerk)
- 23 apr 2015 14:23 (wijz | gesch) . . (+1) . . k Beweren en bewijzen/2014-15/werkstuk/voyager (→Functioneel netwerk)
- 23 apr 2015 14:20 (wijz | gesch) . . (+3) . . Beweren en bewijzen/2014-15/werkstuk/voyager (→Functioneel netwerk)
- 16 apr 2015 21:01 (wijz | gesch) . . (+3.395) . . N Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/09 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opgave 1== <pre> Definition leeft (x:M) (t:T) := (exists g:T, wordtGeboren x g /\ t >= g) /\ (forAll o:T, o <...')
- 12 apr 2015 20:19 (wijz | gesch) . . (+2.490) . . Beweren en bewijzen/2014-15/werkstuk/voyager
- 12 apr 2015 17:48 (wijz | gesch) . . (+2.009) . . Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/08
- 12 apr 2015 17:43 (wijz | gesch) . . (+739) . . Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/08
- 12 apr 2015 16:11 (wijz | gesch) . . (+1.830) . . N Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/08 (opgave 2)
- 22 mrt 2015 22:42 (wijz | gesch) . . (+153) . . k Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen (→Waar sta ik bij het opstarten van het werkstuk: link naar werkstuk toegevoegd)
- 22 mrt 2015 18:20 (wijz | gesch) . . (+6.698) . . Beweren en bewijzen/2014-15/werkstuk/voyager (template ingekopieerd)
- 22 mrt 2015 18:18 (wijz | gesch) . . (+32) . . Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen (→Waar sta ik bij het opstarten van het werkstuk)
- 21 mrt 2015 17:00 (wijz | gesch) . . (+595) . . N Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/07 (begin taak 7) (laatste wijziging)
- 21 mrt 2015 16:55 (wijz | gesch) . . (+79) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (bewering toegevoegd)
- 21 mrt 2015 16:51 (wijz | gesch) . . (+1) . . k Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Alle mannelijke studenten die niet dronken zijn hebben een hond)
- 21 mrt 2015 16:44 (wijz | gesch) . . (+24) . . k Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Alle mannelijke studenten die niet dronken zijn hebben een hond)
- 21 mrt 2015 16:43 (wijz | gesch) . . (+55) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Alle mannelijke studenten die niet dronken zijn hebben een hond)
- 21 mrt 2015 16:36 (wijz | gesch) . . (+358) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Een student kan geen eigenaar zijn van een kat of hond, behalve als hij/zij een alien is)
- 21 mrt 2015 16:20 (wijz | gesch) . . (+284) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Domeinmodel: meting voor eigenaarVanKat toegevoegd)
- 16 mrt 2015 03:03 (wijz | gesch) . . (+1.710) . . N Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/06 (taak 6) (laatste wijziging)
- 8 mrt 2015 22:51 (wijz | gesch) . . (+1.578) . . N Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/05 (mijn uitwerking van week 5)
- 1 mrt 2015 21:11 (wijz | gesch) . . (-236) . . Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/04 (→Opgave 2: commentaar verwerkt: negatief is wel iets dat bestaat) (laatste wijziging)
- 1 mrt 2015 21:09 (wijz | gesch) . . (-70) . . k Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/04 (→Mijn specificatie van vorige week: commentaar verwerkt: theorem alleen met ':')
- 26 feb 2015 16:15 (wijz | gesch) . . (+1.108) . . Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/04 (opgave 4 + template)
- 26 feb 2015 16:06 (wijz | gesch) . . (+46) . . k Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/04 (→Wat kan er verbeterd)
- 26 feb 2015 16:04 (wijz | gesch) . . (-9) . . k Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/04 (→De verbeterde specificatie)
- 26 feb 2015 16:04 (wijz | gesch) . . (-19) . . Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/04 (→De verbeterde specificatie)
- 26 feb 2015 14:48 (wijz | gesch) . . (+924) . . Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/04 (opgave 3)
- 26 feb 2015 14:33 (wijz | gesch) . . (+983) . . N Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen/taak/04 (begin taak 4)
- 26 feb 2015 14:12 (wijz | gesch) . . (+145) . . Gebruiker:Yorick van Pelt/2014-15/Beweren en bewijzen (→Waar sta ik begin maart?: mijlpaal 2)
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
