| Course title | Formal Concept Analysis |
|---|---|
| Course code | KMI/FKA |
| Organizational form of instruction | Lecture + Lesson |
| Level of course | Master |
| Year of study | 1 |
| Semester | Summer |
| Number of ECTS credits | 4 |
| Language of instruction | Czech, English |
| Status of course | Compulsory-optional |
| Form of instruction | Face-to-face |
| Work placements | This is not an internship |
| Recommended optional programme components | None |
| Course availability | The course is available to visiting students |
| Lecturer(s) |
|---|
|
| Course content |
|
The course provides an introduction to formal concept analysis. " Introduction, history, motivation. " Formal context, formal concept, concept lattice. " Galois connections, closure operators. " Basic theorem of concept lattices. " Algorithms for computing concept lattices. " Many-valued contexts. " Attribute implications, Armstrong axioms, completeness. " Bases, algorithms for computing stem basis. " Introduction to formal concept analysis of data with fuzzy attributes. " Selected applications of formal concept analysis.
|
| Learning activities and teaching methods |
| Lecture, Demonstration |
| Learning outcomes |
|
The students become familiar with basic concepts of formal concept analysis.
2. Comprehension: Recognize data suitable for formal concept analysis. |
| Prerequisites |
|
unspecified
|
| Assessment methods and criteria |
|
Oral exam, Written exam
Active participation in class. Completion of assigned homeworks. Passing the oral (or written) exam. |
| Recommended literature |
|
| Study plans that include the course |
| Faculty | Study plan (Version) | Category of Branch/Specialization | Recommended semester | |
|---|---|---|---|---|
| Faculty: Faculty of Science | Study plan (Version): Computer Science - Specialization in Artificial Intelligence (2020) | Category: Informatics courses | 1 | Recommended year of study:1, Recommended semester: Summer |
| Faculty: Faculty of Science | Study plan (Version): Applied Computer Science - Specialization in Software Development (2024) | Category: Informatics courses | 1 | Recommended year of study:1, Recommended semester: Summer |
| Faculty: Faculty of Science | Study plan (Version): Bioinformatics (2021) | Category: Informatics courses | 1 | Recommended year of study:1, Recommended semester: Summer |
| Faculty: Faculty of Science | Study plan (Version): Computer Science - Specialization in General Computer Science (2020) | Category: Informatics courses | 1 | Recommended year of study:1, Recommended semester: Summer |
| Faculty: Faculty of Science | Study plan (Version): Teaching Training in Computer Science for Secondary Schools (2019) | Category: Pedagogy, teacher training and social care | 1 | Recommended year of study:1, Recommended semester: Summer |
| Faculty: Faculty of Science | Study plan (Version): Applied Computer Science - Specialization in Computer Systems and Technologies (2024) | Category: Informatics courses | 1 | Recommended year of study:1, Recommended semester: Summer |