Gebruikersbijdragen

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

• 12 jun 2014 10:59 (wijz | gesch) . . (+2.120)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen ‎ (laatste wijziging)
• 12 jun 2014 10:42 (wijz | gesch) . . (-1)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎De specificatie van het geheel)
• 12 jun 2014 10:40 (wijz | gesch) . . (+3)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Het bewijs)
• 12 jun 2014 10:39 (wijz | gesch) . . (+3.383)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Het bewijs)
• 10 jun 2014 14:28 (wijz | gesch) . . (+4.299)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Het bewijs)
• 10 jun 2014 14:27 (wijz | gesch) . . (-75)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Het domeinmodel)
• 10 jun 2014 14:27 (wijz | gesch) . . (+65)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Het domeinmodel)
• 10 jun 2014 14:24 (wijz | gesch) . . (+62)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Hulpfuncties)
• 10 jun 2014 14:23 (wijz | gesch) . . (+18)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Structuur)
• 10 jun 2014 14:20 (wijz | gesch) . . (+1)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎{{aanwijzing|Per onderdeel}})
• 10 jun 2014 14:19 (wijz | gesch) . . (+29)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎{{aanwijzing|Per onderdeel}})
• 10 jun 2014 14:12 (wijz | gesch) . . (+1.030)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎De specificatie van het geheel)
• 27 mei 2014 13:59 (wijz | gesch) . . (-13)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Het bewijs)
• 27 mei 2014 13:59 (wijz | gesch) . . (+1.658)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Het bewijs)
• 27 mei 2014 12:36 (wijz | gesch) . . (+14)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎{{aanwijzing|Per onderdeel}})
• 27 mei 2014 12:36 (wijz | gesch) . . (+106)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Het domeinmodel)
• 25 mei 2014 01:53 (wijz | gesch) . . (+136)‎ . . N Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/13 ‎ (Nieuwe pagina aangemaakt met 'Getallenstelling 1 en 2 succesvol gemaakt, 3 t/m 5 geprobeerd maar niet gelukt. Verder nog predicaatlogica stelling 061 en 023 voltooid.') (laatste wijziging)
• 19 mei 2014 09:56 (wijz | gesch) . . (+4)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/12 ‎ (laatste wijziging)
• 19 mei 2014 09:55 (wijz | gesch) . . (+91)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/12 ‎
• 19 mei 2014 08:30 (wijz | gesch) . . (+399)‎ . . N Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/12 ‎ (Nieuwe pagina aangemaakt met '{{individuele opdracht}} Ik heb eerst een aantal oefenstellingen van vorige week herhaald, en heb daarna stelling 1 t/m 14 gemaakt. De pagina over Coq op de werkplaat...')
• 13 mei 2014 12:13 (wijz | gesch) . . (-28)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎De specificatie van het geheel)
• 13 mei 2014 12:12 (wijz | gesch) . . (-106)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎De specificatie van het geheel)
• 13 mei 2014 12:10 (wijz | gesch) . . (-399)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Hulpdefinities)
• 13 mei 2014 12:01 (wijz | gesch) . . (+2)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎{{aanwijzing|Per onderdeel}})
• 13 mei 2014 11:56 (wijz | gesch) . . (+29)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎{{aanwijzing|Per onderdeel}})
• 13 mei 2014 11:30 (wijz | gesch) . . (-166)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Het domeinmodel)
• 13 mei 2014 11:25 (wijz | gesch) . . (-145)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Het domeinmodel)
• 8 mei 2014 13:54 (wijz | gesch) . . (-157)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/11 ‎ (→‎Opgave 1)
• 8 mei 2014 12:54 (wijz | gesch) . . (+773)‎ . . N Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/11 ‎ (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == Theorem prop_020: {{Turnstile}} ¬¬¬P → ¬P (Medium) {{Bewijsregel | {{Turnstile}} ¬¬¬P &rarr...')
• 6 mei 2014 03:02 (wijz | gesch) . . (+89)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/10 ‎ (laatste wijziging)
• 6 mei 2014 03:00 (wijz | gesch) . . (+2.984)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/10 ‎
• 6 mei 2014 01:35 (wijz | gesch) . . (+1.680)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/10 ‎
• 5 mei 2014 14:52 (wijz | gesch) . . (+610)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/10 ‎
• 5 mei 2014 14:14 (wijz | gesch) . . (+407)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/10 ‎
• 5 mei 2014 14:01 (wijz | gesch) . . (+1)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/10 ‎
• 5 mei 2014 14:00 (wijz | gesch) . . (+1.103)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/10 ‎ (→‎Natuurlijke deductie met ∧)
• 5 mei 2014 13:38 (wijz | gesch) . . (+2)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/10 ‎
• 5 mei 2014 13:37 (wijz | gesch) . . (+1.509)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/10 ‎
• 5 mei 2014 12:38 (wijz | gesch) . . (+634)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/10 ‎
• 5 mei 2014 12:16 (wijz | gesch) . . (+281)‎ . . N Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/10 ‎ (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ;Stelling 1 = P, P → Q {{Turnstile}} Q {{Bewijsregel | P, P → Q {{Turnstile}} Q | → E | {{Bewijsregel | P, P → Q {{Tur...')
• 24 apr 2014 15:06 (wijz | gesch) . . (-371)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Onderdelen)
• 24 apr 2014 15:05 (wijz | gesch) . . (-130)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Functioneel netwerk)
• 24 apr 2014 14:10 (wijz | gesch) . . (-160)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Het domeinmodel)
• 24 apr 2014 14:08 (wijz | gesch) . . (+125)‎ . . Beweren en bewijzen/2013-14/werkstuk/gokautomaat ‎ (→‎Het domeinmodel)
• 22 apr 2014 08:36 (wijz | gesch) . . (+1.142)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/09 ‎ (→‎Opgave 2) (laatste wijziging)
• 22 apr 2014 08:17 (wijz | gesch) . . (+1.609)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/09 ‎ (→‎Opgave 1)
• 21 apr 2014 22:34 (wijz | gesch) . . (+1)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/09 ‎ (→‎Opgave 1)
• 21 apr 2014 22:34 (wijz | gesch) . . (+651)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/09 ‎ (→‎Opgave 1)
• 21 apr 2014 21:01 (wijz | gesch) . . (+207)‎ . . Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/09 ‎ (→‎Opgave 1)
• 21 apr 2014 20:33 (wijz | gesch) . . (+582)‎ . . N Gebruiker:Marcel de Korte/2013-14/Beweren en bewijzen/taak/09 ‎ (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == De eigenschap: 'x leeft op moment t' kan worden omgezet in het volgende hulppredikaat: <pre> Definition leeft (x:M)(t:T) := ...')

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