This was a really good course. The professor is good as well. I would certainly recommend that people take this course.
Good course on Automata and behavioural equivalences.\n\nThe assessment questions are really challenging.
автор: Asif J•
Good to learn new things. the recorded sound quality is not too clear. However I managed to learn from the professor a lot.
автор: Emmanuel D•
A very good introduction for model checking. I had some knownledge and it was very good refresh.
It will be better if these materials could be summarized into a table at the end of the course.
good, some parts is not clear enough. Better learn with the recommend textbook
автор: Dmitry F•
Course is mostly theoretical. So far it's difficult to say anything about its practical implications and usefulness. It's my first course on Coursera, so I can't compare. But I think sometimes it lacks a bit clarity, especially considering lecturer's English and bad quality of subtitles which sometimes do not match real lecturer's words. Anyway it was interesting and now I'm really intrigued about how I can apply this new knowledge to real everyday development tasks. Most probably I will try following courses in the specialization. Thanks a lot to authors!
автор: Garry M•
There are little examples in the course or the book and that makes it difficult to practice for the quizzes or really get a feel for the information. Most times I felt I learned more reading the book after doing a quiz attempt and using the feedback than I did in the videos. I recommend adding more examples and practice exercises for this material.
автор: Carlo B•
I liked the course and the topic, I suggest to improve adding more practical automata modelling in mCRL2. The current approach is a little bit discouraging because requires a lot of manual effort especially because there are multiple choices per exercise and you get zero % if you miss one.
автор: Nicolas R•
The quizzes ask very useful but non-trivial questions that hint at taxonomies of behavior equivalences relations w.r.t.some criteria (e.g., coarsest; preserving weak traces; preserving divergences; ...)
автор: Harsh D•
Course gives a very abstract and basic idea.It fails to explain the relations with practical examples.
автор: Hanno H•
This is painful to watch. Sadly, uttering a series of correct statements is not the same as teaching a subject. The lecturer clearly knows his materials, but ends up making the course content harder than it really is. Automaton theory is a wonderful topic to be working with but this lecture is more confusing than helpful. I'd recommend to buy a good book on the matter, its less frustrating and probably explains things better.
автор: Marwan A•
I didn't understand a thing from the course! It's like the professor is reading from a book! This is not education, this is an audible book recorded using the worst mic ever!