| Найдено документов - 19 | Статьи из номера журнала (сборника): Логико-алгебраические конструкции : межвуз. темат. сб. науч. тр. / М-во высш. и сред. спец. образования РСФСР, Калинин. гос. ун-т ; [редкол.: Ю. М. Горчаков (отв. ред.) и др.]. - Калинин : КГУ, 1987. - 107, [1] с. : ил. - Библиогр. в конце ст. - 0.70. | Версия для печати |
Сортировать по:
1. Статья
Болотов А. А.
Автоматы над алгебрами и задача о неотличимости состояний / А. А. Болотов
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 12-16. - Библиогр.: с. 16 (5 назв.).
Автоматы над алгебрами и задача о неотличимости состояний / А. А. Болотов
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 12-16. - Библиогр.: с. 16 (5 назв.).
Ключевые слова: Алгебра, Москва, город, Теоремы, Символы, Конечные автоматы, Бесконечные
Подробнее
Аннотация: Статья посвящена автоматам над алгебрами и задача о неотличимости состояний.
2. Статья
Чагрова Л. А.
Алгоритм построения первопорядкового эквивалента на шкалах для бездизъюнктивных интуиционистских формул / Л. А. Чагрова
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 96-100. - Библиогр.: с. 100 (2 назв.).
Алгоритм построения первопорядкового эквивалента на шкалах для бездизъюнктивных интуиционистских формул / Л. А. Чагрова
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 96-100. - Библиогр.: с. 100 (2 назв.).
Ключевые слова: Формулы, Калинин, город, Шкала, Множество, Константа, Импликации
Подробнее
Аннотация: Статья посвящена алгоритмам построения первопорядкового эквивалента на шкалах для бездизъюнктивных интуиционистских формул.
3. Статья
Введение
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 3-5.
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 3-5.
Ключевые слова: Алгоритмы, Алгебра, Абстрактная алгебра, Вычислительная техника, Приложения
Подробнее
Аннотация: Сборник содержит исследования как в классических областях, так и в новых, связанных с применением ЭВМ.
4. Статья
Канович М. И.
Вычислительные задачи: семантика и логика / М. И. Канович
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 35-42. - Библиогр.: с. 41-42 (10 назв.).
Вычислительные задачи: семантика и логика / М. И. Канович
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 35-42. - Библиогр.: с. 41-42 (10 назв.).
Ключевые слова: Семантика, Логика, Вычислительные задачи, Автоматический синтез, Величина
Подробнее
Аннотация: Статья посвящена вычислительным задачам: семантика и логика.
5. Статья
Чагров А. В.
Две теоремы об эквациональных логиках в сигнатуре из двух унарных символов / А. В. Чагров
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 90-96. - Библиогр.: с. 95-96 (5 назв.).
Две теоремы об эквациональных логиках в сигнатуре из двух унарных символов / А. В. Чагров
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 90-96. - Библиогр.: с. 95-96 (5 назв.).
Ключевые слова: Символы, Логика, Калинин, город, Эквациональная логика, Антиизоморфизм, Алгебра
Подробнее
Аннотация: Статья посвящена двум теоремам об эквациональных логиках в сигнатуре из двух унарных символов.
6. Статья
Карташов С. И.
Конечность числа замкнутых классов / С. И. Карташов
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 42-48.
Конечность числа замкнутых классов / С. И. Карташов
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 42-48.
Ключевые слова: Труды Тверского государственного университета, Калинин, город, Лемма, Функции, Множество, Переменные
Подробнее
Аннотация: Статья посвящена конечности числа замкнутых классов.
7. Статья
Некрасов К. Г.
Ненильпотентные конечные группы с большой суммой степеней неприводимых комплексных характеров / К. Г. Некрасов
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 66-70. - Библиогр.: с. 70 (2 назв.).
Ненильпотентные конечные группы с большой суммой степеней неприводимых комплексных характеров / К. Г. Некрасов
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 66-70. - Библиогр.: с. 70 (2 назв.).
Ключевые слова: Комплексные характеры, Калинин, город, Лемма, Равенство, Доказательство теоремы
Подробнее
Аннотация: Статья посвящена ненильпотентным конечным группам с большой суммой степеней неприводимых комплексных характеров.
8. Статья
Горчаков Ю. М.
Неразложимость подпрямых произведений конечных групп / Ю. М. Горчаков
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 23-26. - Библиогр.: с. 26 (3 назв.).
Неразложимость подпрямых произведений конечных групп / Ю. М. Горчаков
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 23-26. - Библиогр.: с. 26 (3 назв.).
Ключевые слова: Конечные группы, Труды Тверского государственного университета, Калинин, город, Счетные группы, Целое число
Подробнее
Аннотация: Статья посвящена неразложимости подпрямых произведений конечных групп.
9. Статья
Коляда К. В.
Неразрешимость проблемы полноты для некоторых функциональных систем типа Клини / К. В. Коляда
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 48-55. - Библиогр.: с. 55 (5 назв.).
Неразрешимость проблемы полноты для некоторых функциональных систем типа Клини / К. В. Коляда
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 48-55. - Библиогр.: с. 55 (5 назв.).
Ключевые слова: Москва, город, Суперпозиции, Базис, Теорема, Теоретико-множественные операции, Универсальная функция
Подробнее
Аннотация: Статья посвящена неразрешимости проблемы полноты для некоторых функциональных систем типа Клини.
10. Статья
Галюкшов Б. С.
Нормальная форма составных грамматик / Б. С. Галюкшов
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 16-20. - Библиогр.: с. 20 (2 назв.).
Нормальная форма составных грамматик / Б. С. Галюкшов
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 16-20. - Библиогр.: с. 20 (2 назв.).
Ключевые слова: Труды Тверского государственного университета, Грамматика, Непустая цепочка в алфавите, Теория алгоритмов
Подробнее
Аннотация: Статья посвящена нормальной форме составных грамматик.
11. Статья
Гоцко Б. З.
О линейных алгоритмах распознавания образцов / Б. З. Гоцко
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 26-35. - Библиогр.: с. 34-35 (4 назв.).
О линейных алгоритмах распознавания образцов / Б. З. Гоцко
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 26-35. - Библиогр.: с. 34-35 (4 назв.).
Ключевые слова: Москва, город, Векторы, Алгоритмы, Логика, Теорема, Доказательство
Подробнее
Аннотация: Статья посвящена линейным алгоритмам распознавания образцов.
12. Статья
Алисейчик П. А.
О максимальной длине базиса в P4 / П. А. Алисейчик
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 6-12. - Библиогр.: с. 12 (3 назв.).
О максимальной длине базиса в P4 / П. А. Алисейчик
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 6-12. - Библиогр.: с. 12 (3 назв.).
Ключевые слова: Москва, город, Доказательство, Теорема, Множество функций, Координата вектора, Лемма
Подробнее
Аннотация: Статья посвящена максимальной длине базиса в P4.
13. Статья
Макаров А. В.
О некоторых отношениях для предельных логик / А. В. Макаров
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 55-60. - Библиогр.: с. 60 (7 назв.).
О некоторых отношениях для предельных логик / А. В. Макаров
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 55-60. - Библиогр.: с. 60 (7 назв.).
Ключевые слова: Логика, Предельная логика, Москва, город, Теорема, Функциональные построения, Квантовая механика
Подробнее
Аннотация: Статья посвящена некоторым отношениям для предельных логик.
14. Статья
Граматгес Р.
О переработке последовательностей линейными автоматами / Р. Граматгес
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 20-23. - Библиогр.: с. 23 (1 назв.).
О переработке последовательностей линейными автоматами / Р. Граматгес
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 20-23. - Библиогр.: с. 23 (1 назв.).
Ключевые слова: Линейные автоматы, Переработка, Изображение последовательности, Натуральные числа, Мощность, Несократимая дробь
Подробнее
Аннотация: Статья посвящена переработке последовательностей линейными автоматами.
15. Статья
Стучилова С. В.
О полноте функции с задержками классов типа L, S, P, O / С. В. Стучилова
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 70-80. - Библиогр.: с. 80 (3 назв.).
О полноте функции с задержками классов типа L, S, P, O / С. В. Стучилова
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 70-80. - Библиогр.: с. 80 (3 назв.).
Ключевые слова: Полнота функции, Всесоюзный заочный машиностроительный институт, Алгебра, Замкнутые классы, Множества
Подробнее
Аннотация: Статья посвящена полноте функции с задержками классов типа L, S, P, O.
16. Статья
Тайцлин М. А.
О пролог-вычислениях / М. А. Тайцлин
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 80-84. - Библиогр.: с. 84 (1 назв.).
О пролог-вычислениях / М. А. Тайцлин
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 80-84. - Библиогр.: с. 84 (1 назв.).
Ключевые слова: Калинин, город, Конечная последовательность, Левый элемент, Переменная, Символы операции
Подробнее
Аннотация: Статья посвящена вычислениям. В статье рассмотрена также некоторая дополнительная сигнатура, состоящая из символов отношений, не входящих в Пи.
17. Статья
Шум А. А.
О структурной полноте нормальных модальных логик / А. А. Шум
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 101-106. - Библиогр.: с. 106 (5 назв.).
О структурной полноте нормальных модальных логик / А. А. Шум
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 101-106. - Библиогр.: с. 106 (5 назв.).
Ключевые слова: Калинин, город, Модальная логика, Формула, Правило Геделя, Логика
Подробнее
Аннотация: Статья посвящена структурной полноте нормальных модальных логик.
18. Статья
Ушчумлич Ш. М.
Об эффективности некоторых алгоритмов анализа и синтеза автоматов / Ш. М. Ушчумлич
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 85-90. - Библиогр.: с. 90 (9 назв.).
Об эффективности некоторых алгоритмов анализа и синтеза автоматов / Ш. М. Ушчумлич
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 85-90. - Библиогр.: с. 90 (9 назв.).
Ключевые слова: Москва, город, Алгоритмы, Неминимальное значение, Лемма, Регулярные выражения, Теорема
Подробнее
Аннотация: Статья посвящена эффективности некоторых алгоритмов анализа и синтеза автоматов.
19. Статья
Максимов В. М.
Представление матричных алгебр размера скрещенным произведением двух алгебр Грассмана / В. М. Максимов
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 61-65.
Представление матричных алгебр размера скрещенным произведением двух алгебр Грассмана / В. М. Максимов
// Логико-алгебраические конструкции. - Калинин : КГУ, 1987. - С. 61-65.
Ключевые слова: Алгебра, Труды Тверского государственного университета, Калинин, город, Знаки, Линейный базис
Подробнее
Аннотация: Статья посвящена представлению матричных алгебр размера скрещенным произведением двух алгебр Грассмана.