3 ms·
There is no such thing as zero to hero for formal methods. It’s a dense and difficult field.
by rsrsrs86 3y ago
There is no such thing as zero to hero for formal methods. It’s a dense and difficult field.
- fsckboy 3y agobut then, wouldn't the textbook for "MA/CS 301 Introduction to Formal Methods" be the book to read, and you either don't have the prereqs for it (can't understand it maybe because you don't know any functional languages) or it takes you as far as it does and then you decide if that's as far as you want to go?
- ewuhic 3y agoI am sorry, but my google-foo is lacking to find this book. Could you please name the authors, or just post a link?
- 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.