Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 16 apr 2015 13:11 (wijz | gesch) . . (+250) . . N Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/09 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opdracht 1== 1. <pre> Definition leeft (x:M) (t:T) := exists g:T, wordtGeboren x g /\ (overlijdt x g+t /\ (t > g \/ t = g)). </pre> 2. <...') (laatste wijziging)
- 12 apr 2015 22:37 (wijz | gesch) . . (+1.752) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/08 (→Opgave 4)
- 12 apr 2015 20:42 (wijz | gesch) . . (+1.881) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/08 (→Opgave 4)
- 11 apr 2015 12:07 (wijz | gesch) . . (0) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/08 (→Opgave 3)
- 2 apr 2015 16:06 (wijz | gesch) . . (+1.024) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/08 (→Opgave 2)
- 2 apr 2015 15:51 (wijz | gesch) . . (+240) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→{{van|Ruben Kluge}} is behaard)
- 2 apr 2015 15:36 (wijz | gesch) . . (+160) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Domeinmodel)
- 2 apr 2015 15:20 (wijz | gesch) . . (+246) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Domeinmodel)
- 2 apr 2015 14:49 (wijz | gesch) . . (+487) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/08 (→Opgave 4)
- 2 apr 2015 14:29 (wijz | gesch) . . (+7) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/08 (→Opgave 3)
- 2 apr 2015 14:28 (wijz | gesch) . . (+161) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/08 (→Opgave 3)
- 2 apr 2015 14:19 (wijz | gesch) . . (+413) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/08 (→Opgave 3)
- 2 apr 2015 12:36 (wijz | gesch) . . (+83) . . N Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/08 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opgave 1== ==Opgave 2== ==Opgave 3== ==Opgave 4==')
- 23 mrt 2015 01:09 (wijz | gesch) . . (+26) . . Beweren en bewijzen/2014-15/werkstuk/Helikopter
- 22 mrt 2015 14:04 (wijz | gesch) . . (+156) . . N Beweren en bewijzen/2014-15/werkstuk/Helikopter (Nieuwe pagina aangemaakt met '{{Werkstuk |auteurs=Matthijs Biondina, Laura Pijnacker, Jetske Adams, Bram Jodies |titel=Stofzuiger |status=busy }} Een stofzuiger, open voor interpretatie.')
- 19 mrt 2015 15:30 (wijz | gesch) . . (+247) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen (→Invullen bij mijlpaal 3) (laatste wijziging)
- 19 mrt 2015 15:09 (wijz | gesch) . . (+139) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/07 (→Opdracht 2)
- 19 mrt 2015 15:07 (wijz | gesch) . . (+62) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Beweringen)
- 19 mrt 2015 14:58 (wijz | gesch) . . (+508) . . N Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/07 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opdracht 1== ==Opdracht 2== Ik heb in het domeinmodel het predikaat isGelukkig toegevoegd: |- | isGelukkig || M → B || isGelukkig m...')
- 19 mrt 2015 14:49 (wijz | gesch) . . (-3) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Alleen gelukkige kinderen kunnen vliegen)
- 19 mrt 2015 14:49 (wijz | gesch) . . (-2) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Alleen gelukkige kinderen kunnen vliegen)
- 19 mrt 2015 14:48 (wijz | gesch) . . (+125) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Alleen gelukkige mensen kunnen vliegen)
- 19 mrt 2015 14:38 (wijz | gesch) . . (+47) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Beweringen)
- 19 mrt 2015 14:28 (wijz | gesch) . . (+159) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Domeinmodel)
- 16 mrt 2015 01:17 (wijz | gesch) . . (+12) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/06 (→Opgave 2) (laatste wijziging)
- 14 mrt 2015 18:11 (wijz | gesch) . . (+1.137) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/06 (→Opgave 3)
- 14 mrt 2015 16:37 (wijz | gesch) . . (+804) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/06 (→Opgave 2)
- 14 mrt 2015 15:54 (wijz | gesch) . . (+1.667) . . N Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/06 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opgave 1== 1. In eerste instantie dacht ik dat het geen tautologie was, met als tegenvoorbeeld A is onwaar en B is waar. Mijn tableau beve...')
- 8 mrt 2015 19:41 (wijz | gesch) . . (+504) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/05
- 8 mrt 2015 19:31 (wijz | gesch) . . (+27) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/05 (→Opgave 2)
- 8 mrt 2015 19:28 (wijz | gesch) . . (+839) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/05 (→Opgave 3)
- 8 mrt 2015 19:07 (wijz | gesch) . . (+170) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/05
- 8 mrt 2015 18:47 (wijz | gesch) . . (-469) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/05
- 8 mrt 2015 17:00 (wijz | gesch) . . (+1.384) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/05
- 8 mrt 2015 16:42 (wijz | gesch) . . (+54) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/05 (→Opgave 1)
- 7 mrt 2015 17:01 (wijz | gesch) . . (+62) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/05
- 7 mrt 2015 16:59 (wijz | gesch) . . (+24) . . N Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/05 (Nieuwe pagina aangemaakt met '{{individuele opdracht}}')
- 7 mrt 2015 16:55 (wijz | gesch) . . (+691) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/04 (→Opgave 3) (laatste wijziging)
- 7 mrt 2015 16:28 (wijz | gesch) . . (+1.392) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/04
- 7 mrt 2015 15:54 (wijz | gesch) . . (+30) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/04
- 7 mrt 2015 15:47 (wijz | gesch) . . (+1.557) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/04 (→Opgave 3)
- 7 mrt 2015 15:19 (wijz | gesch) . . (+389) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/04
- 6 mrt 2015 13:35 (wijz | gesch) . . (+24) . . N Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/04 (Nieuwe pagina aangemaakt met '{{individuele opdracht}}')
- 28 feb 2015 19:15 (wijz | gesch) . . (+224) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen (→Invullen bij mijlpaal 2)
- 23 feb 2015 00:14 (wijz | gesch) . . (+622) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/03 (laatste wijziging)
- 23 feb 2015 00:06 (wijz | gesch) . . (0) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/03 (→Opdracht 4)
- 22 feb 2015 23:36 (wijz | gesch) . . (+610) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/03 (→Opdracht 4)
- 22 feb 2015 22:52 (wijz | gesch) . . (+460) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/03 (→Opdracht 3)
- 22 feb 2015 21:47 (wijz | gesch) . . (+680) . . Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/03 (→Opdracht 1)
- 22 feb 2015 21:38 (wijz | gesch) . . (+585) . . N Gebruiker:Bram Jodies/2014-15/Beweren en bewijzen/taak/03 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opdracht 1 == Het domeinmodel geeft: A:= Alice is ridder. B:= Bob is ridder. C:= Charlie is ridder. Geformaliseerd met proposities k...')
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
