Gebruikersbijdragen

(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.

• 14 jun 2013 11:30 (wijz | gesch) . . (+16)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎
• 14 jun 2013 11:28 (wijz | gesch) . . (+320)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Het gezichtspunt)
• 14 jun 2013 11:25 (wijz | gesch) . . (-13)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Waarom?)
• 14 jun 2013 11:23 (wijz | gesch) . . (-34)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Wat wordt formeel behandeld?)
• 14 jun 2013 11:17 (wijz | gesch) . . (+1.269)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Vereenvoudigingen)
• 14 jun 2013 10:56 (wijz | gesch) . . (+286)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Onderdelen)
• 14 jun 2013 10:38 (wijz | gesch) . . (-941)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Hulpdefinities)
• 14 jun 2013 10:37 (wijz | gesch) . . (-203)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Het domeinmodel)
• 14 jun 2013 10:29 (wijz | gesch) . . (+64)‎ . . k Gebruiker:Inez Wijnands/2012-13/Beweren en bewijzen ‎ (→‎Welk cijfer ik zelf voor mijn eigen inbreng zou geven) (laatste wijziging)
• 14 jun 2013 10:27 (wijz | gesch) . . (0)‎ . . k Gebruiker:Inez Wijnands/2012-13/Beweren en bewijzen ‎ (→‎De doelen van Beweren en bewijzen en ik)
• 13 jun 2013 19:37 (wijz | gesch) . . (-761)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Het domeinmodel)
• 13 jun 2013 19:19 (wijz | gesch) . . (+382)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Hulpdefinities)
• 13 jun 2013 19:04 (wijz | gesch) . . (-288)‎ . . k Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Het bewijs)
• 13 jun 2013 19:04 (wijz | gesch) . . (+5)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Referenties)
• 13 jun 2013 19:03 (wijz | gesch) . . (-534)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Onderdeelspecificaties)
• 13 jun 2013 19:02 (wijz | gesch) . . (+406)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Nucleus)
• 13 jun 2013 18:58 (wijz | gesch) . . (+481)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Ruw endoplasmatisch reticulum (RER))
• 13 jun 2013 18:51 (wijz | gesch) . . (+81)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Glad endoplasmatisch reticulum (SER))
• 13 jun 2013 18:50 (wijz | gesch) . . (+137)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Golgi-apparaat)
• 13 jun 2013 18:46 (wijz | gesch) . . (+330)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Mitochondrion)
• 13 jun 2013 18:40 (wijz | gesch) . . (-620)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Cytosol)
• 13 jun 2013 18:07 (wijz | gesch) . . (+341)‎ . . Gebruiker:Inez Wijnands/2012-13/Beweren en bewijzen ‎
• 13 jun 2013 18:04 (wijz | gesch) . . (+3.844)‎ . . Gebruiker:Inez Wijnands/2012-13/Beweren en bewijzen ‎
• 13 jun 2013 16:20 (wijz | gesch) . . (+743)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎De specificatie van het geheel)
• 13 jun 2013 16:10 (wijz | gesch) . . (-820)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎De correctheidsstelling)
• 13 jun 2013 16:07 (wijz | gesch) . . (+643)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Het bewijs)
• 13 jun 2013 16:00 (wijz | gesch) . . (+440)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Referenties)
• 13 jun 2013 15:50 (wijz | gesch) . . (-510)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎
• 13 jun 2013 15:49 (wijz | gesch) . . (+8.535)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Het bewijs)
• 12 jun 2013 10:37 (wijz | gesch) . . (+120)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Hulpdefinities)
• 12 jun 2013 09:31 (wijz | gesch) . . (+33)‎ . . Gebruiker:Inez Wijnands/2012-13/Beweren en bewijzen ‎
• 11 jun 2013 15:30 (wijz | gesch) . . (-266)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎De correctheidsstelling)
• 11 jun 2013 15:08 (wijz | gesch) . . (-14)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Het domeinmodel)
• 11 jun 2013 15:07 (wijz | gesch) . . (+20)‎ . . k Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Hulpdefinities)
• 11 jun 2013 15:05 (wijz | gesch) . . (+814)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Hulpdefinities)
• 11 jun 2013 15:02 (wijz | gesch) . . (-669)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Onderdeelspecificaties)
• 11 jun 2013 14:55 (wijz | gesch) . . (+583)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Hulpdefinities)
• 11 jun 2013 14:31 (wijz | gesch) . . (+836)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Hulpdefinities)
• 11 jun 2013 14:16 (wijz | gesch) . . (+122)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎
• 11 jun 2013 14:13 (wijz | gesch) . . (+266)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎De correctheidsstelling)
• 26 mei 2013 20:48 (wijz | gesch) . . (+1.102)‎ . . N Gebruiker:Inez Wijnands/2012-13/Beweren en bewijzen/taak/12 ‎ (Nieuwe pagina aangemaakt met '{{individuele opdracht}} <pre> Require Import BenB. Variable D: Set. Variable P: D -> Prop. Variable Q: D -> Prop. Theorem pred6: (forall x:D, P x -> Q x) /\ (exist...')
• 12 mei 2013 21:15 (wijz | gesch) . . (+1.033)‎ . . N Gebruiker:Inez Wijnands/2012-13/Beweren en bewijzen/taak/11 ‎ (Nieuwe pagina aangemaakt met '{{individuele opdracht}} De stellingen bewijzen op papier lukt behoorlijk goed. Ik snap alleen niet hoe ik dit in moet voeren bij Coq. Ik kom er bij stelling 23 van d...') (laatste wijziging)
• 4 mei 2013 23:46 (wijz | gesch) . . (+508)‎ . . Gebruiker:Inez Wijnands/2012-13/Beweren en bewijzen/taak/10 ‎ (laatste wijziging)
• 3 mei 2013 22:27 (wijz | gesch) . . (+24)‎ . . N Gebruiker:Inez Wijnands/2012-13/Beweren en bewijzen/taak/10 ‎ (Nieuwe pagina aangemaakt met '{{individuele opdracht}}')
• 26 apr 2013 13:37 (wijz | gesch) . . (+16)‎ . . k Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎De correctheidsstelling)
• 26 apr 2013 13:30 (wijz | gesch) . . (+10)‎ . . k Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎
• 26 apr 2013 13:28 (wijz | gesch) . . (-879)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Onderdeelspecificaties)
• 26 apr 2013 13:23 (wijz | gesch) . . (+154)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Hulpdefinities)
• 26 apr 2013 13:20 (wijz | gesch) . . (+169)‎ . . Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Onderdeelspecificaties)
• 26 apr 2013 13:00 (wijz | gesch) . . (-2)‎ . . k Beweren en bewijzen/2012-13/werkstuk/Eukaryoot ‎ (→‎Hulpdefinities)

(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.