Beweren en bewijzen/kwaliteit/opmaak van formules

Uit Werkplaats
< Beweren en bewijzen‎ | kwaliteit
Versie door Engelbert Hubbers (overleg | bijdragen) op 29 jan 2009 om 08:59
(wijz) ← Oudere versie | Huidige versie (wijz) | Nieuwere versie → (wijz)
Ga naar: navigatie, zoeken
de opzet 2017-18    KalenderIcon.gif multimedia kwaliteit commentaren
site map

Beweren en bewijzen
Wijsheid omgaan met onzekerheid: met open blik op wankele ondergrond levenspad bewandelen
Vernuft aanpak van glibberige problemen precies redeneren op het hoogste niveau
vier zuilen → Artefacten Formalisering Taal Zekerheid
1. Rationaliteit Rationaliteitsvierkant 4 werelden Beweren is moeilijk Overtuigen
2. Modellen Focus Precisie Logica Stelling en bewijs
3. Model en realiteit Specificaties Domeinmodel Syntax en semantiek Waarheid
4. Correctheid Structuur Correctheidsstelling Typering Nagaan
5. Methoden Decompositie Systemat. vertalen Definities Natuurl. deductie
6. Theorie Domeintheorie Tijd Tijdslogica Wiskunde
7. Complexiteit Hiërarch. decompositie Vereenvoudigingen Modules Bewijsassistenten
8. Generalisering Standaardisatie Parametrisatie Talen Hulpstellingen
Beweren en bewijzen/kwaliteit/opmaak van formules

Aan deze pagina wordt nog gewerkt. Bedankt voor uw begrip.


Kwaliteitscriteria opmaak van formules

  • Formules mogen nooit zo breed gezet worden dat ze van de pagina aflopen.
  • Een sluitend haakje staat
    • óf op dezelfde regel als het bijbehorende openend haakje
    • óf precies eronder.
  • Hetzelfde geldt voor voegtekens en operatoren op hetzelfde niveau.
  • Wees zuinig met onnodige haakjes en witruimte.


Overgenomen van "https://lab.cs.ru.nl/algemeen/index.php?title=Beweren_en_bewijzen/kwaliteit/opmaak_van_formules&oldid=40950"