Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 12 jun 2014 11:12 (wijz | gesch) . . (+2.497) . . Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen (laatste wijziging)
- 12 jun 2014 10:32 (wijz | gesch) . . (+1) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→De specificatie van het geheel)
- 12 jun 2014 10:28 (wijz | gesch) . . (+3) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→De correctheidsstelling)
- 22 mei 2014 16:18 (wijz | gesch) . . (+336) . . Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/13
- 22 mei 2014 15:37 (wijz | gesch) . . (+15) . . Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/13
- 22 mei 2014 15:37 (wijz | gesch) . . (+2) . . Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/13
- 22 mei 2014 15:37 (wijz | gesch) . . (+495) . . N Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/13 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} Uit predikaatlogica heb ik nog de medium stellingen 82, 50, en 80 geprobeerd en deze zijn alle drie gelukt. Uit predikaatlogica heb ik nog de...')
- 19 mei 2014 08:36 (wijz | gesch) . . (+8) . . Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/12 (laatste wijziging)
- 19 mei 2014 07:25 (wijz | gesch) . . (+300) . . N Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/12 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} Ik heb wat colleges en opdrachten gemist de afgelopen tijd, dus ik lig achter. Hierdoor had ik ook veel moeite met deze opgave. De stellinge...')
- 13 mei 2014 12:08 (wijz | gesch) . . (0) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→Onderdelen)
- 13 mei 2014 12:07 (wijz | gesch) . . (-42) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→{{aanwijzing|Per onderdeel}})
- 13 mei 2014 12:06 (wijz | gesch) . . (+14) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→Onderdeelspecificaties)
- 13 mei 2014 12:04 (wijz | gesch) . . (+27) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→Onderdelen)
- 13 mei 2014 11:52 (wijz | gesch) . . (+16) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→Onderdeelspecificaties)
- 13 mei 2014 11:50 (wijz | gesch) . . (-12) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat
- 13 mei 2014 11:49 (wijz | gesch) . . (+10) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→{{aanwijzing|Per onderdeel}})
- 13 mei 2014 11:47 (wijz | gesch) . . (+10) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→Onderdeelspecificaties)
- 13 mei 2014 11:30 (wijz | gesch) . . (+153) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→Onderdelen)
- 13 mei 2014 11:16 (wijz | gesch) . . (-34) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→De specificatie van het geheel)
- 24 apr 2014 15:12 (wijz | gesch) . . (-137) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→{{aanwijzing|Per onderdeel}})
- 24 apr 2014 14:37 (wijz | gesch) . . (+495) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→{{aanwijzing|Per onderdeel}})
- 23 apr 2014 11:49 (wijz | gesch) . . (-4) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→Functioneel netwerk)
- 23 apr 2014 11:47 (wijz | gesch) . . (-400) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→Functioneel netwerk)
- 22 apr 2014 07:50 (wijz | gesch) . . (+1.675) . . Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/09 (laatste wijziging)
- 17 apr 2014 14:33 (wijz | gesch) . . (+530) . . Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/09 (→Opgave 1)
- 17 apr 2014 13:42 (wijz | gesch) . . (-2) . . Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/09 (→Opgave 1)
- 17 apr 2014 13:41 (wijz | gesch) . . (+1.000) . . N Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/09 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opgave 1 == 'x leeft op moment t': <pre> Definition leeft (x:M) (t:T) := ∃a:T, (wordtGeboren x a ∧ a < t) ∧ ¬∃b:T...')
- 13 apr 2014 16:24 (wijz | gesch) . . (+1) . . Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/08 (→Opgave 2) (laatste wijziging)
- 11 apr 2014 12:30 (wijz | gesch) . . (+1) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→Onderdelen)
- 11 apr 2014 12:29 (wijz | gesch) . . (+2) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→Onderdelen)
- 11 apr 2014 12:28 (wijz | gesch) . . (+1.501) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→Onderdelen)
- 30 mrt 2014 13:02 (wijz | gesch) . . (0) . . Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/08
- 27 mrt 2014 16:17 (wijz | gesch) . . (+1.423) . . N Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/08 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == '''Fout 1''' Bij het predikaat isDuitser van Adna Bliek, staat bij de meting 'burgerlijke stand raadplegen'. Wat is er fout a...')
- 23 mrt 2014 21:19 (wijz | gesch) . . (+114) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→Alle huisdieren van een koning hebben een rijbewijs.)
- 23 mrt 2014 20:58 (wijz | gesch) . . (+1) . . Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/07 (laatste wijziging)
- 23 mrt 2014 20:57 (wijz | gesch) . . (+1) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→Alle huisdieren van de koning hebben een rijbewijs.)
- 23 mrt 2014 20:57 (wijz | gesch) . . (+2.485) . . N Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/07 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} 1.Op de oefenpagina bij deze taak vind je een tabel met het begin van een domeinmodel, hulpdefinities in predikaatlogica van allerlei familier...')
- 23 mrt 2014 20:55 (wijz | gesch) . . (+247) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→Beweringen)
- 23 mrt 2014 20:31 (wijz | gesch) . . (+120) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→{{van|Moira Berens}} isHuisdier)
- 23 mrt 2014 20:08 (wijz | gesch) . . (+33) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→Domeinmodel)
- 23 mrt 2014 19:55 (wijz | gesch) . . (+378) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→Als je geen rijbewijs hebt en je kunt fietsen, dan heb je een fiets)
- 20 mrt 2014 22:35 (wijz | gesch) . . (+232) . . Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen
- 20 mrt 2014 22:27 (wijz | gesch) . . (+42) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→Het gezichtspunt)
- 20 mrt 2014 12:39 (wijz | gesch) . . (+24) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→Waarom?)
- 20 mrt 2014 12:33 (wijz | gesch) . . (+2) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→Het gezichtspunt)
- 20 mrt 2014 12:07 (wijz | gesch) . . (+175) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat (→Waarom?)
- 20 mrt 2014 11:37 (wijz | gesch) . . (+5.857) . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat
- 17 mrt 2014 03:39 (wijz | gesch) . . (-2) . . Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/06 (→Opgave 2) (laatste wijziging)
- 17 mrt 2014 03:38 (wijz | gesch) . . (+916) . . N Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/06 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == 1. Tautologie 2. Tautologie 3. Tautologie 4. Geen tautologie, open tak gevonden, dus er is een tegenvoorbeeld. 5. Geen taut...')
- 9 mrt 2014 21:36 (wijz | gesch) . . (+2.938) . . Gebruiker:Emmie Peters/2013-14/Beweren en bewijzen/taak/05 (laatste wijziging)
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
