Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 20 jun 2014 22:54 (wijz | gesch) . . (+6) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (laatste wijziging)
- 20 jun 2014 22:27 (wijz | gesch) . . (+2.406) . . Gebruiker:Thomas Churchman/2013-14/Beweren en bewijzen (→Persoonlijk eindverslag) (laatste wijziging)
- 20 jun 2014 21:52 (wijz | gesch) . . (-18) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bewijs)
- 20 jun 2014 21:48 (wijz | gesch) . . (+25) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→De correctheidsstelling)
- 20 jun 2014 21:46 (wijz | gesch) . . (-2) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Per onderdeel)
- 20 jun 2014 21:42 (wijz | gesch) . . (+2) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Vereenvoudigingen en abstracties)
- 20 jun 2014 21:38 (wijz | gesch) . . (+9) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Wat wordt formeel behandeld?)
- 20 jun 2014 21:27 (wijz | gesch) . . (-1) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bestudeerde fragment van de realiteit)
- 20 jun 2014 21:25 (wijz | gesch) . . (+33) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Inleiding)
- 13 jun 2014 19:20 (wijz | gesch) . . (-12) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem
- 13 jun 2014 19:16 (wijz | gesch) . . (-30) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bewijs: EfficientRustig bewezen, PatronenBlijvenWillen weggehaald en weggewerkt (die aanname was fout), domein T veranderd in Z (lin_solve/omega werkte niet goed op elementen uit T))
- 13 jun 2014 18:59 (wijz | gesch) . . (-73.746) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bewijs: bewijs weghalen uit de wiki)
- 11 jun 2014 19:43 (wijz | gesch) . . (+11.345) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bewijs: En nu ook via mag P3 t0)
- 11 jun 2014 19:08 (wijz | gesch) . . (-385) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bewijs)
- 11 jun 2014 19:07 (wijz | gesch) . . (+11.950) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bewijs: nu ook bewezen voor mag P2 t0.)
- 11 jun 2014 16:48 (wijz | gesch) . . (+10.343) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bewijs: EfficientieAlgemeen voor als P1 aanstaat op t0, P2 en P3 nog te doen.)
- 11 jun 2014 14:29 (wijz | gesch) . . (+345) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→De specificatie van het geheel: auto's verdwijnen niet)
- 31 mei 2014 23:51 (wijz | gesch) . . (+412) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bewijs: bewijs voor PreciesEen)
- 31 mei 2014 21:36 (wijz | gesch) . . (-1.944) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bewijs: Bewijs gebruikt nu de nieuwe MinimaalEen)
- 31 mei 2014 16:24 (wijz | gesch) . . (+14.423) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bewijs: bewijs voor max één patroon aan)
- 31 mei 2014 15:00 (wijz | gesch) . . (-78) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→De specificatie van het geheel)
- 31 mei 2014 14:59 (wijz | gesch) . . (+1.141) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bewijs)
- 31 mei 2014 14:56 (wijz | gesch) . . (+923) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bewijs)
- 31 mei 2014 14:52 (wijz | gesch) . . (0) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bewijs: typfout)
- 31 mei 2014 14:44 (wijz | gesch) . . (-1.275) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bewijs: iets kleinere lemma's)
- 31 mei 2014 13:01 (wijz | gesch) . . (+29) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Per onderdeel: Systeem opgesplitst)
- 31 mei 2014 12:56 (wijz | gesch) . . (+4) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bewijs: Systeem opgesplitst)
- 31 mei 2014 00:59 (wijz | gesch) . . (+817) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het bewijs)
- 31 mei 2014 00:57 (wijz | gesch) . . (+8) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Per onderdeel)
- 31 mei 2014 00:54 (wijz | gesch) . . (+3) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Per onderdeel)
- 30 mei 2014 23:32 (wijz | gesch) . . (+379) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Per onderdeel: desda's weggewerkt)
- 30 mei 2014 22:56 (wijz | gesch) . . (0) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Functioneel netwerk)
- 30 mei 2014 22:55 (wijz | gesch) . . (+98) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Functioneel netwerk)
- 30 mei 2014 22:53 (wijz | gesch) . . (+33) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Per onderdeel)
- 30 mei 2014 22:48 (wijz | gesch) . . (+481) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Per onderdeel)
- 30 mei 2014 22:45 (wijz | gesch) . . (+486) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Structuur)
- 30 mei 2014 22:41 (wijz | gesch) . . (+109) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Functioneel netwerk)
- 24 mei 2014 23:58 (wijz | gesch) . . (+30) . . k Gebruiker:Thomas Churchman/2013-14/Beweren en bewijzen/taak/13 (laatste wijziging)
- 24 mei 2014 23:56 (wijz | gesch) . . (+887) . . N Gebruiker:Thomas Churchman/2013-14/Beweren en bewijzen/taak/13 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} Predikaatlogica: * medium: 019, 020, 021 * difficult: 018, 038. Antwoord op de vraag bij 038: ("Can the following theorem be proved withou...')
- 19 mei 2014 02:03 (wijz | gesch) . . (+319) . . N Gebruiker:Thomas Churchman/2013-14/Beweren en bewijzen/taak/12 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} Eerst op papier, daarna in Coq: * Easy: 004, 007, 008, 014, * Medium: 003, 005, 006 Meteen in Coq: * Medium: 009, 010, 011, 012, 013 * Diff...') (laatste wijziging)
- 12 mei 2014 03:29 (wijz | gesch) . . (+1) . . Gebruiker:Thomas Churchman/2013-14/Beweren en bewijzen/taak/11 (laatste wijziging)
- 12 mei 2014 03:28 (wijz | gesch) . . (+561) . . N Gebruiker:Thomas Churchman/2013-14/Beweren en bewijzen/taak/11 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} De volgende stellingen heb ik eerst op papier gemaakt, en daarna in coq: 020, 026, 066, 103, 037, 107. Deze stellingen heb ik direct in coq ...')
- 6 mei 2014 02:29 (wijz | gesch) . . (+822) . . N Gebruiker:Thomas Churchman/2013-14/Beweren en bewijzen/taak/10 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == ∧ en → == 1, 2, 7, 8, 13, 15, 3 en 12 gemaakt. Deze zijn allemaal gelukt. Ik heb 47 geprobeerd alvorens ik 3 en 12 maakte, maar di...') (laatste wijziging)
- 25 apr 2014 00:23 (wijz | gesch) . . (-7) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Onderdeelspecificaties)
- 24 apr 2014 23:40 (wijz | gesch) . . (+352) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Functioneel netwerk)
- 24 apr 2014 22:20 (wijz | gesch) . . (+5) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem
- 24 apr 2014 22:19 (wijz | gesch) . . (+465) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Onderdeelspecificaties: vraag)
- 24 apr 2014 21:59 (wijz | gesch) . . (+41) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Focus: aanwijzingen semantisch nuken)
- 24 apr 2014 21:52 (wijz | gesch) . . (+44) . . k Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het domeinmodel)
- 24 apr 2014 21:47 (wijz | gesch) . . (+100) . . Beweren en bewijzen/2013-14/werkstuk/Stoplichtensysteem (→Het domeinmodel)
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
