Noem twee voorbeelden van technieken en procedures die in de besliskunde zijn ontworpen tbv ondersteuning vh formele beslissingsproces