3 ms·
> the textbook for "MA/CS 301 Introduction to Formal Methods" my bad, I was using a "slangy" sort of description to say "shouldn't somebody read the textbook t
by fsckboy 3y ago
> the textbook for "MA/CS 301 Introduction to Formal Methods"
my bad, I was using a "slangy" sort of description to say "shouldn't somebody read the textbook that would be used in a computer science 101 class (or a math 101 class) except not 101 but a hypothetical 3rd level class" so I called it 301. I was asking, "what textbook is used in an upper level undergraduate course on the topic?"
Many American universities use a numbering system of 101 & 102 for the fall and spring term classes somebody majoring in the subject would take, and 201 - 202 for the 2nd year. A CS100-level class would be a lighter survey for somebody who would want to study some CS but not major in it.