Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 11 jun 2014 13:44 (wijz | gesch) . . (+4) . . Gebruiker:Denise Klep/2013-14/Beweren en bewijzen (→Persoonlijk eindverslag) (laatste wijziging)
- 11 jun 2014 13:41 (wijz | gesch) . . (+1.475) . . Gebruiker:Denise Klep/2013-14/Beweren en bewijzen (→Persoonlijk eindverslag)
- 11 jun 2014 13:12 (wijz | gesch) . . (-102) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Vereenvoudigingen)
- 11 jun 2014 12:50 (wijz | gesch) . . (+383) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Conclusie)
- 11 jun 2014 12:45 (wijz | gesch) . . (+18) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat
- 11 jun 2014 12:13 (wijz | gesch) . . (-729) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het domeinmodel)
- 11 jun 2014 12:03 (wijz | gesch) . . (-220) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Hulpdefinities)
- 11 jun 2014 12:03 (wijz | gesch) . . (-640) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het domeinmodel)
- 11 jun 2014 11:59 (wijz | gesch) . . (-229) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het domeinmodel)
- 11 jun 2014 11:57 (wijz | gesch) . . (-90) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Structuur)
- 11 jun 2014 11:57 (wijz | gesch) . . (-424) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Vereenvoudigingen)
- 11 jun 2014 11:55 (wijz | gesch) . . (-266) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het gezichtspunt)
- 11 jun 2014 11:53 (wijz | gesch) . . (-222) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het bestudeerde fragment van de realiteit)
- 11 jun 2014 11:53 (wijz | gesch) . . (-286) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Wat wordt formeel behandeld?)
- 11 jun 2014 11:53 (wijz | gesch) . . (-182) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Waarom?)
- 11 jun 2014 11:51 (wijz | gesch) . . (-1.646) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Display)
- 11 jun 2014 11:49 (wijz | gesch) . . (-363) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Onderdelen)
- 5 jun 2014 14:52 (wijz | gesch) . . (+314) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het bewijs)
- 5 jun 2014 13:59 (wijz | gesch) . . (-1) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het bewijs)
- 4 jun 2014 20:35 (wijz | gesch) . . (+1.696) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het bewijs)
- 30 mei 2014 16:14 (wijz | gesch) . . (+65) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het bewijs)
- 30 mei 2014 15:47 (wijz | gesch) . . (+4) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Database)
- 30 mei 2014 15:46 (wijz | gesch) . . (+255) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het bewijs)
- 27 mei 2014 00:09 (wijz | gesch) . . (0) . . Gebruiker:Denise Klep/2013-14/Beweren en bewijzen/taak/13 (→Opgave 1) (laatste wijziging)
- 27 mei 2014 00:08 (wijz | gesch) . . (+237) . . N Gebruiker:Denise Klep/2013-14/Beweren en bewijzen/taak/13 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == Medium: 12, 19, 20 Difficult: 16, 18 == Opgave 2 == Alle stellingen op 5, 7 en 10 na geprobeerd, zonder al te veel resulta...')
- 19 mei 2014 08:58 (wijz | gesch) . . (+16) . . Gebruiker:Denise Klep/2013-14/Beweren en bewijzen/taak/12 (laatste wijziging)
- 19 mei 2014 08:48 (wijz | gesch) . . (+4) . . Gebruiker:Denise Klep/2013-14/Beweren en bewijzen/taak/12
- 19 mei 2014 08:36 (wijz | gesch) . . (+13) . . Gebruiker:Denise Klep/2013-14/Beweren en bewijzen/taak/12
- 18 mei 2014 22:53 (wijz | gesch) . . (+166) . . N Gebruiker:Denise Klep/2013-14/Beweren en bewijzen/taak/12 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} Theorem 4, 7, 8, 14 en 15 zijn solved. Theorem 3, 5, 9 en 23 kwam ik niet uit. Ik heb moeite met de haakjes goed krijgen en met de exi_e.')
- 12 mei 2014 08:58 (wijz | gesch) . . (+104) . . N Gebruiker:Denise Klep/2013-14/Beweren en bewijzen/taak/11 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 5 == 020, 026, 054, 066, 111. 020, 054 en 111 in Coq geprobeerd.') (laatste wijziging)
- 5 mei 2014 15:10 (wijz | gesch) . . (+282) . . N Gebruiker:Denise Klep/2013-14/Beweren en bewijzen/taak/10 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} Voor de ∧ en → heb ik gemaakt: 1, 13, 4, 15 (niet volledig zeker over), 7, 12, 14, 8. Voor de ¬ en ∨ heb ik gemaakt: 17, 18...') (laatste wijziging)
- 25 apr 2014 11:21 (wijz | gesch) . . (0) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het bewijs)
- 25 apr 2014 11:20 (wijz | gesch) . . (+353) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→De specificatie van het geheel)
- 25 apr 2014 11:16 (wijz | gesch) . . (+1) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het bewijs)
- 25 apr 2014 11:13 (wijz | gesch) . . (+1) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Computer)
- 25 apr 2014 11:09 (wijz | gesch) . . (+3) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Computer)
- 25 apr 2014 11:08 (wijz | gesch) . . (-18) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Computer)
- 25 apr 2014 11:04 (wijz | gesch) . . (+43) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Computer)
- 25 apr 2014 11:00 (wijz | gesch) . . (+96) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het bewijs)
- 25 apr 2014 10:59 (wijz | gesch) . . (0) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Computer)
- 25 apr 2014 10:59 (wijz | gesch) . . (+73) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Computer)
- 25 apr 2014 10:26 (wijz | gesch) . . (+24) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het bewijs)
- 25 apr 2014 10:12 (wijz | gesch) . . (+5) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het bewijs)
- 25 apr 2014 10:10 (wijz | gesch) . . (+14) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het bewijs)
- 25 apr 2014 10:08 (wijz | gesch) . . (+10) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Database)
- 25 apr 2014 10:07 (wijz | gesch) . . (+12) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Database)
- 25 apr 2014 10:06 (wijz | gesch) . . (+12) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het bewijs)
- 25 apr 2014 10:04 (wijz | gesch) . . (+2) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Computer)
- 25 apr 2014 10:03 (wijz | gesch) . . (-1) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het bewijs)
- 25 apr 2014 10:03 (wijz | gesch) . . (+2) . . Beweren en bewijzen/2013-14/werkstuk/Pinautomaat (→Het bewijs)
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
