FI:M038 Semigroups - algorithmical asp - Course Information

M038 Semigroups - algorithmical aspects

Extent and Intensity

2/0. 2 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).

Teacher(s)

doc. RNDr. Libor Polák, CSc. (lecturer)

Guaranteed by

Contact Person: doc. RNDr. Libor Polák, CSc.

Prerequisites

M009 Algebra II
Suitable for graduate and postgraduate students. Before enrolling this course the students should go through I007 Computability.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

• Informatics (programme FI, B-IN)
• Informatics (programme FI, M-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
• Information Technology (programme FI, B-IN)

Syllabus

• Semigroups---algorithmical aspects
• Word problems, identity problems, residual finiteness. Minsky machines and undecidability. Geometric methods.

Language of instruction

Czech

Further Comments

The course is taught annually.
The course is taught: every week.

• Enrolment Statistics (recent)
  
• Permalink: https://is.muni.cz/course/fi/spring1999/M038