…since I have never really used it I'm afraid I can't recommend good resources for it. ------ If you're just getting started, I recommend checking out my former advisor's book: https://www.amazon.com/Software-Engineering-Mathematics-Sei/... I found this book to be fairly easy to read through, and gives you a rundown of a lot of the notation and concepts that pretty much all formal methods systems require. ------ TLA+ is a decent…
……TLA+ 的发明者）最终敲定了这套特定的符号系统。想了解更多细节可以看他在 Youtube 上的访谈/视频。就我自己而言，我是先通过以下几本书学习/掌握基础知识的：* Woodcock 和 Loomes 写的《Software Engineering Mathematics》。* Monin 写的《Understanding Formal Methods》。* Nimal Nissanke 写的《Introductory Logic and Sets for Computer Scientists》。* 《Mathematical Notation: A Guide for Engineers and Scientists》……
…inventor of TLA+) settled on this specific notation. Please see his interviews/videos on Youtube for more details. In my own case i started by grasping/studying the basics from the following books; * Software Engineering Mathematics by Woodcock and Loomes. * Understanding Formal Methods by Monin. * Introductory Logic and Sets for Computer Scientists by Nimal Nissanke. * Mathematical Notation: A Guide for Engineers and Scientists…
…field, and are equally good at teaching the subject. He's also just a really kind, nice person who is delightful to chat with, though that's true of pretty much anyone in York [1]. I also think his book "Software Engineering Mathematics" [2] is an extremely approachable book for any engineer who wants to learn a bit more theory. As I said, my dropped PhD is not a failure in any capacity from my advisors or the school, mostly just life…
…might well fall apart. I've recently started an MSc at what Americans would call an Ivy-League university (having talked my way without an undegrad degree), and the first module I'm working with is "Software Engineering Mathematics". Working through the chapters of the book I have consistently had real trouble getting to grips with the material. I want it to just fit in straight away - and I just want to understand it - and it doesn't,…
……因为我从来没真正用过它，恐怕推荐不了什么好资料。------ 如果你刚入门，我推荐看看我前导师写的那本书：https://www.amazon.com/Software-Engineering-Mathematics-Sei/... 我觉得这本书读起来相当轻松，而且系统梳理了几乎所有形式化方法（formal methods）系统都会用到的符号和概念。------ TLA+ 是个挺不错的……
…since I have never really used it I'm afraid I can't recommend good resources for it. ------ If you're just getting started, I recommend checking out my former advisor's book: https://www.amazon.com/Software-Engineering-Mathematics-Sei/... I found this book to be fairly easy to read through, and gives you a rundown of a lot of the notation and concepts that pretty much all formal methods systems require. ------ TLA+ is a decent…
……TLA+ 的发明者）最终敲定了这套特定的符号系统。想了解更多细节可以看他在 Youtube 上的访谈/视频。就我自己而言，我是先通过以下几本书学习/掌握基础知识的：* Woodcock 和 Loomes 写的《Software Engineering Mathematics》。* Monin 写的《Understanding Formal Methods》。* Nimal Nissanke 写的《Introductory Logic and Sets for Computer Scientists》。* 《Mathematical Notation: A Guide for Engineers and Scientists》……
…inventor of TLA+) settled on this specific notation. Please see his interviews/videos on Youtube for more details. In my own case i started by grasping/studying the basics from the following books; * Software Engineering Mathematics by Woodcock and Loomes. * Understanding Formal Methods by Monin. * Introductory Logic and Sets for Computer Scientists by Nimal Nissanke. * Mathematical Notation: A Guide for Engineers and Scientists…
……领域，而且教学水平也同样高超。他人也很和善、很好相处，聊起天来让人如沐春风，不过约克 [1] 那边的人基本都这样。我也觉得他的书《Software Engineering Mathematics》[2] 对任何想多学点理论的工程师来说都是一本极其好上手的书。就像我说的，我退掉 PhD 绝不是因为导师或学校有什么问题，主要就是生活……
…field, and are equally good at teaching the subject. He's also just a really kind, nice person who is delightful to chat with, though that's true of pretty much anyone in York [1]. I also think his book "Software Engineering Mathematics" [2] is an extremely approachable book for any engineer who wants to learn a bit more theory. As I said, my dropped PhD is not a failure in any capacity from my advisors or the school, mostly just life…
……很可能就崩掉了。我最近在一家美国人口中的“常春藤盟校”读 MSc（没本科学位，全凭嘴皮子搞定的），接手的第一门课就是“Software Engineering Mathematics”。啃这本书各章节的时候，我一直很难搞懂那些内容。我特希望能一下子开窍——就想马上弄明白——但根本不是那么回事……
…might well fall apart. I've recently started an MSc at what Americans would call an Ivy-League university (having talked my way without an undegrad degree), and the first module I'm working with is "Software Engineering Mathematics". Working through the chapters of the book I have consistently had real trouble getting to grips with the material. I want it to just fit in straight away - and I just want to understand it - and it doesn't,…