How many of you who are studying CS have learned how to specify abstract data types algebraically? This is: to specify a data type in a functional manner through algebraic axioms that define their behavior.
I'm confused because MIT doesn't offer this topic (or any sort of problem specification for that matter) in their sillabus.
I'm just kind of mad we spent most of our algorithms and data structures II course with this kind of shit and it just kind of made me mad.
>>60908573
I made it sound like I study at MIT when I don't, I'm sorry for that.
>>60908582
please, I'm really curious guys.