Gebruiker:Mark Verleg

Mark Verleg, *1988 - andere  e-mail  '

Natuurwetenschapper (de studie Natuurwetenschappen; niet alleen in algemene zin).

Vooropleiding	VWO
Dossier	2009-10 Beweren en bewijzen taak 01 02 03 04 05 07 08 11 12 Opdracht Reflectie Opdracht Reflectie Opdracht Reflectie Opdracht Opdracht Opdracht Reflectie Opdracht Reflectie Reflectie Reflectie Reflectie Reflectie 2012-13 Beweren en bewijzen kladpapier 01 02 03 04 05 06 07 08 09 10
Portfolio	datum "Wijzigingsdatum (Modification date)" is a predefined property that corresponds to the date of the last modification of a subject and is provided by Semantic MediaWiki. type Toelichting pagina 16 mei 2010 11:31:00 reflectie studiejaar 2009-10 Mark Verleg/2009-10 6 februari 2013 23:45:39 reflectie studiejaar 2012-13 Mark Verleg/2012-13
Commentaren	by for Bjorn Rijpert/2012-13/Beweren en bewijzen/taak/09 Mark Verleg David Jansen Bjorn Rijpert Mark Verleg Mark Verleg/2009-10/Beweren en bewijzen/taak/11 David Jansen Mark Verleg Mark Verleg/2011-12/Domeinmodellering/Opdracht02-B02/Reflectie Bas Elbers Ger Paulussen Mark Verleg Mark Verleg/2011-12/Domeinmodellering/Opdracht09-A07/Opdracht Iris Trepels Mark Verleg Mark Verleg/2011-12/Domeinmodellering/Opdracht09-A07/Reflectie Bas Elbers Mark Verleg Mark Verleg/2011-12/Domeinmodellering/Opdracht11-B04/Reflectie Ger Paulussen Mark Verleg Mark Verleg Ger Paulussen Mark Verleg/2012-13/Beweren en bewijzen/taak/04 Mark Verleg Engelbert Hubbers Mark Verleg … overige resultaten Alle commentaren geschreven door Mark Verleg

---

Beweren en bewijzen

Opdrachten

• Opdracht 1 | Uitwerkingen 1
• Opdracht 2 | Uitwerkingen 2
• Opdracht 3 | Uitwerkingen 3
• Opdracht 4 | Uitwerkingen 4
• Opdracht 5 | Uitwerkingen 5
• Opdracht 6 | Uitwerkingen 6
• Opdracht 7 | Uitwerkingen 7
• Opdracht 8 | Uitwerkingen 8

• Opdracht 9 | Uitwerkingen 9
• Opdracht 10 | Uitwerkingen 10
• Opdracht 11 | Uitwerkingen 11
• Opdracht 12 | Uitwerkingen 12

• Klad

Project

• Dubbele schuifdeur
• Bewijsassistent Coq.
• Deductieschema, grammatica, tableauregels

Wikitaal

Code

<pre>

In deze code kan geen sluittag worden weegegeven want dan wordt de voorbeeldcode afgesloten.

Commentaar

{{!|~~~||Hier moet ik iets kwijt.||demo}}

Logica

∧    : ∧    : /\
∨     : ∨    : \/
¬    : ¬    : ~
→   : →    : ->
&harr;   : ↔    : <->
&forall; : ∀    : forall t:T
&exist;  : ∃    : exists t:T

Met bindingssterkte: negatie > conjunctie > disjunctie > implicatie > equivalentie

A -> B -> C ==> A -> (B -> C)