Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 13 jun 2014 14:35 (wijz | gesch) . . (+2.125) . . Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen (laatste wijziging)
- 11 jun 2014 14:25 (wijz | gesch) . . (-39) . . Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht (→De specificatie van het geheel)
- 11 jun 2014 14:24 (wijz | gesch) . . (-16) . . Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht (→LichtRegelaar)
- 11 jun 2014 14:23 (wijz | gesch) . . (-2) . . Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht (→BewegingsSensor)
- 5 jun 2014 18:17 (wijz | gesch) . . (-3) . . Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht (→Het bewijs)
- 5 jun 2014 18:05 (wijz | gesch) . . (-3) . . Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht (→De specificatie van het geheel)
- 5 jun 2014 18:03 (wijz | gesch) . . (-1) . . Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht (→LichtRegelaar)
- 5 jun 2014 18:03 (wijz | gesch) . . (-51) . . Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht (→BewegingsSensor)
- 4 jun 2014 20:04 (wijz | gesch) . . (-605) . . k Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht (Grijze tekst weggehaald.)
- 4 jun 2014 20:02 (wijz | gesch) . . (-230) . . Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht (→Het domeinmodel)
- 1 jun 2014 17:39 (wijz | gesch) . . (+135) . . k Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/13 (laatste wijziging)
- 23 mei 2014 22:23 (wijz | gesch) . . (+66) . . N Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/13 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} Ik heb de volgende stellingen geprobeerd:')
- 21 mei 2014 16:13 (wijz | gesch) . . (+56) . . k Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht (→Focus)
- 21 mei 2014 14:01 (wijz | gesch) . . (+1) . . k Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht
- 21 mei 2014 13:38 (wijz | gesch) . . (-6) . . Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht (→De correctheidsstelling)
- 18 mei 2014 23:46 (wijz | gesch) . . (+228) . . N Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/12 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opdracht 1 == Ik heb de opdrachten 1 t/m 3, 5, 6, 14 en 15, deze zijn allemaal gelukt op 6 na. == Opdracht 3 == Ik heb de opdrachten 4,7,8,...') (laatste wijziging)
- 18 mei 2014 14:37 (wijz | gesch) . . (+104) . . Beweren en bewijzen/2013-14/spreekuren (→Engelbert)
- 12 mei 2014 08:50 (wijz | gesch) . . (+298) . . N Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/11 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} Ik heb gedaan welke gelukt zijn: <pre>1, 14, 17, 20</pre> Ik heb gedaan welke niet gelukt zijn: <pre>38, 63, 66, 89</pre> De opdrachten zijn...') (laatste wijziging)
- 5 mei 2014 15:41 (wijz | gesch) . . (+382) . . N Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/10 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} '''met ∧ en →:'''<br> 1 Ging goed.<br> 2 Ging goed.<br> 3 Ging goed.<br> 4 Ging goed.<br> 5 Niet gelukt.<br> 13 Ging goed.<br> 14 Gin...') (laatste wijziging)
- 25 apr 2014 10:04 (wijz | gesch) . . (+495) . . Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht (→De specificatie van het geheel)
- 24 apr 2014 14:02 (wijz | gesch) . . (+242) . . Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht (→Het bewijs)
- 24 apr 2014 13:48 (wijz | gesch) . . (+2) . . Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht (→LichtRegelaar)
- 24 apr 2014 13:47 (wijz | gesch) . . (-28) . . Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht
- 24 apr 2014 13:45 (wijz | gesch) . . (+10) . . Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht (→BewegingsSensor)
- 24 apr 2014 13:38 (wijz | gesch) . . (-135) . . Beweren en bewijzen/2013-14/werkstuk/Automatisch Licht (→BewegingsSensor)
- 22 apr 2014 09:54 (wijz | gesch) . . (+2.615) . . N Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/09 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} =Opdracht 1= <pre> Definitionleeft (x:M) (t:T) := (∃y:T, wordtGeboren x y ∧ y ≤ t) ∧ ¬(∃z:T, overlijdt x z ∧z &...') (laatste wijziging)
- 14 apr 2014 10:58 (wijz | gesch) . . (+697) . . Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/08 (→Definitie) (laatste wijziging)
- 14 apr 2014 10:33 (wijz | gesch) . . (+6) . . Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/08 (→Versimpeling van de probleemstelling)
- 14 apr 2014 10:33 (wijz | gesch) . . (+12) . . Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/08 (→Versimpeling van de probleemstelling)
- 14 apr 2014 10:32 (wijz | gesch) . . (+12) . . Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/08 (→Versimpeling van de probleemstelling)
- 14 apr 2014 08:59 (wijz | gesch) . . (+935) . . Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/08
- 14 apr 2014 08:42 (wijz | gesch) . . (+1) . . Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/08
- 14 apr 2014 08:41 (wijz | gesch) . . (+667) . . N Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/08 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} === isTanteVan === Definition isEenNieuwHuis(x:A) := ∀y:M, ¬isEigenaarVan y x Syntaxfout, mist een '.' Moet zijn: Definition isEe...')
- 24 mrt 2014 09:43 (wijz | gesch) . . (+81) . . Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/07 (laatste wijziging)
- 24 mrt 2014 09:42 (wijz | gesch) . . (+12) . . k Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→{{van|Elian ten Holder}}Als een dier een kat is dan stinkt het.: Correct manier van duidelijk maken wie wat gedaan heeft doorgevoerd.)
- 24 mrt 2014 09:39 (wijz | gesch) . . (-6) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→{{van|Elian ten Holder}}Als een dier een kat is dan stinkt het.)
- 24 mrt 2014 09:36 (wijz | gesch) . . (-7) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→{{van|Jan en Elian ten Holder}}Als een dier een kat is dan stinkt het.)
- 24 mrt 2014 09:35 (wijz | gesch) . . (+103) . . k Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (Nieuwe bewering toegevoegd.)
- 24 mrt 2014 09:30 (wijz | gesch) . . (+183) . . N Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/07 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} is4x4 beschrijving van de meting aangepast. isTeKoop veranderd naar isEenNieuwHuis en uitleg gegeven. Als een dier een kat is dan stinkt het ...')
- 24 mrt 2014 09:13 (wijz | gesch) . . (+72) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→{{van|Jan en Elian ten Holder}}Als een dier een kat is dan stinkt het.)
- 24 mrt 2014 09:04 (wijz | gesch) . . (+23) . . k Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→{{van|Jeroen Manders en Elian ten Holder}} isEenNieuwHuis)
- 24 mrt 2014 09:03 (wijz | gesch) . . (+3) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→{{van|Jeroen Manders en Elian ten Holder}} staatTeKoop: Als een huis geen eigenaar is dan is het een nieuw huis, anders heeft een huis altijd een eigenaar.)
- 24 mrt 2014 08:44 (wijz | gesch) . . (-9) . . k Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (Om een auto als 4x4 te classificeren hoeft deze niet door een centrale motor te worden aangedreven.)
- 17 mrt 2014 09:50 (wijz | gesch) . . (+3.970) . . N Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/06 (Uitwerkingen in wiki gezet.)
- 10 mrt 2014 09:21 (wijz | gesch) . . (+955) . . Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/05 (Toevoeging van opdracht 3 en extra informatie bij opdracht 2.)
- 10 mrt 2014 09:11 (wijz | gesch) . . (+259) . . Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/05 (→Opdracht 2)
- 10 mrt 2014 01:19 (wijz | gesch) . . (+809) . . Nk Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/05 (Begin)
- 5 mrt 2014 09:53 (wijz | gesch) . . (+2.707) . . Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/04
- 5 mrt 2014 09:39 (wijz | gesch) . . (+40) . . Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/04 (→Opdracht 1)
- 5 mrt 2014 09:22 (wijz | gesch) . . (+2.343) . . N Gebruiker:Elian ten Holder/2013-14/Beweren en bewijzen/taak/04 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} =Opdracht 1= ==Uit de vorige taak:== '''Definition KabelDVDtoTV:= dvdsp_geluid <math>\land</math> dvdsp_beeld) <math>\leftrightarrow</math>((t...')
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
