After successful completion of the course, students are able to apply the most recent methods of universal algebra to problems in this field as well as to problems in the area of theoretical computer science.
Basic knowledge of universal algebra.