Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 8 aug 2015 00:20 (wijz | gesch) . . (0) . . Bestand:RDverslagTeambigmoney.pdf (heeft een nieuwe versie van "Bestand:RDverslagTeambigmoney.pdf" toegevoegd: Voetnoot uit de tekst gehaald en er daadwerkelijk een voetnoot van gemaakt.) (laatste wijziging)
- 7 aug 2015 21:12 (wijz | gesch) . . (0) . . Bestand:RDverslagTeambigmoney.pdf (heeft een nieuwe versie van "Bestand:RDverslagTeambigmoney.pdf" toegevoegd)
- 28 jun 2015 12:23 (wijz | gesch) . . (+29) . . Gebruiker:Nils Bokdam/2014-15/Research and Development 1 (laatste wijziging)
- 28 jun 2015 12:23 (wijz | gesch) . . (+15) . . N Gebruiker:Nils Bokdam/2014-15/Research and Development 1 (Nieuwe pagina aangemaakt met '{{deze cursus}}')
- 19 jun 2015 23:51 (wijz | gesch) . . (0) . . Bestand:Testreview.pdf (heeft een nieuwe versie van "Bestand:Testreview.pdf" toegevoegd) (laatste wijziging)
- 19 jun 2015 23:49 (wijz | gesch) . . (+26) . . N Research and Development 1/2014-15/projecten/TeamBigMoney/Testreview (Nieuwe pagina aangemaakt met 'Bestand:Testreview.pdf')
- 19 jun 2015 23:48 (wijz | gesch) . . (0) . . N Bestand:Testreview.pdf
- 16 jun 2015 16:04 (wijz | gesch) . . (+1.198) . . Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen (→Persoonlijk eindverslag) (laatste wijziging)
- 16 jun 2015 15:01 (wijz | gesch) . . (-117) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→MORE WORK IN PROGRESS)
- 16 jun 2015 14:58 (wijz | gesch) . . (-104) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→MORE WORK IN PROGRESS)
- 16 jun 2015 14:53 (wijz | gesch) . . (-38) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→MORE WORK IN PROGRESS: nog iets in app)
- 16 jun 2015 14:49 (wijz | gesch) . . (-3) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→MORE WORK IN PROGRESS: nieuwe definitie voor app)
- 16 jun 2015 12:08 (wijz | gesch) . . (+9.211) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Het bewijs)
- 27 mei 2015 08:14 (wijz | gesch) . . (+121) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Het bewijs)
- 27 mei 2015 08:06 (wijz | gesch) . . (+8) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Het bewijs)
- 27 mei 2015 07:54 (wijz | gesch) . . (+516) . . N Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/13 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} === Opdracht 2 === Stelling 3: ik krijg het predikaat niet uit de negatie. Stelling 5: Na de exi_e stap heb ik problemen om een nieuw predikaa...') (laatste wijziging)
- 11 mei 2015 07:59 (wijz | gesch) . . (+653) . . Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/11 (→Opgave 3) (laatste wijziging)
- 10 mei 2015 17:22 (wijz | gesch) . . (+200) . . N Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/11 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} === Opgave 3 === Het is me gelukt om de stellingen 19 en 20 op te lossen. Bij stelling 26 ga ik de mist in. Zoals bij opdracht 1 heb ik vooral...')
- 28 apr 2015 22:02 (wijz | gesch) . . (+486) . . N Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/10 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} === Opdracht 1 === P: Het is oorlog Q: Er worden atoombommen gegooid. R: Er vallen doden Als het oorlog is en er worden atoombommen gegooid, ...') (laatste wijziging)
- 20 apr 2015 13:36 (wijz | gesch) . . (+1.346) . . Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/09 (laatste wijziging)
- 20 apr 2015 07:59 (wijz | gesch) . . (+1.031) . . N Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/09 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} === Opdracht 1 === 'x leeft op moment t' <pre> Definition leeft (x:M) (t:T) := (exists (t1:T), wordtGeboren x t1) /\ (exists (t2:T), overlijdt...')
- 13 apr 2015 04:58 (wijz | gesch) . . (+4.421) . . Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/08
- 13 apr 2015 03:10 (wijz | gesch) . . (+24) . . N Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/08 (Nieuwe pagina aangemaakt met '{{individuele opdracht}}')
- 13 apr 2015 03:06 (wijz | gesch) . . (+947) . . Beweren en bewijzen/2014-15/werkstuk/Elektronisch deurslot (→Het domeinmodel)
- 23 mrt 2015 09:54 (wijz | gesch) . . (+25) . . k Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/07 (individuele opdracht tag vergeten)
- 23 mrt 2015 08:57 (wijz | gesch) . . (+181) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden
- 23 mrt 2015 08:56 (wijz | gesch) . . (+2.448) . . N Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/07 (Nieuwe pagina aangemaakt met '=== Opdracht 1 === Gedaan. === Opdracht 2 === Ik kopiëer hier maar even alles wat ik op de oefenpagina heb aangepast. {| class="wikitable" |+ domeinmodel ! colspan=...')
- 23 mrt 2015 08:49 (wijz | gesch) . . (+328) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Domeinmodel)
- 23 mrt 2015 08:28 (wijz | gesch) . . (+247) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→{{van|Maarten Vos}} is de Bob)
- 23 mrt 2015 08:06 (wijz | gesch) . . (+787) . . Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen (→Invullen bij mijlpaal 3)
- 19 mrt 2015 15:28 (wijz | gesch) . . (+33) . . Overleg:Beweren en bewijzen/2014-15/werkstuk.
- 16 mrt 2015 08:58 (wijz | gesch) . . (+734) . . Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/06 (laatste wijziging)
- 15 mrt 2015 13:39 (wijz | gesch) . . (+696) . . Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/06
- 15 mrt 2015 13:26 (wijz | gesch) . . (+857) . . Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/06 (→Opdracht 1)
- 15 mrt 2015 12:58 (wijz | gesch) . . (+1.953) . . N Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/06 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} === Opdracht 1 === <pre> ~(A -> B) /\ B -> ~A </pre> ~(A -> B) is alleen waar als A waar is en B niet waar. ~(A -> B) /\ B kan dus nooit waar ...')
- 8 mrt 2015 23:20 (wijz | gesch) . . (+61) . . Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/05 (→Opgave 3)
- 8 mrt 2015 23:04 (wijz | gesch) . . (+1.203) . . N Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/05 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} === Opgave 1 === Ik heb geprobeerd de stellingen 7, 19, 20, 31 en 50 te bewijzen, en dat is gelukt. Al mijn bomen hadden alleen gesloten takke...')
- 2 mrt 2015 08:54 (wijz | gesch) . . (+25) . . Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/04 (→Opgave 4) (laatste wijziging)
- 2 mrt 2015 08:53 (wijz | gesch) . . (+2.470) . . N Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/04 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==== Opgave 1 ==== Gedaan. ==== Opgave 2 ==== # Boven sectie-96 ontbreekt een regel 'naamgeving' # Na implicatie-90 moet eigenlijk het hele r...')
- 2 mrt 2015 07:40 (wijz | gesch) . . (+345) . . Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen (→Waar sta ik begin maart?)
- 23 feb 2015 08:58 (wijz | gesch) . . (+25) . . k Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/02 (Ik was niet op de hoogte van de tag {{individuele opdracht}}, dus heb die bij dezen toegevoegd.) (laatste wijziging)
- 23 feb 2015 08:57 (wijz | gesch) . . (+25) . . k Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/03 (laatste wijziging)
- 23 feb 2015 08:47 (wijz | gesch) . . (+66) . . Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/03 (→Opgave 1)
- 23 feb 2015 08:43 (wijz | gesch) . . (+1.166) . . N Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/03 (Nieuwe pagina aangemaakt met '==== Opgave 1 ==== {|class = "wikitable" !|A||B||C||A^B||B->C||A->(B->C)||A<->B |- |0||0||0||0||1||1||1 |- |0||0||1||0||1||1||1 |- |0||1||0||0||0||1||0 |- |0||1||1||0...')
- 23 feb 2015 08:30 (wijz | gesch) . . (-1) . . Beweren en bewijzen/2014-15/oefenpagina/bedrading
- 23 feb 2015 08:28 (wijz | gesch) . . (+526) . . Beweren en bewijzen/2014-15/oefenpagina/bedrading
- 18 feb 2015 00:16 (wijz | gesch) . . (+1.660) . . Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/02
- 17 feb 2015 23:47 (wijz | gesch) . . (-133) . . Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/02 (→Opdracht 1)
- 17 feb 2015 23:46 (wijz | gesch) . . (+563) . . N Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen/taak/02 (Nieuwe pagina aangemaakt met '=== Opdracht 1 === <noinclude>{{klep|opschrift=Bewijs van de tweede helft van de bewering over de deurbel|inhoud=</noinclude> # Stel dat de bel rinkelt # Uit de specif...')
- 17 feb 2015 23:10 (wijz | gesch) . . (-2) . . Gebruiker:Nils Bokdam/2014-15/Beweren en bewijzen (→Invullen bij mijlpaal 1)
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
