Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 23 mrt 2015 04:05 (wijz | gesch) . . (+1.427) . . N Gebruiker:Douwe van Erp/2014-15/Beweren en bewijzen/taak/07 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} === Opgave 1 === [http://lab.cs.ru.nl/algemeen/Gebruiker:Douwe_van_Erp/2014-15/Beweren_en_bewijzen Mijlpaal 3] === Opgave 2 === ====Nieuwe d...')
- 23 mrt 2015 04:02 (wijz | gesch) . . (+408) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden
- 22 mrt 2015 23:38 (wijz | gesch) . . (+564) . . Beweren en bewijzen/2014-15/oefenpagina/familietoestanden (→Hulpdefinities)
- 22 mrt 2015 20:37 (wijz | gesch) . . (+358) . . Gebruiker:Douwe van Erp/2014-15/Beweren en bewijzen (→Invullen bij mijlpaal 3) (laatste wijziging)
- 18 mrt 2015 18:25 (wijz | gesch) . . (+36) . . Overleg:Beweren en bewijzen/2014-15/werkstuk. (→Zoek groep)
- 16 mrt 2015 08:59 (wijz | gesch) . . (+1) . . Gebruiker:Douwe van Erp/2014-15/Beweren en bewijzen/taak/06 (→Opgave 1) (laatste wijziging)
- 16 mrt 2015 08:58 (wijz | gesch) . . (+127) . . Gebruiker:Douwe van Erp/2014-15/Beweren en bewijzen/taak/06
- 16 mrt 2015 08:51 (wijz | gesch) . . (+185) . . Gebruiker:Douwe van Erp/2014-15/Beweren en bewijzen/taak/06
- 16 mrt 2015 08:25 (wijz | gesch) . . (+3.155) . . N Gebruiker:Douwe van Erp/2014-15/Beweren en bewijzen/taak/06 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} === Opgave 1 === 1. Als het geen tautologie zou zijn moet A waar zijn (-> 0), daarvoor moet B ook waar zijn. Maar als B waar is dan is -(...')
- 9 mrt 2015 17:04 (wijz | gesch) . . (+1.902) . . N Gebruiker:Douwe van Erp/2014-15/Beweren en bewijzen/taak/05 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} === Opgave 1 === * 1 gelukt * 2 gelukt * 7 gelukt * 12 gelukt * 13 gelukt === Opgave 2 === <pre> Theorem Correctheidsstelling : dvdsp /\ t...')
- 2 mrt 2015 06:42 (wijz | gesch) . . (+3.591) . . N Gebruiker:Douwe van Erp/2014-15/Beweren en bewijzen/taak/04 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} === Opgave 1 === Mijlpaal 2 === Opgave 2 === * Boven sectie-96 ontbreekt een regel ...')
- 2 mrt 2015 06:42 (wijz | gesch) . . (+258) . . Gebruiker:Douwe van Erp/2014-15/Beweren en bewijzen (→Waar sta ik begin maart?)
- 23 feb 2015 02:02 (wijz | gesch) . . (+34) . . Gebruiker:Douwe van Erp/2014-15/Beweren en bewijzen/taak/03 (laatste wijziging)
- 23 feb 2015 02:01 (wijz | gesch) . . (+1.788) . . N Gebruiker:Douwe van Erp/2014-15/Beweren en bewijzen/taak/03 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} === Opgave 1 === Er zijn 3 proposities die allemaal gelden, in natuurlijke taal: # Alice is een ridder dan en slechts dan als Alice en Alice...')
- 18 feb 2015 03:32 (wijz | gesch) . . (+46) . . Gebruiker:Douwe van Erp/2014-15/Beweren en bewijzen/taak/02 (→Probleem 1: Studenten met mutsen) (laatste wijziging)
- 18 feb 2015 03:29 (wijz | gesch) . . (+4.474) . . N Gebruiker:Douwe van Erp/2014-15/Beweren en bewijzen/taak/02 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} === Opgave 1 === # Stel dat het rinkelt # Uit de specificatie van de bel volgt dat het rinkelt desda er spanning op contact C staat. # Dus u...')
- 18 feb 2015 02:57 (wijz | gesch) . . (+263) . . Gebruiker:Douwe van Erp/2014-15/Beweren en bewijzen (→De manier waarop ik deze cursus volg)
- 18 feb 2015 02:53 (wijz | gesch) . . (+503) . . Gebruiker:Douwe van Erp/2014-15/Beweren en bewijzen (→De doelen van Beweren en bewijzen en ik)
- 18 feb 2015 02:45 (wijz | gesch) . . (+419) . . N Gebruiker:Douwe van Erp/2014-15/Beweren en bewijzen (Nieuwe pagina aangemaakt met '{{deze cursus|regeling=standaard|uren=8}} == Invullen bij mijlpaal 1 == === De doelen van Beweren en bewijzen en ik === === D...')
- 18 feb 2015 02:42 (wijz | gesch) . . (+12) . . N Gebruiker:Douwe van Erp/2014-15 (Nieuwe pagina aangemaakt met '{{dit jaar}}') (laatste wijziging)
- 11 jun 2014 13:45 (wijz | gesch) . . (+1.770) . . Gebruiker:Douwe van Erp/2013-14/Beweren en bewijzen (→Persoonlijk eindverslag) (laatste wijziging)
- 27 mei 2014 03:54 (wijz | gesch) . . (+213) . . N Gebruiker:Douwe van Erp/2013-14/Beweren en bewijzen/taak/13 (Nieuwe pagina aangemaakt met ''''Geprobeerde stellingen Predikaatlogica''' *Medium: 9 (opgelost), 12, 13, 20 (opgelost) *Difficult: 16, 18 (opgelost) '''Geprobeerde stellingen getallen en interva...') (laatste wijziging)
- 18 mei 2014 21:48 (wijz | gesch) . . (+569) . . N Gebruiker:Douwe van Erp/2013-14/Beweren en bewijzen/taak/12 (Nieuwe pagina aangemaakt met ''''Stellingen direct bewezen in Coq''' *Easy: 4, 7, 8, 14, 15 *Medium: 3, 5 * In Coq direct bewijzen verliep alles best vlot, ik had eerst wat moeite met medium 5, m...') (laatste wijziging)
- 12 mei 2014 06:28 (wijz | gesch) . . (+1) . . Gebruiker:Douwe van Erp/2013-14/Beweren en bewijzen/taak/11
- 12 mei 2014 06:27 (wijz | gesch) . . (+555) . . N Gebruiker:Douwe van Erp/2013-14/Beweren en bewijzen/taak/11 (Nieuwe pagina aangemaakt met '* Stellingen op papier geprobeerd: 20, 26, 27, 54, 113 en 126. * Direct in Coq geprobeerd: 1, 5, 14, 107, 101 en 111, waarvan de laatste 3 niet zijn gelukt. * Sommige...')
- 22 apr 2014 00:57 (wijz | gesch) . . (+28) . . Beweren en bewijzen/2013-14/werkstuk/Koffiezetapparaat (→Waterreservoir)
- 21 apr 2014 21:54 (wijz | gesch) . . (-35) . . Beweren en bewijzen/2013-14/werkstuk/Koffiezetapparaat (→Warmhoudplaat)
- 21 apr 2014 21:51 (wijz | gesch) . . (-37) . . Beweren en bewijzen/2013-14/werkstuk/Koffiezetapparaat (→Warmhoudplaat)
- 21 apr 2014 21:16 (wijz | gesch) . . (-37) . . Beweren en bewijzen/2013-14/werkstuk/Koffiezetapparaat (→Verwarmingselement)
- 21 apr 2014 21:14 (wijz | gesch) . . (+4) . . Beweren en bewijzen/2013-14/werkstuk/Koffiezetapparaat (→Het domeinmodel)
- 21 apr 2014 21:13 (wijz | gesch) . . (+96) . . Beweren en bewijzen/2013-14/werkstuk/Koffiezetapparaat (→Het domeinmodel)
- 21 apr 2014 21:09 (wijz | gesch) . . (+171) . . Gebruiker:Douwe van Erp/2013-14/Beweren en bewijzen/taak/09 (→Opdracht 1) (laatste wijziging)
- 21 apr 2014 21:07 (wijz | gesch) . . (+3.082) . . Gebruiker:Douwe van Erp/2013-14/Beweren en bewijzen/taak/09 (→Opdracht 2)
- 21 apr 2014 19:40 (wijz | gesch) . . (+20) . . Gebruiker:Douwe van Erp/2013-14/Beweren en bewijzen/taak/09
- 21 apr 2014 19:40 (wijz | gesch) . . (+1.309) . . N Gebruiker:Douwe van Erp/2013-14/Beweren en bewijzen/taak/09 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} === Opdracht 1 === <pre> Definition leeft (x:M) (t:T) := ∃t0:T, ∃t1:T, ...')
- 20 apr 2014 20:21 (wijz | gesch) . . (+3.262) . . Beweren en bewijzen/2013-14/werkstuk/Koffiezetapparaat (→Onderdeelspecificaties)
- 20 apr 2014 20:21 (wijz | gesch) . . (+214) . . Beweren en bewijzen/2013-14/werkstuk/Koffiezetapparaat (→Het domeinmodel)
- 14 apr 2014 03:37 (wijz | gesch) . . (+1.494) . . Gebruiker:Douwe van Erp/2013-14/Beweren en bewijzen/taak/08 (→Opgave 3) (laatste wijziging)
- 14 apr 2014 01:03 (wijz | gesch) . . (+246) . . Gebruiker:Douwe van Erp/2013-14/Beweren en bewijzen/taak/08
- 14 apr 2014 00:59 (wijz | gesch) . . (+179) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→Als een vrouw getrouwd is, dan heeft die vrouw een auto.)
- 14 apr 2014 00:44 (wijz | gesch) . . (+1) . . Gebruiker:Douwe van Erp/2013-14/Beweren en bewijzen/taak/08 (→Opgave 1)
- 14 apr 2014 00:44 (wijz | gesch) . . (+886) . . N Gebruiker:Douwe van Erp/2013-14/Beweren en bewijzen/taak/08 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} === Opgave 1 === * De predikaten zusVan en broerVan <pre> zusVan M → M →B zusVan x y x is zus van y broerVan M → M &ra...')
- 23 mrt 2014 23:48 (wijz | gesch) . . (+342) . . N Gebruiker:Douwe van Erp/2013-14/Beweren en bewijzen/taak/07 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} Ik heb de hulpdefinities oudOomVan, oudTanteVan en achterNeefVan, achterNichtVan toegevoegd. Verder heb ik de bewering ''"Donald Duck heeft g...') (laatste wijziging)
- 23 mrt 2014 23:46 (wijz | gesch) . . (+449) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→Beweringen)
- 23 mrt 2014 23:42 (wijz | gesch) . . (+4) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→{{van|Douwe van Erp}} achterNichtVan)
- 23 mrt 2014 23:41 (wijz | gesch) . . (+4) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→{{van|Douwe van Erp}} achterNeefVan)
- 23 mrt 2014 23:40 (wijz | gesch) . . (+614) . . Beweren en bewijzen/2013-14/oefenpagina/familietoestanden (→Hulpdefinities)
- 21 mrt 2014 18:06 (wijz | gesch) . . (-32) . . Overleg:Beweren en bewijzen/2013-14/werkstuk
- 21 mrt 2014 18:05 (wijz | gesch) . . (+242) . . Gebruiker:Douwe van Erp/2013-14/Beweren en bewijzen (→Invullen bij mijlpaal 3)
- 21 mrt 2014 18:02 (wijz | gesch) . . (+297) . . Gebruiker:Douwe van Erp/2013-14/Beweren en bewijzen (→Invullen bij mijlpaal 2)
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
