Formal Concept Analysis and Logic
This course covers the field of Formal Concept Analysis with a particular focus on its applications in logics and artificial intelligence. Formal Concept Analysis is a technique for analyzing data using a formal mathematical approach. It is closely related to
Basic knowledge of propositional logic is required. Previous knowledge of order theory is helpful but not required.
The lecture takes place weekly in room E005: Mondays 13:00-14:30 (DS 4)
An exercise session will be held fortnightly Mondays 09:20-10:50 (DS 2) in E005 (starting from April 23).
All students are encouraged to present their solutions to the exercises, as they are useful for a better understanding of the lecture material.
Exercise sheets will be available online approx. one week before the session.
All the material necessary for successfully aproving the course will be presented during the lectures. As there is no available script, students are strongly recommended to copy the material written on the blackboard during lecture time.For an introduction to Formal Concept Analysis, consult: