Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 11 jun 2015 13:44 (wijz | gesch) . . (+58) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Onderdeelspecificaties)
- 11 jun 2015 11:18 (wijz | gesch) . . (+2.471) . . Gebruiker:Daan Roos/2014-15/Beweren en bewijzen (laatste wijziging)
- 26 mei 2015 22:45 (wijz | gesch) . . (+445) . . N Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/13 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 2 == Medium: Stelling 40: imp_i, all_i, dis_e, all_e, all_e, 3x hyp. Stelling 44: imp_i, all_i, neg_i, all_e, con_e2, hyp, con_i...') (laatste wijziging)
- 22 mei 2015 12:17 (wijz | gesch) . . (-1.176) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→De specificatie van het geheel)
- 22 mei 2015 12:15 (wijz | gesch) . . (+35) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Aandrijfdeel)
- 22 mei 2015 12:06 (wijz | gesch) . . (+177) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Knop)
- 19 mei 2015 14:37 (wijz | gesch) . . (+138) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Circuit)
- 17 mei 2015 22:05 (wijz | gesch) . . (+78) . . k Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/12 (→Opgave 3) (laatste wijziging)
- 17 mei 2015 21:57 (wijz | gesch) . . (-21) . . Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/12
- 17 mei 2015 21:54 (wijz | gesch) . . (+762) . . N Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/12 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 en 2 == ===Easy=== 7, solved: 1x →I, 1x ¬I, 1x ∀I, 1x ∨I1, 1x ∀E, 2x hyp. 34, solved: 2x →I,1...')
- 10 mei 2015 22:48 (wijz | gesch) . . (+369) . . N Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/11 (Nieuwe pagina aangemaakt met 'Ik ben vandaag teruggekomen van de KI Zwedenreis en heb weinig tijd gehad om hiervoor te gaan zitten. Bij opdracht 1 begon ik met propositie 20 maar dit lukte mij al n...') (laatste wijziging)
- 28 apr 2015 22:03 (wijz | gesch) . . (+706) . . N Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/10 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == P = Piet houdt van bier. Q = Piet zit op het terras. R = Piet drinkt bier. Als Piet van bier houdt en Piet op het terras zit...') (laatste wijziging)
- 23 apr 2015 14:23 (wijz | gesch) . . (+224) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Het domeinmodel)
- 23 apr 2015 14:21 (wijz | gesch) . . (+151) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Onderdeelspecificaties)
- 23 apr 2015 14:20 (wijz | gesch) . . (+7) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Circuit)
- 23 apr 2015 14:19 (wijz | gesch) . . (+38) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Functioneel netwerk)
- 23 apr 2015 14:17 (wijz | gesch) . . (+110) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Structuur)
- 23 apr 2015 14:07 (wijz | gesch) . . (+232) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Circuit)
- 23 apr 2015 14:06 (wijz | gesch) . . (+389) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Onderdeelspecificaties)
- 22 apr 2015 15:33 (wijz | gesch) . . (+82) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Motor)
- 22 apr 2015 15:32 (wijz | gesch) . . (+112) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Knop)
- 22 apr 2015 15:10 (wijz | gesch) . . (+72) . . k Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Knop)
- 22 apr 2015 15:09 (wijz | gesch) . . (+103) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Onderdeelspecificaties)
- 22 apr 2015 14:48 (wijz | gesch) . . (+2) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Motor)
- 22 apr 2015 14:48 (wijz | gesch) . . (+257) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Onderdeelspecificaties)
- 19 apr 2015 22:27 (wijz | gesch) . . (+3.659) . . N Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/09 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opdracht 1 == 1. 'x leeft op moment t' Definition leeft (x:M) (t:T) := exists t0:T, wordtGeboren x t0 /\ t0 <= t /\ ...') (laatste wijziging)
- 19 apr 2015 22:05 (wijz | gesch) . . (0) . . Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/08 (→Reflectie) (laatste wijziging)
- 19 apr 2015 22:04 (wijz | gesch) . . (+3.009) . . N Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/08 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opdracht 1 == Zie ons werkstuk. == Opdracht 2 == 1. === is de grootste koning. === <pre> Definition GrootsteVegetariër (m:M) := isVeget...')
- 12 apr 2015 20:23 (wijz | gesch) . . (+633) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Onderdeelspecificaties)
- 1 apr 2015 14:00 (wijz | gesch) . . (+272) . . Beweren en bewijzen/2014-15/werkstuk/Elektrische Tandenborstel (→Waarom?)
- 23 mrt 2015 01:26 (wijz | gesch) . . (+342) . . N Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/07 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 2 == Ik heb de definitie isBoerin toegevoegd Definition isBoerin(m:M) := ~isMan m /\ is isBoer m. De bewering die ik heb opgelos...') (laatste wijziging)
- 23 mrt 2015 01:25 (wijz | gesch) . . (+114) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Beweringen)
- 23 mrt 2015 01:17 (wijz | gesch) . . (-118) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Als je een snor hebt, ben je gelukkig.)
- 23 mrt 2015 01:15 (wijz | gesch) . . (+118) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Beweringen)
- 23 mrt 2015 01:11 (wijz | gesch) . . (+103) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Hulpdefinities)
- 22 mrt 2015 23:03 (wijz | gesch) . . (+190) . . Gebruiker:Daan Roos/2014-15/Beweren en bewijzen
- 17 mrt 2015 13:51 (wijz | gesch) . . (+9) . . Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/05 (→Opdracht 2) (laatste wijziging)
- 17 mrt 2015 13:50 (wijz | gesch) . . (-114) . . Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/05 (→Opdracht 3)
- 15 mrt 2015 22:39 (wijz | gesch) . . (+8) . . Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/06
- 15 mrt 2015 22:38 (wijz | gesch) . . (+2.131) . . N Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/06 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opdracht 1 == 1. is een tautologie. 2. is een tautologie. 3. is een tautologie. 4. heeft een tegenvoorbeeld, is geen tautologie. 5. h...')
- 8 mrt 2015 20:22 (wijz | gesch) . . (+1.205) . . N Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/05 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opdracht 1 == Ik heb stelling 1, 7, 43, 50 en 30 bewezen en dit is gelukt. == Opdracht 2 == Dit is de correctheidsstelling van mijn ap...')
- 1 mrt 2015 21:54 (wijz | gesch) . . (+709) . . Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/04 (laatste wijziging)
- 1 mrt 2015 21:32 (wijz | gesch) . . (+735) . . N Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/04 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opgave 2== * Boven sectie-96 ontbreekt een regel 'naamgeving'. * Implicatie-90 moet equivalentie zijn. * Negatie-31 moet negatief zijn. * ...')
- 1 mrt 2015 21:25 (wijz | gesch) . . (+278) . . Gebruiker:Daan Roos/2014-15/Beweren en bewijzen
- 22 feb 2015 18:02 (wijz | gesch) . . (+1.103) . . Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/03 (laatste wijziging)
- 22 feb 2015 14:59 (wijz | gesch) . . (0) . . Beweren en bewijzen/2014-15/oefenpagina/bedrading
- 22 feb 2015 14:56 (wijz | gesch) . . (+1.647) . . N Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/03 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == Alice: Bob en ik zijn beide ridders -> Dan en slechts dan als Alice een ridder is, dan zijn Alice en Bob beide ridders. Bob:...')
- 22 feb 2015 14:53 (wijz | gesch) . . (-8) . . Beweren en bewijzen/2014-15/oefenpagina/bedrading
- 22 feb 2015 14:50 (wijz | gesch) . . (+655) . . Beweren en bewijzen/2014-15/oefenpagina/bedrading
- 17 feb 2015 17:50 (wijz | gesch) . . (+20) . . Gebruiker:Daan Roos/2014-15/Beweren en bewijzen/taak/02 (→Opgave 2) (laatste wijziging)
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
