4 ms·
In formal methods, a subfield of computer science, we'd typically use the definition of non-determinism that is widely used within our own field. For example, s
by saltlyfe 2y ago
In formal methods, a subfield of computer science, we'd typically use the definition of non-determinism that is widely used within our own field. For example, see: https://cstheory.stackexchange.com/questions/632/what-is-the-difference-between-non-determinism-and-randomness https://cstheory.stackexchange.com/questions/632/what-is-the...
- tpoacher 2y agoI don't think that link contracts anything. It just says that probability is a subset of ND but not vice versa. Which is true. But this is not the same as saying probability is not ND. Maybe I'm missing something...