| Найдено документов - 17 | Статьи из номера журнала (сборника): Логико-алгебраические конструкции : сб. науч. тр. / Твер. гос. ун-т ; редкол.: Ю. М. Горчаков (отв. ред.) и др. - Тверь, 1992. - 97,[2] с. : ил. - Библиогр. в конце ст. - ISBN 5-230-08415-4 : 7-00. | Версия для печати |
Сортировать по:
1. Статья
Титов Г. Н.
Группы с изоордными решеточными дополнениями для подгрупп / Г. Н. Титов
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 82-91. - Библиогр.: с. 91 (6 назв.).
Группы с изоордными решеточными дополнениями для подгрупп / Г. Н. Титов
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 82-91. - Библиогр.: с. 91 (6 назв.).
Ключевые слова: Группы, Краснодар, город, Разрешимость, Доказательство, Решеточные дополнения, Константа
Подробнее
Аннотация: Статья посвящена группам с изоордными решеточными дополнениями для подгрупп.
2. Статья
Горчакова А. В.
Дополняемость в счетных подгруппах / А. В. Горчакова
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 34-40. - Библиогр.: с. 40 (6 назв.).
Дополняемость в счетных подгруппах / А. В. Горчакова
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 34-40. - Библиогр.: с. 40 (6 назв.).
Ключевые слова: Дополняемость в группах, Тверь, город, Теорема, Следствие, Инвариантные системы
Подробнее
Аннотация: Статья посвящена дополняемости в счетных подгруппах.
3. Статья
Волкова Е. Н.
Критерий полноты для двух систем функций с задержками / Е. Н. Волкова, Н. В. Ильченко
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 27-32. - Библиогр.: с. 32 (1 назв.).
Критерий полноты для двух систем функций с задержками / Е. Н. Волкова, Н. В. Ильченко
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 27-32. - Библиогр.: с. 32 (1 назв.).
Авторы: Волкова Е. Н. , Ильченко Н. В.
Ключевые слова: Москва, город, Критерий полноты, Функции с задержками, Множество, Синхронная суперпозиция, Функциональные системы
Подробнее
Аннотация: Статья посвящена критерию полноты для двух систем функций с задержками.
4. Статья
Архангельский Д. А.
Негационная информационная логика / Д. А. Архангельский
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 11-17. - Библиогр.: с. 17 (5 назв.).
Негационная информационная логика / Д. А. Архангельский
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 11-17. - Библиогр.: с. 17 (5 назв.).
Ключевые слова: Информационная логика, Матрица, Теория групп, Абелевы группы, Труды Тверского государственного университета, Формула
Подробнее
Аннотация: Статья посвящена негационной информационной логике.
5. Статья
Тюленев Н. В.
О величине задержки детерминированных функций, приближающий непрерывные функции из некоторого класса / Н. В. Тюленев
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 91-98. - Библиогр.: с. 98 (3 назв.).
О величине задержки детерминированных функций, приближающий непрерывные функции из некоторого класса / Н. В. Тюленев
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 91-98. - Библиогр.: с. 98 (3 назв.).
Ключевые слова: Величина, Москва, город, Непрерывные функции, Теорема, Множество
Подробнее
Аннотация: Статья посвящена величине задержки детерминированных функций, приближающий непрерывные функции из некоторого класса.
6. Статья
Иванов Д. Н.
О группах автоморфизмов некоторых полуполей / Д. Н. Иванов
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 57-59. - Библиогр.: с. 59 (2 назв.).
О группах автоморфизмов некоторых полуполей / Д. Н. Иванов
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 57-59. - Библиогр.: с. 59 (2 назв.).
Ключевые слова: Полуполя, Москва, город, Алгебра, Теорема, Формула, Суммирование
Подробнее
Аннотация: Статья посвящена группам автоморфизмов некоторых полуполей.
7. Статья
Некрасов К. Г.
О конечных 2-группах с малой подгруппой Фраттини / К. Г. Некрасов
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 75-82. - Библиогр.: с. 82 (1 назв.).
О конечных 2-группах с малой подгруппой Фраттини / К. Г. Некрасов
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 75-82. - Библиогр.: с. 82 (1 назв.).
Ключевые слова: Конечные группы, Труды Тверского государственного университета, Группа диэдра порядка, Формула, Доказательство
Подробнее
Аннотация: Статья посвящена конечным 2-группах с малой подгруппой Фраттини.
8. Статья
Долотова О. А.
О минимальных проверяющих тестах функций из класса / О. А. Долотова
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 48-56. - Библиогр.: с. 56 (3 назв.).
О минимальных проверяющих тестах функций из класса / О. А. Долотова
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 48-56. - Библиогр.: с. 56 (3 назв.).
Ключевые слова: Функции, Теорема, Москва, город, Тест наименьшей мощности, Константа, Доказательство результатов
Подробнее
Аннотация: Статья посвящена минимальным проверяющим тестам функций из класса.
9. Статья
Анферова Л. П.
О подпрямых произведениях групп / Л. П. Анферова
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 4-11. - Библиогр.: с. 11 (3 назв.).
О подпрямых произведениях групп / Л. П. Анферова
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 4-11. - Библиогр.: с. 11 (3 назв.).
Ключевые слова: Классические результаты Прюфера, Труды Тверского государственного университета, Теорема, Абелевы, Проекция
Подробнее
Аннотация: Статья посвящена подпрямым произведениям групп. Такой подход позволяет по новому осветить классические результаты Прюфера и Куликова.
10. Статья
Баранов А. В.
О продолжении пар булевых таблиц по системе равномощных опорных множеств / А. В. Баранов
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 22-27. - Библиогр.: с. 27 (2 назв.).
О продолжении пар булевых таблиц по системе равномощных опорных множеств / А. В. Баранов
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 22-27. - Библиогр.: с. 27 (2 назв.).
Ключевые слова: Опорные множества, Москва, город, Функционал, Булевая таблица, Теорема, Логические процедуры
Подробнее
Аннотация: Статья посвящена продолжению пар булевых таблиц по системе равномощных опорных множеств.
11. Статья
Бабин Д. Н.
О суперпозициях в некоторых классах ограниченно-детерминированных функций / Д. Н. Бабин
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 17-22. - Библиогр.: с. 22 (3 назв.).
О суперпозициях в некоторых классах ограниченно-детерминированных функций / Д. Н. Бабин
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 17-22. - Библиогр.: с. 22 (3 назв.).
Ключевые слова: Суперпозиции, Москва, город, Детерминированные функции, Утверждение, Подгруппа
Подробнее
Аннотация: Статья посвящена суперпозициям в некоторых классах ограниченно-детерминированных функций.
12. Статья
Ключников А. В.
О типичных значениях сложности реализации наборов простых экспериментов автоматами / А. В. Ключников
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 66-73. - Библиогр.: с. 73 (2 назв.).
О типичных значениях сложности реализации наборов простых экспериментов автоматами / А. В. Ключников
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 66-73. - Библиогр.: с. 73 (2 назв.).
Ключевые слова: Эксперименты, Множество, Числа натуральные, Москва, город, Сложности, Следствие
Подробнее
Аннотация: Статья посвящена типичных значениях сложности реализации наборов простых экспериментов автоматами.
13. Статья
Горчаков Ю. М.
О транзитивных подгруппах кратного сплетения групп / Ю. М. Горчаков
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 32-34. - Библиогр.: с. 34 (1 назв.).
О транзитивных подгруппах кратного сплетения групп / Ю. М. Горчаков
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 32-34. - Библиогр.: с. 34 (1 назв.).
Ключевые слова: Подгруппы, Труды Тверского государственного университета, Доказательство, Равенство, Транзитивные группы
Подробнее
Аннотация: Статья посвящена транзитивным подгруппам кратного сплетения групп.
14. Статья
Йовович В.
О числе цикловых индексов m - арных групп и числе m - арных отношений / В. Йовович
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 57-59. - Библиогр.: с. 66 (7 назв.).
О числе цикловых индексов m - арных групп и числе m - арных отношений / В. Йовович
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 57-59. - Библиогр.: с. 66 (7 назв.).
Ключевые слова: Москва, город, Цикловые индексы, Формулы, Доказательство, Лемма
Подробнее
Аннотация: Статья посвящена числу цикловых индексов m - арных групп и числе m - арных отношений.
15. Статья
Левкин Г. Г.
О числе элементов порядка 2 в сплетении n циклических групп порядка 2 / Г. Г. Левкин
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 73-75.
О числе элементов порядка 2 в сплетении n циклических групп порядка 2 / Г. Г. Левкин
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 73-75.
Ключевые слова: Труды Тверского государственного университета, Сложение, Сплетение, Формула, Скобки
Подробнее
Аннотация: Статья посвящена числу элементов порядка 2 в сплетении n циклических групп порядка 2.
16. Статья
Грунская В. И.
Об эквивалентном поведении автоматов в геометрических средах / В. И. Грунская
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 41-48. - Библиогр.: с. 48 (3 назв.).
Об эквивалентном поведении автоматов в геометрических средах / В. И. Грунская
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 41-48. - Библиогр.: с. 48 (3 назв.).
Ключевые слова: Эквивалентное поведение, Москва, город, Геометрическая среда, Плоскость, Левая нижняя вершина
Подробнее
Аннотация: Статья посвящена эквивалентному поведению автоматов в геометрических средах.
17. Статья
Предисловие
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 3.
// Логико-алгебраические конструкции. - Тверь, 1992. - С. 3.
Ключевые слова: Компьютеризация, Алгоритмы, Алгебра, Алгебраический аппарат, Математическая логика, Кибернетика
Подробнее
Аннотация: В сборнике идет речь о конструкциях и алгоритмах в алгебре и математической логике, возможности их применения.