|
|
Main menu for Browse IS/STAG
Course info
KMI / FKA
:
Course description
Department/Unit / Abbreviation
|
KMI
/
FKA
|
Academic Year
|
2024/2025
|
Academic Year
|
2024/2025
|
Title
|
Formal Concept Analysis
|
Form of course completion
|
Exam
|
Form of course completion
|
Exam
|
Accredited / Credits
|
Yes,
4
Cred.
|
Type of completion
|
Combined
|
Type of completion
|
Combined
|
Time requirements
|
Lecture
2
[Hours/Week]
Tutorial
1
[Hours/Week]
|
Course credit prior to examination
|
Yes
|
Course credit prior to examination
|
Yes
|
Automatic acceptance of credit before examination
|
No
|
Included in study average
|
YES
|
Language of instruction
|
Czech, English
|
Occ/max
|
|
|
|
Automatic acceptance of credit before examination
|
No
|
Summer semester
|
0 / -
|
0 / -
|
0 / 10
|
Included in study average
|
YES
|
Winter semester
|
0 / -
|
0 / -
|
0 / -
|
Repeated registration
|
NO
|
Repeated registration
|
NO
|
Timetable
|
Yes
|
Semester taught
|
Summer semester
|
Semester taught
|
Summer semester
|
Minimum (B + C) students
|
not determined
|
Optional course |
Yes
|
Optional course
|
Yes
|
Language of instruction
|
Czech, English
|
Internship duration
|
0
|
No. of hours of on-premise lessons |
|
Evaluation scale |
A|B|C|D|E|F |
Periodicity |
každý rok
|
Evaluation scale for credit before examination |
S|N |
Periodicita upřesnění |
|
Fundamental theoretical course |
Yes
|
Fundamental course |
Yes
|
Fundamental theoretical course |
Yes
|
Evaluation scale |
A|B|C|D|E|F |
Evaluation scale for credit before examination |
S|N |
Substituted course
|
None
|
Preclusive courses
|
N/A
|
Prerequisite courses
|
N/A
|
Informally recommended courses
|
N/A
|
Courses depending on this Course
|
N/A
|
Histogram of students' grades over the years:
Graphic PNG
,
XLS
|
Course objectives:
|
The students become familiar with basic concepts of formal concept analysis.
|
Requirements on student
|
Active participation in class. Completion of assigned homeworks. Passing the oral (or written) exam.
|
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.
|
Activities
|
|
Fields of study
|
|
Guarantors and lecturers
|
-
Guarantors:
doc. RNDr. Jan Konečný, Ph.D. (100%),
-
Lecturer:
prof. RNDr. Radim Bělohlávek, Ph.D., DSc. (100%),
doc. RNDr. Jan Konečný, Ph.D. (100%),
-
Tutorial lecturer:
Mgr. Radek Janoštík, Ph.D. (100%),
Mgr. Jan Tříska, Ph.D. (100%),
|
Literature
|
-
Basic:
Carpineto C., Romano G. Concept Data Analysis : Theory and Applications. John Wiley & Sons, 2004. ISBN 0-470-85055-8.
-
Basic:
Ganter B., Obiedkov S. (2016). Conceptual Exploration. Springer, Berlin.
-
Basic:
Ganter B., Wille R. Formal Concept Analysis. Mathematical Foundations. Springer, Berlin, 1999. ISBN 3-540-62771-5.
-
Basic:
Bělohlávek R. Introduction to Formal Concept Analysis.. UP Olomouc, 2008.
-
Recommended:
Bernhard Ganter, Rudolf Wille und Karl-Erich Wolff. (1987). Beiträge zur Begriffsanalyse, BI-Wissenschaftsverlag.
-
Recommended:
Schmidt, G. (2010). Relational Mathematics. Cambridge Univ. Press.
-
On-line library catalogues
|
Prerequisites - other information about course preconditions |
- |
Competences acquired |
2. Comprehension: Recognize data suitable for formal concept analysis. |
Teaching methods |
|
Assessment methods |
|
|
|
|