I recently finished a software design and implementation class. there was a ton of focus on a ton of super annoying (at least to me) concepts like rep and loop invariants, abstract function, proving code correct with induction and flloyd logic, hoare triples etc. I was just curious, how often do people in the workplace actually use these types of things?
submitted by /u/Bluesyde
[link] [comments]
r/cscareerquestions I recently finished a software design and implementation class. there was a ton of focus on a ton of super annoying (at least to me) concepts like rep and loop invariants, abstract function, proving code correct with induction and flloyd logic, hoare triples etc. I was just curious, how often do people in the workplace actually use these types of things? submitted by /u/Bluesyde [link] [comments]
I recently finished a software design and implementation class. there was a ton of focus on a ton of super annoying (at least to me) concepts like rep and loop invariants, abstract function, proving code correct with induction and flloyd logic, hoare triples etc. I was just curious, how often do people in the workplace actually use these types of things?
submitted by /u/Bluesyde
[link] [comments]