О вычислимых формальных понятиях в вычислимых формальных контекстах

Вводятся и изучаются вычислимые формальные контексты и вычислимые формальные понятия в них. Даны примеры вычислимых формальных контекстов, в которых вычислимые понятия не образуют решетки. Изучаются сложностные вопросы формальных понятий в вычислимых формальных контекстах. В частности, сформулированы условия, достаточные для того, чтобы вычислимость или невычислимость формального понятия следовала из его теоретико-решеточных свойств. Доказана теорема плотности, показывающая, что в топологии Кантора каждое формальное понятие может быть аппроксимировано вычислимыми понятиями. Показано, что не все формальные понятия имеют теоретико-решеточные аппроксимации в виде точных верхних или нижних граней семейств вычислимых формальных понятий.