I have a MSc with a specialization in formal methods from a place with famous faculty in the field, so I might be biased. But I have to disagree with almost anyone here. Formal methods still lack a bit of maturity and…
Altering a habit by means of will-force is not easy. One simple route can be to make checking some sites more difficult, so that you need to make an effort to log into e.g. Facebook. For example, you can use Temporary…
The obvious route for self-study is to go through Halmos or Axler and Rudin, plus all additional materials and study aids such as Gelbaum & Olmsted, emulating the most popular Harvard Math 55 incarnation. Another nice…
I have a MSc with a specialization in formal methods from a place with famous faculty in the field, so I might be biased. But I have to disagree with almost anyone here. Formal methods still lack a bit of maturity and…
Altering a habit by means of will-force is not easy. One simple route can be to make checking some sites more difficult, so that you need to make an effort to log into e.g. Facebook. For example, you can use Temporary…
The obvious route for self-study is to go through Halmos or Axler and Rudin, plus all additional materials and study aids such as Gelbaum & Olmsted, emulating the most popular Harvard Math 55 incarnation. Another nice…