Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 17 jun 2015 04:23 (wijz | gesch) . . (+307) . . Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen/taak/14 (laatste wijziging)
- 16 jun 2015 16:14 (wijz | gesch) . . (-16) . . Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen (laatste wijziging)
- 16 jun 2015 16:13 (wijz | gesch) . . (+16) . . Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen
- 16 jun 2015 16:11 (wijz | gesch) . . (+976) . . Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen (→Invullen bij mijlpaal 7)
- 16 jun 2015 16:06 (wijz | gesch) . . (+128) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Het domeinmodel)
- 15 jun 2015 21:22 (wijz | gesch) . . (+61) . . Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen/taak/14 (→Opgave 2)
- 11 jun 2015 09:42 (wijz | gesch) . . (+519) . . N Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen/taak/14 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opgave 1== Waar: ja 1. Stel dat als (1.1) Piet de krant leest, dan lacht Maria en kijkt Wilma tv; en als (1.2) Maria lacht of Wilma tv kij...')
- 26 mei 2015 17:41 (wijz | gesch) . . (+10) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Het domeinmodel)
- 26 mei 2015 17:40 (wijz | gesch) . . (+466) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Het domeinmodel)
- 26 mei 2015 17:40 (wijz | gesch) . . (0) . . Beweren en bewijzen/2014-15/feedback/Elektronisch deurslot-deel1
- 24 apr 2015 14:40 (wijz | gesch) . . (-1) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Controller)
- 24 apr 2015 14:37 (wijz | gesch) . . (+282) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Onderdeelspecificaties)
- 24 apr 2015 13:58 (wijz | gesch) . . (+329) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Onderdeelspecificaties)
- 24 apr 2015 13:52 (wijz | gesch) . . (+19) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→App)
- 24 apr 2015 13:42 (wijz | gesch) . . (+78) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Controller)
- 24 apr 2015 13:41 (wijz | gesch) . . (+143) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Server)
- 24 apr 2015 13:33 (wijz | gesch) . . (+83) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Buzzer)
- 24 apr 2015 13:32 (wijz | gesch) . . (+87) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Slot)
- 24 apr 2015 12:11 (wijz | gesch) . . (+8) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Het domeinmodel)
- 24 apr 2015 12:09 (wijz | gesch) . . (+365) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Het domeinmodel)
- 24 apr 2015 11:59 (wijz | gesch) . . (+2) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Slot)
- 24 apr 2015 11:59 (wijz | gesch) . . (0) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Buzzer)
- 24 apr 2015 11:59 (wijz | gesch) . . (+69) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Buzzer)
- 24 apr 2015 11:57 (wijz | gesch) . . (0) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Slot)
- 24 apr 2015 11:56 (wijz | gesch) . . (+1) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Slot)
- 24 apr 2015 11:56 (wijz | gesch) . . (+60) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Slot)
- 20 apr 2015 08:00 (wijz | gesch) . . (+2.802) . . N Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen/taak/09 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opdracht 1== <pre> Definition leeft (x:M) (t:T) := (exists t1:T, t1 < t /\ wordtGeboren x t1) /\ ~(exists t1:T, t1 < t /\ overlijdt x ...') (laatste wijziging)
- 13 apr 2015 07:46 (wijz | gesch) . . (+93) . . Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen/taak/08 (→Opgave 4)
- 13 apr 2015 07:43 (wijz | gesch) . . (+2.290) . . N Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen/taak/08 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == Gedaan. == Opgave 2 == Fout 1: De meting bij heeftSchip. Er staat bij de meting voor heeftSchip: Kijk in eigendomsakte. Di...')
- 12 apr 2015 21:17 (wijz | gesch) . . (0) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Onderdelen)
- 12 apr 2015 21:16 (wijz | gesch) . . (+10) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Onderdelen)
- 12 apr 2015 21:15 (wijz | gesch) . . (+226) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Onderdelen)
- 22 mrt 2015 19:42 (wijz | gesch) . . (+7) . . Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen/taak/07 (→{{van|Ruben Drijvers}} Als iemand een mannelijke vegetariër is, dan lust hij groenten.)
- 22 mrt 2015 19:42 (wijz | gesch) . . (+4) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→{{van|Ruben Drijvers}} Als iemand een mannelijke vegetariër is, dan lust hij groenten.)
- 22 mrt 2015 19:41 (wijz | gesch) . . (+6) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→{{van|Ruben Drijvers}} Als iemand een mannelijke vegetariër is, dan lust hij groenten.)
- 22 mrt 2015 19:40 (wijz | gesch) . . (-3) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→{{van|Ruben Drijvers}} Als iemand een mannelijke vegetariër is, dan lust hij groenten.)
- 22 mrt 2015 19:38 (wijz | gesch) . . (+432) . . Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen/taak/07 (→Opgave 2)
- 22 mrt 2015 19:37 (wijz | gesch) . . (+3) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→{{van|Ruben Drijvers}} als iemand een mannelijke vegetariër, dan lust hij groenten.)
- 22 mrt 2015 19:37 (wijz | gesch) . . (+176) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Beweringen)
- 22 mrt 2015 19:25 (wijz | gesch) . . (+1) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→{{van|Ruben Drijvers}} is mannelijkevegetariër.)
- 22 mrt 2015 19:25 (wijz | gesch) . . (+4) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→{{van|Ruben Drijvers}} Boer is vegetariër.)
- 22 mrt 2015 19:18 (wijz | gesch) . . (+130) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Hulpdefinities)
- 22 mrt 2015 19:02 (wijz | gesch) . . (+416) . . N Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen/taak/07 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == Mijlpaal 3 gemaakt in het dossier. == Opgave 2 == De definitie die ik heb toegevoegd: {| class="wikitable" ! predikaat || t...')
- 22 mrt 2015 18:55 (wijz | gesch) . . (+175) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Domeinmodel)
- 22 mrt 2015 18:37 (wijz | gesch) . . (+272) . . Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen (→Waar sta ik bij het opstarten van het werkstuk)
- 18 mrt 2015 18:07 (wijz | gesch) . . (+41) . . Overleg:Beweren en bewijzen/2014-15/werkstuk. (→Zoek groep)
- 15 mrt 2015 21:31 (wijz | gesch) . . (+1.744) . . N Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen/taak/06 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opdracht 1== 1. Tautologie. 2. Tautologie. 3. Tautologie. 4. Geen tautologie. Open tak gevonden. 5. Geen tautologie. Open tak gevonden...')
- 8 mrt 2015 21:15 (wijz | gesch) . . (+914) . . N Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen/taak/05 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opdracht 1 == 1. Gelukt. 13. Gelukt. 18. Gelukt. 28. Gelukt. 32. Gelukt. == Opdracht 2 == Het was mij vorige week gelukt om mijn s...')
- 2 mrt 2015 07:34 (wijz | gesch) . . (+32) . . Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen/taak/04 (→Opgave 4)
- 2 mrt 2015 07:32 (wijz | gesch) . . (+1.975) . . N Gebruiker:Ruben Drijvers/2014-15/Beweren en bewijzen/taak/04 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == Zie dossier. == Opgave 2 == - Negatie-31 moet negatief zijn. - Negatief-59 moet negatie zijn. - Tussen negatie-79 en disj...')
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
