3 ms·
But isn't CS one of the formal sciences (together with mathematics, statistics, etc.)? Familiarity with mathematical notation should be pretty foundational for
by thearn4 10y ago
But isn't CS one of the formal sciences (together with mathematics, statistics, etc.)? Familiarity with mathematical notation should be pretty foundational for active researchers in the field I would think.
- bananabill 10y agoIt just doesn't come up very much. The computers abstract it enough that you rarely need to actually look at notation like that. Unless you're doing some real close to the metal work, which the people who kept their hands raised probably were.
- MichaelBurge 10y agoI'm not sure I buy your claim that mathematical notation is "close to the metal".
- QuantumRoar 10y agoYou're mixing up programming with computer science. The former is a task that does not necessarily need any math (e.g. web development), the latter is literally math (e.g. category algebra). Edit: clarification
- AstralStorm 10y agoIt doesn't come up because it is too abstract. About the only languages I can think of that will accept existential statements are theorem provers. My favourite is Isabelle/HOL. In fact, the notation used by the lecturer is sloppy. Numbers 1..N is not a rigorous domain definition. (Unknown if real or natural.)