Главная Новости Оформление статьи Архив Авторы Поиск Вход
Номера
2019: 1
2018: 1 2 3 4 5 6
2017: 1 2 3 4 5 6
2016: 1 2 3 4 5 6
2015: 1 2 3 4 5 6
2014: 1 2 3 4 5 6
2013: 1 2 3 4 5 6
2012: 1 2 3 4 5 6
2011: 1 2 3 4 5 6
2010: 1 2 3 4 5 6
2009: 1 2 3 4 5 6
2008: 1 2 3 4 5 6
2007: 1 2 3 4 5 6
2006: 1 2 3 4 5 6
2005: 1 2 3 4 5 6
2004: 1 2 3 4 5 6
2003: 1 2 3 4 5 6
2002: 1 2 3 4 5 6
2001: 1 2 3 4 5 6
2000: 1 2 3 4 5 6
1999: 1 2 3 4 5 6
1998: 1 2 3 4 5 6
1997: 1 2 3 4 5 6
1996: 1 2 3 4 5 6
1995: 1 2 3 4 5 6
1994: 1 2 3 4 5 6
1993: 1 2 3 4 5 6

СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Морозов А. С., Львова М. А. О вычислимых формальных понятиях в вычислимых формальных контекстах // Том 48 (2007), Номер 5, стр. 1083–1092 
Вводятся и изучаются вычислимые формальные контексты и вычислимые формальные
понятия в них.
Даны примеры вычислимых формальных контекстов, в которых вычислимые понятия
не образуют решетки.
Изучаются сложностные вопросы формальных понятий в вычислимых формальных контекстах.
В частности, сформулированы условия, достаточные для того,
чтобы вычислимость или невычислимость формального понятия следовала из
его теоретико-решеточных свойств.
Доказана теорема плотности, показывающая, что в топологии Кантора
каждое формальное понятие может быть аппроксимировано вычислимыми понятиями.
Показано, что не все формальные понятия имеют теоретико-решеточные
аппроксимации в виде точных верхних или нижних граней
семейств вычислимых формальных понятий.
© Сибирский Математический Журнал, 2003-2006