| Найдено документов - 12 | Статьи из номера журнала (сборника): Математическая логика и математическая лингвистика : межвуз. темат. сб. / М-во высш. и сред. спец. образования РСФСР, Калинин. гос. ун-т ; [редкол.: Гладкий А. В. (отв. ред.) и др.]. - Калинин : КГУ, 1981. - 169, [3] с. - Библиогр. в конце ст. - 1.30. | Версия для печати |
Сортировать по:
1. Статья
Кушнер Б. А.
О поведении общего члена шпекерова ряда / Б. А. Кушнер
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 112-116. - Библиогр.: с. 116.
О поведении общего члена шпекерова ряда / Б. А. Кушнер
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 112-116. - Библиогр.: с. 116.
Ключевые слова: Шпекеров ряд, Математический анализ, Математическая логика, Конструктивная функция, Эквивалентность
Подробнее
2. Статья
Будинас Б. Л.
О принципе селектора и об аналитической определимости действительных чисел в расширениях конструктивного универсума / Б. Л. Будинас
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 13-23. - Библиогр.: с. 22-23.
О принципе селектора и об аналитической определимости действительных чисел в расширениях конструктивного универсума / Б. Л. Будинас
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 13-23. - Библиогр.: с. 22-23.
Ключевые слова: Универсум, Селекторы, Упорядочение континуума, Теория доказательств, Непрерывные функции
Подробнее
3. Статья
Валиев М. К.
О симметризованной временной логике Фон Вригта / М. К. Валиев
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 23-31. - Библиогр.: с. 30-31.
О симметризованной временной логике Фон Вригта / М. К. Валиев
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 23-31. - Библиогр.: с. 30-31.
Ключевые слова: Логика Фон Вригта, Временная логика, Операторы, Логики, Теория доказательств
Подробнее
4. Статья
Дехтярь Михаил Иосифович.
О структуре Т-сводимостей с ограниченной сложностью / Дехтярь Михаил Иосифович
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 60-76. - Библиогр.: с. 75-76.
О структуре Т-сводимостей с ограниченной сложностью / Дехтярь Михаил Иосифович
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 60-76. - Библиогр.: с. 75-76.
Ключевые слова: Тьюринговы сводимости, Т-сводимость, Сводимость с ограниченной сложностью, Теория множеств, Математическая логика
Подробнее
5. Статья
Григорьева А. Н.
Операции на древовидных словах и сложность / А. Н. Григорьева
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 51-59. - Библиогр.: с. 59.
Операции на древовидных словах и сложность / А. Н. Григорьева
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 51-59. - Библиогр.: с. 59.
Ключевые слова: Древовидные слова, Теория графов, Количество информации, Сложность конечного объекта, Математическая лингвистика
Подробнее
6. Статья
Галюкшов Борис Семенович.
Полуконтекстные грамматики / Галюкшов Борис Семенович
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 38-50. - Библиогр. : с. 50.
Полуконтекстные грамматики / Галюкшов Борис Семенович
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 38-50. - Библиогр. : с. 50.
Ключевые слова: Полуконтекстные грамматики, Формальные грамматики, Информатика, Языки программирования, Труды Тверского государственного университета
Подробнее
7. Статья
Варданян В. А.
Размышляющие мудрецы: логика знаний и действий / В. А. Варданян
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 31-37. - Библиогр.: с. 37.
Размышляющие мудрецы: логика знаний и действий / В. А. Варданян
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 31-37. - Библиогр.: с. 37.
Ключевые слова: Математическая логика, Логическая система, Логические задачи, Теорема стабилизации, Язык логики
Подробнее
8. Статья
Диковский А. Я.
Сложность вывода однозначных бесконтекстных языков и грамматик / А. Я. Диковский
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 76-95. - Библиогр.: с. 95.
Сложность вывода однозначных бесконтекстных языков и грамматик / А. Я. Диковский
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 76-95. - Библиогр.: с. 95.
Ключевые слова: Бесконтекстная грамматика, Бесконтекстный язык, Система понятий, Математическая лингвистика, Передача информации
Подробнее
9. Статья
Андреева Елена Аркадьевна.
Сложность некоторых задач языка программирования Алгол-60 / Андреева Елена Аркадьевна
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 3-13. - Библиогр.: с. 13.
Сложность некоторых задач языка программирования Алгол-60 / Андреева Елена Аркадьевна
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 3-13. - Библиогр.: с. 13.
Ключевые слова: Языки программирования, Алгол-60, Автоматизация программирования, Алгоритмические языки, Труды Тверского государственного университета
Подробнее
10. Статья
Канович М. И.
Сложность неподвижной точки и сдвигающего алгоритма / М. И. Канович
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 96-111. - Библиогр.: с. 111.
Сложность неподвижной точки и сдвигающего алгоритма / М. И. Канович
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 96-111. - Библиогр.: с. 111.
Ключевые слова: Неподвижная точка, Сдвигающий, Алгоритм, Рекурсивные функции, Труды Тверского государственного университета
Подробнее
11. Статья
Кошелева О. М.
Что может физика дать конструктивной математике? / О. М. Кошелева, В. Я. Крейнович
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 117-128. - Библиогр.: с. 127-128.
Что может физика дать конструктивной математике? / О. М. Кошелева, В. Я. Крейнович
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 117-128. - Библиогр.: с. 127-128.
Авторы: Кошелева О. М., Крейнович В. Я.
Ключевые слова: Конструктивная математика, Математическая логика, Математическая лингвистика, Физические аспекты, Квантовая механика
Подробнее
12. Статья
Курьеров Ю. Н.
Эксперимент с распознаванием пропозициональной выполнимости на основе УС-стратегии / Ю. Н. Курьеров, С. Ю. Маслов
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 128-134. - Библиогр. : с. 134.
Эксперимент с распознаванием пропозициональной выполнимости на основе УС-стратегии / Ю. Н. Курьеров, С. Ю. Маслов
// Математическая логика и математическая лингвистика. - Калинин : КГУ, 1981. - С. 128-134. - Библиогр. : с. 134.
Авторы: Курьеров Ю. Н., Маслов С. Ю.
Ключевые слова: Теория эксперимента, Линейные задачи, Метод расщепления, Распознавание, Семиотика
Подробнее