"О вычислимых формальных понятиях в вычислимых формальных контекстах" - читать интересную книгу автора (Морозов А.С., Львова М.А.)