Gebruikersbijdragen
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
- 11 jun 2015 00:57 (wijz | gesch) . . (+4) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/14 (laatste wijziging)
- 11 jun 2015 00:56 (wijz | gesch) . . (+19) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/14
- 11 jun 2015 00:30 (wijz | gesch) . . (+179) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/14
- 11 jun 2015 00:10 (wijz | gesch) . . (+34) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/14
- 10 jun 2015 22:54 (wijz | gesch) . . (+732) . . N Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/14 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==== Opgave 1: Een bewijs in natuurlijke taal ==== # Stel dat (1a) als Piet de krant leest dan Maria lacht en Wilma TV kijkt, en dat (1b) al...')
- 18 mei 2015 12:10 (wijz | gesch) . . (+81) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/12 (laatste wijziging)
- 17 mei 2015 23:21 (wijz | gesch) . . (0) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/12
- 17 mei 2015 23:21 (wijz | gesch) . . (+6) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/12
- 17 mei 2015 23:21 (wijz | gesch) . . (+1.248) . . N Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/12 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==== Opgave 1 & 2 ==== stelling 4 (easy): gelukt, 1x imp_i, 1x all_i, 2x all_e, 1x hyp, Correct. stelling 7 (easy): gelukt, 1x imp_i, 1x neg...')
- 11 mei 2015 02:51 (wijz | gesch) . . (+5) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/11 (→Opgave 3) (laatste wijziging)
- 11 mei 2015 02:50 (wijz | gesch) . . (+3) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/11 (→Opgave 1 & 2)
- 11 mei 2015 02:50 (wijz | gesch) . . (+1.609) . . N Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/11 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==== Opgave 1 & 2 ==== stelling 20 (Medium): gelukt, 1x imp_i, 1x neg_e', 2x hyp, Solved. stelling 104 (Medium): gelukt, 1x imp_i, 1x neg_i,...')
- 27 apr 2015 08:33 (wijz | gesch) . . (+24) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/10 (typfoutje in natuurlijke taal bewijs...) (laatste wijziging)
- 26 apr 2015 23:54 (wijz | gesch) . . (+2.430) . . N Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/10 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==== Opgave 1: bewijzen in natuurlijke taal ==== P = ik heb een Pastasalade Q = ik heb een Quiche R = ik ben de zoon van Obama Stel dat h...')
- 24 apr 2015 15:22 (wijz | gesch) . . (-4) . . Beweren en bewijzen/de zuilen/Zekerheid/5. Natuurlijke deductie (→Bedenken en presenteren van redeneringen) (laatste wijziging)
- 19 apr 2015 12:15 (wijz | gesch) . . (+4.799) . . N Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/09 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==== Opgave 1: Familietoestanden met tijd ==== <pre> Require Import BenB. Definition T := R. Definition M := Set. Variable isMan: M -> B....') (laatste wijziging)
- 13 apr 2015 17:28 (wijz | gesch) . . (+64) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen (laatste wijziging)
- 13 apr 2015 17:25 (wijz | gesch) . . (+5.117) . . N Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/08 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} ==== Opgave 2 ==== ===== Vage meting / had hulpdefinitie moeten zijn ===== {| class="wikitable" | isPippiLangkous||M → B|| isPippiLan...')
- 9 feb 2015 00:41 (wijz | gesch) . . (+9) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/01 (→Opgave 3) (laatste wijziging)
- 9 feb 2015 00:39 (wijz | gesch) . . (0) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/01 (→Opgave 3)
- 9 feb 2015 00:39 (wijz | gesch) . . (-1.222) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/01
- 9 feb 2015 00:26 (wijz | gesch) . . (-105) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/01
- 9 feb 2015 00:20 (wijz | gesch) . . (+610) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/01
- 9 feb 2015 00:14 (wijz | gesch) . . (+3.447) . . N Gebruiker:Marein Könings/2014-15/Beweren en bewijzen/taak/01 (Nieuwe pagina aangemaakt met '{{individuele opdracht}} == Opgave 1 == Voldaan. == Opgave 2 == {{Taxonomy/Square| Het meest geschikte materiaal voor het lemmet is waarschijnlijk roestvrij staal....')
- 8 feb 2015 23:39 (wijz | gesch) . . (+967) . . Gebruiker:Marein Könings/2014-15/Beweren en bewijzen
- 8 feb 2015 23:32 (wijz | gesch) . . (+12) . . N Gebruiker:Marein Könings/2014-15 (Nieuwe pagina aangemaakt met '{{dit jaar}}') (laatste wijziging)
- 8 feb 2015 23:32 (wijz | gesch) . . (+22) . . N Gebruiker:Marein Könings/2014-15/Beweren en bewijzen (Nieuwe pagina aangemaakt met '{{deze cursus|uren=8}}')
- 4 jul 2014 14:27 (wijz | gesch) . . (+898) . . Gebruiker:Marein Könings/2013-14/Beweren en bewijzen (laatste wijziging)
- 13 jun 2014 18:27 (wijz | gesch) . . (-315) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost
- 13 jun 2014 16:47 (wijz | gesch) . . (-157) . . k Beweren en bewijzen/2013-14/werkstuk/buizenpost (onnodige regels verwijderd uit bewijs...)
- 13 jun 2014 16:40 (wijz | gesch) . . (+395) . . k Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Het bewijs)
- 13 jun 2014 16:29 (wijz | gesch) . . (+15.830) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Het bewijs)
- 13 jun 2014 16:12 (wijz | gesch) . . (+957) . . Gebruiker:Marein Könings/2013-14/Beweren en bewijzen (→Invullen bij mijlpaal 7)
- 13 jun 2014 13:32 (wijz | gesch) . . (+3.298) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Het bewijs)
- 12 jun 2014 16:24 (wijz | gesch) . . (+1.658) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Het bewijs)
- 12 jun 2014 16:20 (wijz | gesch) . . (-2) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Functioneel netwerk)
- 12 jun 2014 16:20 (wijz | gesch) . . (0) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Het domeinmodel)
- 12 jun 2014 16:19 (wijz | gesch) . . (-1) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Het domeinmodel)
- 12 jun 2014 16:18 (wijz | gesch) . . (0) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Specificatie van het geheel als formule)
- 12 jun 2014 16:17 (wijz | gesch) . . (0) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Specificatie van het geheel als formule)
- 12 jun 2014 15:59 (wijz | gesch) . . (-14) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Specificatie van het geheel in natuurlijke taal)
- 12 jun 2014 15:58 (wijz | gesch) . . (+161) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Specificatie in natuurlijke taal)
- 12 jun 2014 15:55 (wijz | gesch) . . (-4) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Specificatie in natuurlijke taal)
- 12 jun 2014 15:55 (wijz | gesch) . . (+1) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Specificatie in natuurlijke taal)
- 12 jun 2014 15:54 (wijz | gesch) . . (+8) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Specificatie in natuurlijke taal)
- 12 jun 2014 15:54 (wijz | gesch) . . (-1) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Specificatie in natuurlijke taal)
- 12 jun 2014 15:53 (wijz | gesch) . . (-1) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Specificatie in natuurlijke taal)
- 12 jun 2014 15:53 (wijz | gesch) . . (+1) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Specificatie in natuurlijke taal)
- 12 jun 2014 15:53 (wijz | gesch) . . (-9) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Specificatie in natuurlijke taal)
- 12 jun 2014 15:52 (wijz | gesch) . . (+17) . . Beweren en bewijzen/2013-14/werkstuk/buizenpost (→Specificatie in natuurlijke taal)
(nieuwste | oudste) (50 nieuwere | 50 oudere) (20 | 50 | 100 | 250 | 500) bekijken.
