Махортов, С. Д. (канд. физ.-мат. наук). Алгебраический подход к исследованию и оптимизации баз знаний продукционного типа [Текст] / С. Д. Махортов, С. Л. Подвальный> // Информационные технологии. - 2008. - N 8. - С. 55-60. - Библиогр.: с. 60 (11 назв. ) . - ISSN 1684-6400
Рубрики: Математика Математическая логика Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): логические системы -- алгебраизация логики -- интеллектуальные системы -- продукционно-логические системы -- теория булевых решеток -- оптимизация баз знаний Аннотация: Рассматривается алгебраическая система, содержащая семантику расширенной продукционной логики. Доп.точки доступа: Подвальный, С. Л. (д-р техн. наук, проф.) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Дзегеленок, И. И. Алгебраизация числовых представлений для обеспечения высокоточных суперкомпьютерных вычислений [Текст] / И. И. Дзегеленок, Ш. А. Оцоков> // Вестник Московского энергетического института. - 2010. - N 3. - С. 107-116. . - Библиогр.: с. 116 (19 назв. )
Рубрики: Вычислительная техника Вычислительная техника в целом Кл.слова (ненормированные): численные обработки данных -- модулярная арифметика -- смешенная система счисления -- дробь Фарея -- Фарея дробь Аннотация: Работа посвящена решению актуальной проблемы достоверности вычислений при решении ряда задач численной обработки данных. Доп.точки доступа: Оцоков, Ш. А. Имеются экземпляры в отделах: всего 1 : эн.ф. (1) Свободны: эн.ф. (1) |
Поморцев, Л. А. Алгебраизация вывода функциональных зависимостей реляционных баз данных [Текст] / Л. А. Поморцев, В. И. Цурков> // Известия РАН. Теория и системы управления. - 2019. - № 2. - С. 58-76. - Библиогр.: с. 73-74 (15 назв. ) . - ISSN 0002-3388
Рубрики: Математика Алгебра Кл.слова (ненормированные): алгебраизация -- базы данных -- математические расчеты -- табличные данные -- функциональные зависимости Аннотация: Рассматривается замкнутый автомат, располагающий шестью не более чем двухадресными командами, называемыми аксиомами вывода. Доп.точки доступа: Цурков, В. И. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |