Beweren en bewijzen/de zuilen/Formalisering/6. Tijd: versiegeschiedenis

Selectie voor verschillen: selecteer de te vergelijken versies en toets ENTER of de knop onderaan.
Verklaring afkortingen: (huidig) = verschil met huidige versie, (vorige) = verschil met voorgaande versie, k = kleine wijziging

(huidig | vorige) 16 apr 2014 04:17‎ David Jansen (overleg | bijdragen)‎ . . (7.248 bytes) (-3)‎ . . (→‎Observaties: consistente formules)
(huidig | vorige) 16 apr 2014 04:11‎ David Jansen (overleg | bijdragen)‎ . . (7.251 bytes) (+61)‎ . . (→‎Echte tijd en representaties)
(huidig | vorige) 16 apr 2014 04:09‎ David Jansen (overleg | bijdragen)‎ k . . (7.190 bytes) (0)‎ . . (→‎Echte tijd en representaties: actuele Coq-syntax)
(huidig | vorige) 21 apr 2013 11:43‎ Bernhard Degen (overleg | bijdragen)‎ k . . (7.190 bytes) (+1)‎ . . (→‎Observaties)
(huidig | vorige) 21 jan 2011 17:46‎ Hanno Wupper (overleg | bijdragen)‎ . . (7.189 bytes) (+6)‎
(huidig | vorige) 21 jan 2011 15:09‎ Hanno Wupper (overleg | bijdragen)‎ k . . (7.183 bytes) (+11)‎ . . (Tekst vervangen - '{{BenB/Inhoud' door '<noinclude>{{BenB/Inhoud')
(huidig | vorige) 21 jan 2011 15:03‎ Hanno Wupper (overleg | bijdragen)‎ k . . (7.172 bytes) (+12)‎ . . (Tekst vervangen - '}}{{Literatuur|' door '}}</noinclude>{{Literatuur|')
(huidig | vorige) 21 jan 2011 14:40‎ Hanno Wupper (overleg | bijdragen)‎ . . (7.160 bytes) (+18)‎
(huidig | vorige) 1 nov 2009 19:16‎ Mirjam van Nahmen (overleg | bijdragen)‎ . . (7.142 bytes) (-6)‎
(huidig | vorige) 27 mei 2009 09:43‎ Hanno Wupper (overleg | bijdragen)‎ . . (7.148 bytes) (+47)‎
(huidig | vorige) 22 apr 2009 11:57‎ Hanno Wupper (overleg | bijdragen)‎ . . (7.101 bytes) (-90)‎
(huidig | vorige) 22 apr 2009 11:57‎ Hanno Wupper (overleg | bijdragen)‎ . . (7.191 bytes) (+127)‎
(huidig | vorige) 1 jan 2009 18:34‎ Hanno Wupper (overleg | bijdragen)‎ . . (7.064 bytes) (-13.197)‎
(huidig | vorige) 1 jan 2009 14:52‎ Hanno Wupper (overleg | bijdragen)‎ k . . (20.261 bytes) (0)‎ . . (Beweren en bewijzen/het verhaal/6. Tijd hernoemd naar Beweren en bewijzen/de zuilen/Formalisering/6. Tijd)
(huidig | vorige) 26 jul 2008 21:18‎ Hanno Wupper (overleg | bijdragen)‎ . . (20.261 bytes) (+1.052)‎
(huidig | vorige) 25 jul 2008 17:56‎ Hanno Wupper (overleg | bijdragen)‎ . . (19.209 bytes) (+80)‎
(huidig | vorige) 25 jul 2008 17:08‎ Hanno Wupper (overleg | bijdragen)‎ . . (19.129 bytes) (+160)‎
(huidig | vorige) 16 apr 2008 15:03‎ Jasper Berendsen (overleg | bijdragen)‎ k . . (18.969 bytes) (0)‎ . . (→‎Intervallen: komma's)
(huidig | vorige) 9 apr 2008 11:39‎ Jasper Berendsen (overleg | bijdragen)‎ . . (18.969 bytes) (+9)‎ . . (→‎Types)
(huidig | vorige) 8 apr 2008 14:57‎ Jasper Berendsen (overleg | bijdragen)‎ . . (18.960 bytes) (+8)‎ . . (→‎Intervallen)
(huidig | vorige) 8 apr 2008 14:55‎ Jasper Berendsen (overleg | bijdragen)‎ . . (18.952 bytes) (+113)‎ . . (→‎Intervallen)
(huidig | vorige) 8 apr 2008 14:48‎ Jasper Berendsen (overleg | bijdragen)‎ . . (18.839 bytes) (-228)‎ . . (→‎Intervallen)
(huidig | vorige) 8 apr 2008 14:44‎ Jasper Berendsen (overleg | bijdragen)‎ . . (19.067 bytes) (0)‎ . . (→‎Een kookwekker)
(huidig | vorige) 8 apr 2008 14:44‎ Jasper Berendsen (overleg | bijdragen)‎ . . (19.067 bytes) (0)‎ . . (→‎Flip-flop)
(huidig | vorige) 8 apr 2008 14:43‎ Jasper Berendsen (overleg | bijdragen)‎ . . (19.067 bytes) (-2)‎ . . (→‎lamp)
(huidig | vorige) 8 apr 2008 14:42‎ Jasper Berendsen (overleg | bijdragen)‎ . . (19.069 bytes) (+1)‎ . . (→‎Een domeinmodel voor wekkers in tijdschakelaars)
(huidig | vorige) 8 apr 2008 14:42‎ Jasper Berendsen (overleg | bijdragen)‎ . . (19.068 bytes) (+119)‎ . . (→‎Een domeinmodel voor wekkers in tijdschakelaars)
(huidig | vorige) 8 apr 2008 14:40‎ Jasper Berendsen (overleg | bijdragen)‎ . . (18.949 bytes) (-7)‎ . . (→‎Flip-flop)
(huidig | vorige) 8 apr 2008 14:28‎ Jasper Berendsen (overleg | bijdragen)‎ . . (18.956 bytes) (0)‎
(huidig | vorige) 8 apr 2008 14:24‎ Jasper Berendsen (overleg | bijdragen)‎ . . (18.956 bytes) (-10)‎ . . (→‎Een kookwekker)
(huidig | vorige) 8 apr 2008 14:21‎ Jasper Berendsen (overleg | bijdragen)‎ . . (18.966 bytes) (0)‎ . . (→‎Een klok die gelijkgezet kan worden)
(huidig | vorige) 8 apr 2008 14:21‎ Jasper Berendsen (overleg | bijdragen)‎ . . (18.966 bytes) (0)‎ . . (→‎Een domeinmodel voor wekkers in tijdschakelaars)
(huidig | vorige) 8 apr 2008 14:19‎ Jasper Berendsen (overleg | bijdragen)‎ . . (18.966 bytes) (0)‎ . . (→‎Een klok die gelijkgezet kan worden)
(huidig | vorige) 8 apr 2008 14:15‎ Jasper Berendsen (overleg | bijdragen)‎ . . (18.966 bytes) (+1)‎ . . (→‎De absolute klok)
(huidig | vorige) 8 apr 2008 14:12‎ Jasper Berendsen (overleg | bijdragen)‎ . . (18.965 bytes) (-100)‎ . . (→‎Een domeinmodel voor wekkers in tijdschakelaars)
(huidig | vorige) 8 apr 2008 13:36‎ Jasper Berendsen (overleg | bijdragen)‎ . . (19.065 bytes) (-3)‎ . . (→‎Types)
(huidig | vorige) 8 apr 2008 13:35‎ Jasper Berendsen (overleg | bijdragen)‎ . . (19.068 bytes) (-2)‎ . . (→‎Observaties)
(huidig | vorige) 8 apr 2008 13:33‎ Jasper Berendsen (overleg | bijdragen)‎ . . (19.070 bytes) (+358)‎ . . (→‎Specificatie van temporeel gedrag)
(huidig | vorige) 8 apr 2008 13:17‎ Jasper Berendsen (overleg | bijdragen)‎ . . (18.712 bytes) (-110)‎
(huidig | vorige) 29 mrt 2008 06:28‎ Hanno Wupper (overleg | bijdragen)‎ . . (18.822 bytes) (-19)‎
(huidig | vorige) 24 mrt 2008 17:26‎ Ilian van der Velden (overleg | bijdragen)‎ k . . (18.841 bytes) (+45)‎ . . (link Coq)
(huidig | vorige) 13 mrt 2008 12:20‎ Ruben Nijveld (overleg | bijdragen)‎ k . . (18.796 bytes) (+32)‎ . . (nog meer links updaten)
(huidig | vorige) 13 mrt 2008 12:19‎ Ruben Nijveld (overleg | bijdragen)‎ k . . (18.764 bytes) (+101)‎ . . (meer links updaten)
(huidig | vorige) 13 mrt 2008 12:17‎ Ruben Nijveld (overleg | bijdragen)‎ k . . (18.663 bytes) (+122)‎ . . (links updaten)
(huidig | vorige) 6 jan 2008 15:10‎ Dirk van der Linden (overleg | bijdragen)‎ . . (18.541 bytes) (+1)‎
(huidig | vorige) 6 jan 2008 14:12‎ Dirk van der Linden (overleg | bijdragen)‎ . . (18.540 bytes) (+18.540)‎ . . (New page: {{B&B/Inhoud}}Category:Inhoud{{Literatuur| *Over het gebruik van Coq}} Real-timesystemen zijn systemen die precies op tijd moeten reageren. Ze zijn vaak ingebouwd in machines, lift...)

Beweren en bewijzen/de zuilen/Formalisering/6. Tijd: versiegeschiedenis

Navigatiemenu

Persoonlijke instellingen

Naamruimten

Varianten

Weergaven

Meer

zoek

Hulpmiddelen