Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 13 jun 2014 14:16 (wijz | gesch) . . (-5) . . k Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Het domeinmodel)
- 13 jun 2014 14:15 (wijz | gesch) . . (-32) . . k Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Het domeinmodel)
- 13 jun 2014 14:13 (wijz | gesch) . . (-1) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Onderdelen)
- 13 jun 2014 14:12 (wijz | gesch) . . (-4) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Vereenvoudigingen)
- 13 jun 2014 14:11 (wijz | gesch) . . (+15) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Het bestudeerde fragment van de realiteit)
- 13 jun 2014 14:07 (wijz | gesch) . . (+130) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Inleiding)
- 13 jun 2014 14:04 (wijz | gesch) . . (+151) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Inleiding)
- 13 jun 2014 13:58 (wijz | gesch) . . (+264) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Inleiding)
- 13 jun 2014 13:51 (wijz | gesch) . . (+226) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger
- 13 jun 2014 13:08 (wijz | gesch) . . (+180) . . Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen (laatste wijziging)
- 13 jun 2014 13:01 (wijz | gesch) . . (+775) . . Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen
- 12 jun 2014 14:23 (wijz | gesch) . . (-2) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Onderdeelspecificaties)
- 12 jun 2014 14:23 (wijz | gesch) . . (-1) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Onderdeelspecificaties)
- 12 jun 2014 14:20 (wijz | gesch) . . (-14) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Onderdeelspecificaties)
- 12 jun 2014 14:14 (wijz | gesch) . . (+77) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Onderdeelspecificaties)
- 12 jun 2014 13:18 (wijz | gesch) . . (+20) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Onderdeelspecificaties)
- 12 jun 2014 12:43 (wijz | gesch) . . (+3.455) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Onderdeelspecificaties)
- 12 jun 2014 12:31 (wijz | gesch) . . (+41) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Onderdeelspecificaties)
- 12 jun 2014 12:26 (wijz | gesch) . . (-34) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Onderdeelspecificaties)
- 12 jun 2014 12:24 (wijz | gesch) . . (+4) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Onderdeelspecificaties)
- 11 jun 2014 15:15 (wijz | gesch) . . (+533) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→De specificatie van het geheel)
- 11 jun 2014 14:26 (wijz | gesch) . . (+52) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Onderdeelspecificaties)
- 11 jun 2014 13:28 (wijz | gesch) . . (+202) . . Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Onderdeelspecificaties)
- 31 mei 2014 00:29 (wijz | gesch) . . (+155) . . k Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Het bewijs)
- 31 mei 2014 00:18 (wijz | gesch) . . (+5) . . k Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Het bewijs)
- 31 mei 2014 00:11 (wijz | gesch) . . (-45) . . k Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Het bewijs)
- 31 mei 2014 00:07 (wijz | gesch) . . (-1) . . k Beweren en bewijzen/2013-14/werkstuk/Stofzuiger (→Het bewijs)
- 26 mei 2014 23:05 (wijz | gesch) . . (+361) . . N Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/13 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opdracht 1== Ik heb 20, 22 en 24 gemaakt op medium en 42 en 56 op difficult. Aangezien ik dit zonder coq heb moeten doen in de trein is het...') (laatste wijziging)
- 19 mei 2014 01:23 (wijz | gesch) . . (+335) . . N Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/12 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opdrachten== Easy: 4, 7, 8, 14, 15, 23, 62, 86 Medium: 3, 10, 11, 13, 46, 47 Ik ben hier veelste lang mee bezig geweest, ik had de vorige t...') (laatste wijziging)
- 19 mei 2014 01:22 (wijz | gesch) . . (-335) . . Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/11 (De pagina is leeggehaald) (laatste wijziging)
- 19 mei 2014 01:21 (wijz | gesch) . . (+335) . . N Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/11 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opdrachten== Easy: 4, 7, 8, 14, 15, 23, 62, 86 Medium: 3, 10, 11, 13, 46, 47 Ik ben hier veelste lang mee bezig geweest, ik had de vorige t...')
- 5 mei 2014 22:34 (wijz | gesch) . . (+503) . . N Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/10 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} Ik heb de stellingen 1 t/m 4, 12 t/m 15, 17 t/m 20 en 30 t/m 33 en 35 geprobeerd te maken. Aangezien ik niet bij het hoorcollege was heb ik ee...') (laatste wijziging)
- 22 apr 2014 07:57 (wijz | gesch) . . (+12) . . Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/09 (laatste wijziging)
- 22 apr 2014 07:56 (wijz | gesch) . . (-19) . . Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/09
- 22 apr 2014 07:54 (wijz | gesch) . . (+2.773) . . N Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/09 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opdracht 1 == <pre> Definition leeft (x:M) (t:T) := (∃t0:T, wordtGeboren x t0 ∧ (t0 <= t)) ∧ ¬(∃d:T, overli...')
- 13 apr 2014 23:27 (wijz | gesch) . . (+996) . . Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/08 (laatste wijziging)
- 13 apr 2014 23:08 (wijz | gesch) . . (+900) . . N Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/08 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == Eerste fout: === Er is een mens dat houdt van een regenachtige weerstoestand === ∀x:M ∃ y:Q ...')
- 24 mrt 2014 00:54 (wijz | gesch) . . (-15) . . Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/07 (laatste wijziging)
- 24 mrt 2014 00:54 (wijz | gesch) . . (+669) . . N Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/07 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == Ik heb het domeinmodel aangepast en ik heb het type van alle weersomstandigheden toegevoegd, samen met 3 predikaten om te kijk...')
- 24 mrt 2014 00:51 (wijz | gesch) . . (+142) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden
- 24 mrt 2014 00:49 (wijz | gesch) . . (+199) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden
- 24 mrt 2014 00:31 (wijz | gesch) . . (+672) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden
- 24 mrt 2014 00:06 (wijz | gesch) . . (+186) . . Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen
- 16 mrt 2014 22:24 (wijz | gesch) . . (0) . . Bestand:Caspar Safarlou.jpg (heeft een nieuwe versie van "Bestand:Caspar Safarlou.jpg" toegevoegd) (laatste wijziging)
- 16 mrt 2014 22:22 (wijz | gesch) . . (+2.596) . . N Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/06 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == # tautologie. # tautologie. # tautologie. # geen tautologie. # geen tautologie. # tautologie. # geen tautologie. # geen tautol...') (laatste wijziging)
- 9 mrt 2014 15:26 (wijz | gesch) . . (+168) . . N Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/05 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opdracht 1 == http://i58.tinypic.com/4fu7pk.jpg http://i57.tinypic.com/14tm3id.jpg Ze zijn prima gelukt. == Opdracht 2 == == Opdracht 3 ==') (laatste wijziging)
- 7 mrt 2014 00:31 (wijz | gesch) . . (+385) . . Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen
- 2 mrt 2014 21:57 (wijz | gesch) . . (+154) . . Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/04
- 2 mrt 2014 21:55 (wijz | gesch) . . (+1.145) . . Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/04
- 2 mrt 2014 21:39 (wijz | gesch) . . (+1.838) . . N Gebruiker:Caspar Safarlou/2013-14/Beweren en bewijzen/taak/04 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opdracht 1 == *De specificatie van het koffiezetapparaat: <pre> Definition koffiezetapparaat aangepast:= (koffie_stroom ∧ koffie_knop...')
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
