Noem twee voorbeelden van technieken en procedures die in de besliskunde zijn ontworpen om het formele beslissingsproces re ondersteunen.