Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 26 mei 2015 23:09 (wijz | gesch) . . (+66) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/13 (laatste wijziging)
- 26 mei 2015 22:43 (wijz | gesch) . . (+118) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/13 (→Opdracht 2)
- 26 mei 2015 22:32 (wijz | gesch) . . (0) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/13 (→Opdracht 2)
- 26 mei 2015 22:32 (wijz | gesch) . . (+118) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/13 (→Opdracht 2)
- 26 mei 2015 22:28 (wijz | gesch) . . (+12) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/13 (→Opdracht 2)
- 25 mei 2015 23:05 (wijz | gesch) . . (+22) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/13
- 25 mei 2015 22:37 (wijz | gesch) . . (+58) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/13
- 25 mei 2015 19:27 (wijz | gesch) . . (+24) . . N Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/13 (Nieuwe pagina aangemaakt met '{{individuele opdracht}}')
- 17 mei 2015 21:47 (wijz | gesch) . . (+1) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/12 (→Opdracht 1 & 2) (laatste wijziging)
- 17 mei 2015 21:47 (wijz | gesch) . . (+29) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/12
- 17 mei 2015 21:45 (wijz | gesch) . . (+3) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/12
- 17 mei 2015 21:45 (wijz | gesch) . . (+267) . . N Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/12 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} = Opdracht 1= Stelling 23: 2x imp_i, all_e, imp_e, exi_i, all_i, 2x hyp. Stelling 31: imp_i, all_i, dis_i1, con_e1, all_e, hyp. Stelling 45: ...')
- 10 mei 2015 22:48 (wijz | gesch) . . (+7) . . k Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/11 (laatste wijziging)
- 10 mei 2015 22:47 (wijz | gesch) . . (+310) . . N Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/11 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} = Opdracht 1 = Stelling 19: niet gelukt Stelling 20: 2x ~I, 1x ->I, 3x hyp Stelling 27: niet gelukt Stelling 37: niet gelukt Stelling 63: nie...')
- 28 apr 2015 01:02 (wijz | gesch) . . (+279) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/10 (laatste wijziging)
- 28 apr 2015 00:42 (wijz | gesch) . . (+246) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/10
- 28 apr 2015 00:28 (wijz | gesch) . . (+294) . . N Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/10 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} = Opdracht 2 = '''Stelling 1''': gelukt, 1x ->E, 2x hyp. '''Stelling 2''': gelukt, 3x ->E, 4x hyp. '''Stelling 3''': niet gelukt, loop vast...')
- 20 apr 2015 01:27 (wijz | gesch) . . (+28) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/09
- 20 apr 2015 01:22 (wijz | gesch) . . (+1.265) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/09
- 20 apr 2015 00:05 (wijz | gesch) . . (+78) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/09
- 19 apr 2015 23:57 (wijz | gesch) . . (+4) . . k Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/09
- 19 apr 2015 23:57 (wijz | gesch) . . (+708) . . N Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/09 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} = Opgave 1 = Definition leeft (x:M) (t:T) := (exists n:T, wordtGeboren n m /\ n < t) /\ (exists m:T, overlijdt m x /\ m > t). Definition w...')
- 12 apr 2015 21:18 (wijz | gesch) . . (+729) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/08
- 12 apr 2015 19:40 (wijz | gesch) . . (+6) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/08
- 12 apr 2015 19:32 (wijz | gesch) . . (+403) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/08
- 12 apr 2015 16:36 (wijz | gesch) . . (+707) . . N Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen/taak/08 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} = Opdracht 2 = === 2.1 === Iedereen leeft of is overleden forall m:M, leeft m \/ is isOverleden m. Typefout of formalisatiefout, dit moet ...')
- 12 feb 2015 14:43 (wijz | gesch) . . (0) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen
- 12 feb 2015 14:43 (wijz | gesch) . . (+155) . . Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen
- 12 feb 2015 14:42 (wijz | gesch) . . (+22) . . N Gebruiker:Hans Krutzer/2014-15/Beweren en bewijzen (Nieuwe pagina aangemaakt met '{{deze cursus|uren=8}}')
- 12 feb 2015 14:42 (wijz | gesch) . . (+12) . . N Gebruiker:Hans Krutzer/2014-15 (Nieuwe pagina aangemaakt met '{{dit jaar}}') (laatste wijziging)
- 6 mei 2014 00:04 (wijz | gesch) . . (+134) . . N Gebruiker:Hans Krutzer/2013-14/Beweren en bewijzen/taak/10 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} Conjunctie en implicatie: 1, 4, 8, 9, 12, 13, 15, 17 Disjunctie en negatie: 18, 20, 22, 23, 29, 34, 46, 47') (laatste wijziging)
- 23 mrt 2014 23:54 (wijz | gesch) . . (+24) . . N Gebruiker:Hans Krutzer/2013-14/Beweren en bewijzen/taak/07 (Nieuwe pagina aangemaakt met '{{individuele opdracht}}') (laatste wijziging)
- 16 mrt 2014 21:44 (wijz | gesch) . . (-15) . . Gebruiker:Hans Krutzer/2013-14/Beweren en bewijzen/taak/06 (→Opdracht 3) (laatste wijziging)
- 16 mrt 2014 21:43 (wijz | gesch) . . (+532) . . Gebruiker:Hans Krutzer/2013-14/Beweren en bewijzen/taak/06
- 16 mrt 2014 18:12 (wijz | gesch) . . (+229) . . N Gebruiker:Hans Krutzer/2013-14/Beweren en bewijzen/taak/06 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} = Opdracht 2 = <pre> Definition headset := ( computer_aan <=> (audio_stekker_in /\ microfoon_stekker_in) /\ geluidsknop_aan /\ mic...')
- 10 mrt 2014 00:50 (wijz | gesch) . . (+305) . . N Gebruiker:Hans Krutzer/2013-14/Beweren en bewijzen/taak/05 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} = Opgave 1 = Stelling 1: gelukt, geen tegenvoorbeeld gevonden Stelling 7: gelukt, geen tegenvoorbeeld gevonden Stelling 13: gelukt, geen tege...') (laatste wijziging)
- 8 mrt 2014 23:50 (wijz | gesch) . . (+1.749) . . N Gebruiker:Hans Krutzer/2013-14/Beweren en bewijzen/taak/04 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} <pre> Variable headset_accu: B. (* Accu levert genoeg spanning *) Variable headset_kabel: B. (* Headset is aangesloten op stopcontact *) Va...') (laatste wijziging)
- 23 feb 2014 23:19 (wijz | gesch) . . (+2.021) . . N Gebruiker:Hans Krutzer/2013-14/Beweren en bewijzen/taak/03 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == === Uitspraken en proposities === {| class="wikitable" |- ! Persoon !! Uitspraak!! Propositielogica |- | Alice || Bob en ik z...') (laatste wijziging)
- 16 feb 2014 18:03 (wijz | gesch) . . (+3) . . Gebruiker:Hans Krutzer/2013-14/Beweren en bewijzen/taak/02 (→Probleem 3) (laatste wijziging)
- 16 feb 2014 18:02 (wijz | gesch) . . (+2.602) . . N Gebruiker:Hans Krutzer/2013-14/Beweren en bewijzen/taak/02 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Deurbel == # Stel dat het rinkelt. # Uit de specificatie weten we dat wanneer het rinkelt, er spanning staat op contact C. # Uit de specif...')
- 16 feb 2014 13:22 (wijz | gesch) . . (+57) . . Gebruiker:Hans Krutzer/2013-14/Beweren en bewijzen
- 16 feb 2014 13:20 (wijz | gesch) . . (+22) . . N Gebruiker:Hans Krutzer/2013-14/Beweren en bewijzen (Nieuwe pagina aangemaakt met '{{deze cursus|uren=8}}')
- 16 feb 2014 13:20 (wijz | gesch) . . (+12) . . N Gebruiker:Hans Krutzer/2013-14 (Nieuwe pagina aangemaakt met '{{dit jaar}}') (laatste wijziging)
- 5 jul 2013 13:20 (wijz | gesch) . . (-1.421) . . Gebruiker:Hans Krutzer/2012-13/Beweren en bewijzen (Tekst vervangen door '{{Deze cursus |regeling=standaard }}') (laatste wijziging)
- 5 jul 2013 13:20 (wijz | gesch) . . (+1.418) . . N Gebruiker:Hans Krutzer/2012-13/Beweren en bewijzen/dossierverslag (Nieuwe pagina aangemaakt met '= Dossierverslag = === Hoe ik het werken aan dit werkstuk vond === Ik vond het grootste gedeelte van het werkstuk niet erg leuk om te maken. Ik heb nog niet door hoe d...') (laatste wijziging)
- 4 jul 2013 22:05 (wijz | gesch) . . (+478) . . Gebruiker:Hans Krutzer/2012-13/Beweren en bewijzen (→Dossierverslag)
- 4 jul 2013 21:17 (wijz | gesch) . . (+4) . . k Beweren en bewijzen/2012-13/werkstuk/Magnetron (→Onderdeelspecificaties: Seriële komma verwijderd) (laatste wijziging)
- 4 jul 2013 21:14 (wijz | gesch) . . (-76) . . Beweren en bewijzen/2012-13/werkstuk/Magnetron (→Coq Script: doei overbodige haakjes)
- 4 jul 2013 21:14 (wijz | gesch) . . (-80) . . Beweren en bewijzen/2012-13/werkstuk/Magnetron (→Onderdeelspecificaties: doei overbodige haakjes)
- 4 jul 2013 21:11 (wijz | gesch) . . (-15) . . Beweren en bewijzen/2012-13/werkstuk/Magnetron (→Onderdeelspecificaties: electronenbuis spec)
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
