I took both the intro and advanced version of this course in my undergrad. Academically interesting stuff, but the inability to translate from proved system to

I took both the intro and advanced version of this course in my undergrad. Academically interesting stuff, but the inability to translate from proved system to implemented and proved system was always frustrating. It was definitey a clear delineation between _computer science_ and _engineering science_ during my undergraduate courses.