| Найдено документов - 21 | Статьи из номера журнала (сборника): Алгебро-логические конструкции : сборник научных трудов / Калинин. гос. ун-т ; [отв. ред. Ю. М. Горчаков]. - Калинин : Калининский государственный университет, 1989. - 121 с. : ил. ; 20 см. - Библиогр. в конце ст. - 1.00. | Версия для печати |
Сортировать по:
1. Статья
Данг Зуй Руан.
Автоматные схемы для сверхисточников / Данг Зуй Руан
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 25-28. - Библиогр.: с. 28 (2 назв.).
Автоматные схемы для сверхисточников / Данг Зуй Руан
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 25-28. - Библиогр.: с. 28 (2 назв.).
Ключевые слова: Автоматные схемы, Сверхисточники, Теория автоматов, Теория абстрактных автоматов, Лемма, Теоремы
Подробнее
2. Статья
Титов Г. Н.
Группы, у которых недополняемые подгруппы образуют полную подрешетку решетки всех подгрупп / Г. Н. Титов
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 87-94. - Библиогр.: с. 94 (5 назв.).
Группы, у которых недополняемые подгруппы образуют полную подрешетку решетки всех подгрупп / Г. Н. Титов
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 87-94. - Библиогр.: с. 94 (5 назв.).
Ключевые слова: Группы (мат.), Недополняемые подгруппы, Подрешетка, Решетка перечислимых множеств, Множества, Теория групп
Подробнее
3. Статья
Чагрова Л. А.
Неразрешимость проблемы первопорядковой определимости интуиционистских формул / Л. А. Чагрова
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 111-116. - Библиогр.: с. 116 (10 назв.).
Неразрешимость проблемы первопорядковой определимости интуиционистских формул / Л. А. Чагрова
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 111-116. - Библиогр.: с. 116 (10 назв.).
Ключевые слова: Интуиционистская логика, Интуиционистские формулы, Суперинтуиционистские логики, Рекурсивные формулы, Первопорядковый элемент, Калининский государственный университет, Труды Тверского государственного университета
Подробнее
4. Статья
Чагров А. В.
Нетабличность - предтабличность, антитабличность, коантитабличность / А. В. Чагров
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 105-111. - Библиогр.: с. 111 (6 назв.).
Нетабличность - предтабличность, антитабличность, коантитабличность / А. В. Чагров
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 105-111. - Библиогр.: с. 111 (6 назв.).
Ключевые слова: Нетабличность, Предтабличность, Антитабличность, Коантитабличность, Алгебра, Калининский государственный университет, Труды Тверского государственного университета
Для просмотра электронного документа необходимо войти в личный кабинет, нажав кнопку «Войти» и введя свою фамилию и номер читательского билета
Подробнее
5. Статья
Галюкшова Т. В.
О двух свойствах выводов в порождающих системах / Т. В. Галюкшова
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 15-17. - Библиогр.: с. 17 (3 назв.).
О двух свойствах выводов в порождающих системах / Т. В. Галюкшова
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 15-17. - Библиогр.: с. 17 (3 назв.).
Ключевые слова: Порождающие системы, Полуконтекстные грамматики, Математическая логика, Теория формальных языков, Формальные грамматики, Калининский государственный университет, Труды Тверского государственного университета
Подробнее
6. Статья
Карташов С. И.
О некоторых функциональных системах типа Поста / С. И. Карташов
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 45-53. - Библиогр.: с. 53 (4 назв.).
О некоторых функциональных системах типа Поста / С. И. Карташов
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 45-53. - Библиогр.: с. 53 (4 назв.).
Ключевые слова: Функциональные системы, Функциональные системы типа Поста, Замкнутые классы, Континуальные решетки, Алгоритмы, Математическая логика, Калининский государственный университет, Труды Тверского государственного университета
Подробнее
7. Статья
Мохаммад аль-Наеф аль-Хадж Юнес.
О полноте множеств ограниченно-детерминированных функций, реализующих простые и кратные эксперименты / Мохаммад аль-Наеф аль-Хадж Юнес
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 82-86. - Библиогр.: с. 86 (3 назв.).
О полноте множеств ограниченно-детерминированных функций, реализующих простые и кратные эксперименты / Мохаммад аль-Наеф аль-Хадж Юнес
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 82-86. - Библиогр.: с. 86 (3 назв.).
Ключевые слова: Полнота множеств, Ограниченно-детерминированные функции, Простые эксперименты, Кратные эксперименты, Математическая кибернетика, Теория автоматов, Конечные автоматы
Подробнее
8. Статья
Малыгин В. И.
О пространствах выходных функций конечных автоматов, сохраняющих многообразия групп / В. И. Малыгин
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 77-82. - Библиогр.: с. 82 (2 назв.).
О пространствах выходных функций конечных автоматов, сохраняющих многообразия групп / В. И. Малыгин
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 77-82. - Библиогр.: с. 82 (2 назв.).
Ключевые слова: Выходные функции, Конечные автоматы, Многообразия групп, Теория автоматов, Теория групп, Лемма, Теоремы
Подробнее
9. Статья
Калибарда Г.
О решетке замкнутых классов одной счетно-значной логики / Г. Калибарда
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 53-60. - Библиогр.: с. 60 (2 назв.).
О решетке замкнутых классов одной счетно-значной логики / Г. Калибарда
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 53-60. - Библиогр.: с. 60 (2 назв.).
Ключевые слова: Замкнутые классы, Решетка замкнутых классов, Счетно-значная логика, Функциональные системы, Алгоритмы, Рекурсивные функции
Подробнее
10. Статья
Кудрявцев Г. Ю.
О сложности конечных автоматов, решающих лабиринтную задачу / Г. Ю. Кудрявцев
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 68-71. - Библиогр.: с. 71 (1 назв.).
О сложности конечных автоматов, решающих лабиринтную задачу / Г. Ю. Кудрявцев
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 68-71. - Библиогр.: с. 71 (1 назв.).
Ключевые слова: Конечные автоматы, Лабиринтная задача, Теория автоматов, Теоремы, Множества
Подробнее
11. Статья
Канович М. И.
О сложности опровержения в конструктивной логике высказываний / М. И. Канович
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 39-45. - Библиогр.: с. 44-45 (14 назв.).
О сложности опровержения в конструктивной логике высказываний / М. И. Канович
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 39-45. - Библиогр.: с. 44-45 (14 назв.).
Ключевые слова: Конструктивная логика, Математическая логика, Математическая лингвистика, Теория алгоритмов, Модальная логика, Кибернетика, Калининский государственный университет, Труды Тверского государственного университета
Подробнее
12. Статья
Бабин Д. Н.
О суперпозициях ограниченно-детерминированных функций ограниченного веса / Д. Н. Бабин
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 4-9. - Библиогр.: с. 9 (1 назв.).
О суперпозициях ограниченно-детерминированных функций ограниченного веса / Д. Н. Бабин
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 4-9. - Библиогр.: с. 9 (1 назв.).
Ключевые слова: Суперпозиции, Ограниченно-детерминированные функции, Ограниченный вес, Алгебра, Теория автоматов, Лемма, Теоремы, Множества
Подробнее
13. Статья
Дадеркин Д. О.
О табличных уноидах / Д. О. Дадеркин
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 19-24. - Библиогр.: с. 24 (4 назв.).
О табличных уноидах / Д. О. Дадеркин
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 19-24. - Библиогр.: с. 24 (4 назв.).
Ключевые слова: Уноиды, Таблицы, Множество натуральных чисел, Динамические логики, Уноиды Ужичина, Ужичин П., Прикладная логика, Калининский государственный университет, Труды Тверского государственного университета
Подробнее
14. Статья
Ващенко Т. В.
О функциональной системе Р*2 / Т. В. Ващенко
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 9-15. - Библиогр.: с. 15 (4 назв.).
О функциональной системе Р*2 / Т. В. Ващенко
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 9-15. - Библиогр.: с. 15 (4 назв.).
Ключевые слова: Функциональная система, Дискретная математика, Дискретный анализ, Алгебра логики, ЭВМ, Математические формулы
Подробнее
15. Статья
Головашкин А. В.
Об одном комбинаторном выражении в прямой сумме полиномов / А. В. Головашкин
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 17-19.
Об одном комбинаторном выражении в прямой сумме полиномов / А. В. Головашкин
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 17-19.
Ключевые слова: Полиномы, Комбинаторное выражение, Алгебра полиномов, Алгебраические выражения, Калининский государственный университет, Труды Тверского государственного университета
Подробнее
16. Статья
Кудрявцев В. Б.
Об условиях П7-полноты для функций с задержками / В. Б. Кудрявцев
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 60-67. - Библиогр.: с. 67 (6 назв.).
Об условиях П7-полноты для функций с задержками / В. Б. Кудрявцев
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 60-67. - Библиогр.: с. 67 (6 назв.).
Ключевые слова: Функции с задержками, Модифицированные задачи, Функциональные системы, Теорема полноты, Рекурсивные функции, П7, Классы Поста
Подробнее
17. Статья
Исмаилов Ш. М.
Об экстенсивности прямоугольных логических сетей, выполняющих операции над многочленами / Ш. М. Исмаилов
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 28-38. - Библиогр.: с. 38 (4 назв.).
Об экстенсивности прямоугольных логических сетей, выполняющих операции над многочленами / Ш. М. Исмаилов
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 28-38. - Библиогр.: с. 38 (4 назв.).
Ключевые слова: Экстенсивное свойство, Прямоугольные логические сети, Многочлены, Классы управляющих систем, Теория автоматов
Подробнее
18. Статья
Шум А. А.
Один пример структурно-полной модальной логики / А. А. Шум
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 117-120. - Библиогр.: с. 120 (4 назв.).
Один пример структурно-полной модальной логики / А. А. Шум
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 117-120. - Библиогр.: с. 120 (4 назв.).
Ключевые слова: Модальная логика, Структурно-полная логика, Логико-алгебраические конструкции, Суперинтуиционистские логики, Алгебраические системы, Пропозициональные исчисления, Калининский политехнический институт
Подробнее
19. Статья
Хатимов В. М.
Описание абелевых групп без кручения через Р-примитивные группы / В. М. Хатимов
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 103-105. - Библиогр.: с. 105 (2 назв.).
Описание абелевых групп без кручения через Р-примитивные группы / В. М. Хатимов
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 103-105. - Библиогр.: с. 105 (2 назв.).
Ключевые слова: Абелевы группы, Абелевы группы конечного ранга, Р-примитивные группы, Абелевы группы без кручения, Множество простых чисел
Подробнее
20. Статья
Максимов В. М.
Представление матричных алгебр скрещенным произведением двух алгебр / В. М. Максимов
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 72-77. - Библиогр.: с. 77 (3 назв.).
Представление матричных алгебр скрещенным произведением двух алгебр / В. М. Максимов
// Алгебро-логические конструкции. - Калинин : Калининский государственный университет, 1989. - С. 72-77. - Библиогр.: с. 77 (3 назв.).
Ключевые слова: Матричные алгебры, Алгебры Грассмана, Повышающие операторы, Понижающие операторы, Лемма, Матрицы, Калининский государственный университет, Труды Тверского государственного университета
Подробнее