Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 10 nov 2016 14:40 (wijz | gesch) . . (+15) . . N Gebruiker:Jim Driessen/2016-17/Onderzoeksmethoden (Nieuwe pagina aangemaakt met '{{deze cursus}}') (laatste wijziging)
- 10 nov 2016 14:40 (wijz | gesch) . . (+12) . . N Gebruiker:Jim Driessen/2016-17 (Nieuwe pagina aangemaakt met '{{dit jaar}}') (laatste wijziging)
- 3 jul 2015 16:37 (wijz | gesch) . . (+1.453) . . Gebruiker:Jim Driessen/2014-15/Beweren en bewijzen (→Persoonlijk eindverslag) (laatste wijziging)
- 3 jul 2015 16:25 (wijz | gesch) . . (-25) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Bewijs)
- 3 jul 2015 16:24 (wijz | gesch) . . (+13.505) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Begin Bewijs)
- 2 jul 2015 16:28 (wijz | gesch) . . (+2.446) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Begin Bewijs)
- 2 jul 2015 15:56 (wijz | gesch) . . (-140) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Functioneel netwerk)
- 10 jun 2015 11:11 (wijz | gesch) . . (+166) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Het domeinmodel)
- 8 jun 2015 16:55 (wijz | gesch) . . (+4.685) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Specificatie van het geheel)
- 4 jun 2015 14:24 (wijz | gesch) . . (+5) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Pinautomaat)
- 4 jun 2015 14:24 (wijz | gesch) . . (+4) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Pinautomaat)
- 4 jun 2015 14:23 (wijz | gesch) . . (+4) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Processor)
- 4 jun 2015 14:23 (wijz | gesch) . . (+5) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Het domeinmodel)
- 4 jun 2015 13:35 (wijz | gesch) . . (+27) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Het domeinmodel)
- 4 jun 2015 13:29 (wijz | gesch) . . (+31) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Het domeinmodel)
- 4 jun 2015 13:20 (wijz | gesch) . . (-47) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Het domeinmodel)
- 11 mei 2015 00:44 (wijz | gesch) . . (+130) . . Gebruiker:Jim Driessen/2014-15/Beweren en bewijzen/taak/11 (→Opgave 3) (laatste wijziging)
- 11 mei 2015 00:40 (wijz | gesch) . . (+676) . . N Gebruiker:Jim Driessen/2014-15/Beweren en bewijzen/taak/11 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opgave 1 & 2== * 020: Gelukt, 1x ->I, 1x ~E*, 2x hyp. Coq geeft "Solved". * 026: Gelukt, 1x ->I, 1x ~I, 2x /\E2, 1x \/E, 1x ~E, 1x /\E1, 5x ...')
- 29 apr 2015 00:34 (wijz | gesch) . . (0) . . Gebruiker:Jim Driessen/2014-15/Beweren en bewijzen/taak/10 (→Natuurlijke deductie ∨ en ¬) (laatste wijziging)
- 29 apr 2015 00:32 (wijz | gesch) . . (0) . . Gebruiker:Jim Driessen/2014-15/Beweren en bewijzen/taak/10 (→Natuurlijke deductie ∧ en →)
- 28 apr 2015 22:50 (wijz | gesch) . . (0) . . Gebruiker:Jim Driessen/2014-15/Beweren en bewijzen/taak/10 (→Natuurlijke deductie ∧ en →)
- 28 apr 2015 01:48 (wijz | gesch) . . (+1.248) . . N Gebruiker:Jim Driessen/2014-15/Beweren en bewijzen/taak/10 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Bewijzen in natuurlijke taal== Gegeven: * P: Sjraar drinkt veel bier. * Q: Sjraar is geen alcoholist. * R: Sjraar is een student. Te bewijz...')
- 23 apr 2015 16:41 (wijz | gesch) . . (+57) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Functioneel netwerk)
- 23 apr 2015 16:24 (wijz | gesch) . . (+1.113) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Hulpdefinities)
- 23 apr 2015 16:20 (wijz | gesch) . . (0) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Functioneel netwerk)
- 23 apr 2015 16:16 (wijz | gesch) . . (+2) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Onderdelen)
- 23 apr 2015 16:04 (wijz | gesch) . . (+22) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Functioneel netwerk)
- 23 apr 2015 16:03 (wijz | gesch) . . (+820) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Functioneel netwerk)
- 23 apr 2015 15:39 (wijz | gesch) . . (-1.200) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Mijlpaal 4)
- 23 apr 2015 15:39 (wijz | gesch) . . (+315) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Mijlpaal 4)
- 23 apr 2015 14:29 (wijz | gesch) . . (+113) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat (→Mijlpaal 4)
- 23 apr 2015 13:18 (wijz | gesch) . . (+2.577) . . Beweren en bewijzen/2014-15/werkstuk/Pinautomaat
- 20 apr 2015 03:16 (wijz | gesch) . . (+321) . . Gebruiker:Jim Driessen/2014-15/Beweren en bewijzen/taak/09 (→Opgave 3)
- 20 apr 2015 03:10 (wijz | gesch) . . (+2.764) . . Gebruiker:Jim Driessen/2014-15/Beweren en bewijzen/taak/09 (→Opgave 2)
- 20 apr 2015 02:27 (wijz | gesch) . . (+1.406) . . N Gebruiker:Jim Driessen/2014-15/Beweren en bewijzen/taak/09 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opgave 1: Familietoestanden met tijd== ===x leeft op moment t=== <pre> Definition leeft (x:M) (t:T) := exists g:T, wordtGebo...')
- 23 mrt 2015 02:12 (wijz | gesch) . . (+120) . . Gebruiker:Jim Driessen/2014-15/Beweren en bewijzen (→Waar sta ik bij het opstarten van het werkstuk)
- 23 mrt 2015 02:01 (wijz | gesch) . . (+1.160) . . N Gebruiker:Jim Driessen/2014-15/Beweren en bewijzen/taak/07 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opgave 1== Zie mijlpaal. ==Opgave 2== ===Kritisch kijken naar het...') (laatste wijziging)
- 23 mrt 2015 02:00 (wijz | gesch) . . (+37) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→{{van|Jim Driessen}} Als je ingecheckt bent en je hebt een kat, ben je een Piraten-Kapitein)
- 23 mrt 2015 01:58 (wijz | gesch) . . (+111) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→{{van|Jim Driessen}} Als je een weekendabonnement op je OV-chipkaart hebt en je bent ingecheckt, ben je een koning(in).)
- 23 mrt 2015 01:54 (wijz | gesch) . . (+1) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→{{van|Jim Driessen}}Als je een weekendabonnement op je OV-chipkaart hebt en je bent ingecheckt, ben je een koning(in).)
- 23 mrt 2015 01:53 (wijz | gesch) . . (+103) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→{{van|Jim Driessen}}Als je een weekendabonnement op je OV-chipkaart hebt en je bent ingecheckt, ben je een koning.)
- 23 mrt 2015 01:46 (wijz | gesch) . . (+230) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Domeinmodel)
- 23 mrt 2015 01:41 (wijz | gesch) . . (+136) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→{{van|Daan Roos}}Als je dronken bent en iemand kent die kan tapdansen, dan ben je gelukkig.)
- 23 mrt 2015 01:39 (wijz | gesch) . . (+242) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Domeinmodel)
- 23 mrt 2015 01:32 (wijz | gesch) . . (+358) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Domeinmodel)
- 23 mrt 2015 00:54 (wijz | gesch) . . (+244) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Domeinmodel)
- 22 mrt 2015 22:55 (wijz | gesch) . . (+136) . . Gebruiker:Jim Driessen/2014-15/Beweren en bewijzen (→Invullen bij mijlpaal 3)
- 16 mrt 2015 02:19 (wijz | gesch) . . (+3.110) . . N Gebruiker:Jim Driessen/2014-15/Beweren en bewijzen/taak/06 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opgave 1== # Alle takken zijn gesloten, dus de tautologie is waar. # Alle takken zijn gesloten, dus de tautologie is waar. # Alle takken zi...') (laatste wijziging)
- 9 mrt 2015 03:28 (wijz | gesch) . . (+1.891) . . N Gebruiker:Jim Driessen/2014-15/Beweren en bewijzen/taak/05 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opgave 1== ===1. P, P → Q ⊨ Q=== Alle takken zijn gesloten, dus de stelling is waar. ===13. P ∧ Q ⊨ P=== Alle takken zijn gesloten...') (laatste wijziging)
- 2 mrt 2015 01:13 (wijz | gesch) . . (+3.172) . . N Gebruiker:Jim Driessen/2014-15/Beweren en bewijzen/taak/04 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==Opgave 1== Zie mijlpaal. ==Opgave 2== * sectie-96 heeft geen ...')
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
