| Найдено документов - 19 | Статьи из номера журнала (сборника): Логические методы построения эффективных алгоритмов : межвед. темат. сб. науч. тр. / М-во высш. и сред. спец. образования РСФСР, Калинин. гос. ун-т ; [редкол.: М. И. Канович (отв. ред.) и др.]. - Калинин : КГУ, 1986. - 137, [2] с. : ил. - Библиогр. в конце ст. - 1.00. | Версия для печати |
Сортировать по:
1. Статья
Нейман В. С.
Безразверточный синтез программ на вычислительных моделях с R-формулами / В. С. Нейман
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 71-81. - Библиогр.: с. 80-81.
Безразверточный синтез программ на вычислительных моделях с R-формулами / В. С. Нейман
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 71-81. - Библиогр.: с. 80-81.
Ключевые слова: Синтез программ, Алгоритмы, развертка, Рекурсивные ссылки, Предикаты
Подробнее
2. Статья
Абрамов С. А.
Множество предикатов, построенное исходя из простейших арифметических операций и отношения "больше" / С. А. Абрамов
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 3-6.
Множество предикатов, построенное исходя из простейших арифметических операций и отношения "больше" / С. А. Абрамов
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 3-6.
Ключевые слова: Арифметические операции, Предикаты, Алгоритмы, Построение алгоритмов, Множество предикатов
Подробнее
3. Статья
Чагров А. В.
Нижняя оценка мощности аппроксимирующих шкал Крипке / А. В. Чагров
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 96-125. - Библиогр.: с. 125.
Нижняя оценка мощности аппроксимирующих шкал Крипке / А. В. Чагров
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 96-125. - Библиогр.: с. 125.
Ключевые слова: Шкала Крипке, Математическая логика, Логические матрицы, Формальные системы, Труды Тверского государственного университета
Подробнее
4. Статья
Артемов С. Н.
О локальной табличности пропозициональных логик доказуемости / С. Н. Артемов
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 9-13. - Библиогр.: с. 12-13.
О локальной табличности пропозициональных логик доказуемости / С. Н. Артемов
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 9-13. - Библиогр.: с. 12-13.
Ключевые слова: Пропозициональная логика, Пропозициональная логика доказуемости, Доказуемость, Модальные логики, Табличность
Подробнее
5. Статья
Чагрова Лидия Алексеевна.
О первопорядковой определимости интуиционистских формул с ограничениями на вхождение связок / Чагрова Лидия Алексеевна
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 135-136. - Библиогр.: с. 136.
О первопорядковой определимости интуиционистских формул с ограничениями на вхождение связок / Чагрова Лидия Алексеевна
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 135-136. - Библиогр.: с. 136.
Ключевые слова: Интуиционистские формулы, Математическая логика, Суперинтуиционистские логики, Труды Тверского государственного университета, Логические методы
Подробнее
6. Статья
Тайминя Д. Я.
О сложности вероятностных конечных автоматов, распознающих сверхязыки / Д. Я. Тайминя, Р. В. Фрейвалд
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 92-96. - Библиогр.: с. 96.
О сложности вероятностных конечных автоматов, распознающих сверхязыки / Д. Я. Тайминя, Р. В. Фрейвалд
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 92-96. - Библиогр.: с. 96.
Авторы: Тайминя Д. Я., Фрейвалд Р. В.
Ключевые слова: Вероятностные автоматы, Конечные автоматы, Управляющие системы, Распознавание сверхязыков, Автоматы
Подробнее
7. Статья
Шум А. А.
О структурно-правильных моделях нормальных модальных логик / А. А. Шум
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 129-135. - Библиогр.: с. 134-135.
О структурно-правильных моделях нормальных модальных логик / А. А. Шум
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 129-135. - Библиогр.: с. 134-135.
Ключевые слова: Модальные логики, Математическая логика, Структурно-правильные модели, Логические методы, Алгоритмы
Подробнее
8. Статья
Новикова Е. В.
Об алгоритме синтеза циклических программ по системам рекуррентных соотношений / Е. В. Новикова
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 86-90. - Библиогр.: с. 89-90.
Об алгоритме синтеза циклических программ по системам рекуррентных соотношений / Е. В. Новикова
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 86-90. - Библиогр.: с. 89-90.
Ключевые слова: Рекуррентные соотношения, Алгоритмы, Синтез, Циклические программы, Логические методы
Подробнее
9. Статья
Нестеров В. М.
Об одной возможности пополнения вычислительной модели / В. М. Нестеров
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 81-86. - Библиогр.: с. 85-86.
Об одной возможности пополнения вычислительной модели / В. М. Нестеров
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 81-86. - Библиогр.: с. 85-86.
Ключевые слова: Вычислительная модель, Операторы, Логические методы, Программирование, Математическая логика, Язык Паскаль, Полиномы
Подробнее
10. Статья
Галюкшов Борис Семенович.
Обобщенные системы составляющих и полуконтекстные грамматики / Галюкшов Борис Семенович
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 13-21. - Библиогр.: с. 21.
Обобщенные системы составляющих и полуконтекстные грамматики / Галюкшов Борис Семенович
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 13-21. - Библиогр.: с. 21.
Ключевые слова: Полуконтекстные грамматики, Система составляющих, Математическая логика, Математическая лингвистика, Синтаксические структуры
Подробнее
11. Статья
Арсланов М. М.
Оператор скачка и Т-неподвижные точки / М. М. Арсланов
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 6-9. - Библиогр.: с. 9.
Оператор скачка и Т-неподвижные точки / М. М. Арсланов
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 6-9. - Библиогр.: с. 9.
Ключевые слова: Неподвижные точки, Математическая логика, Теория рекурсивных функций, Эффективная вычислимость, Алгоритмы
Подробнее
12. Статья
Козленко В. Я.
Оптимальные "в среднем" методы интегрирования, экстраполяции и поиска корней / В. Я. Козленко, В. Я. Крейнович
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 52-58. - Библиогр.: с. 58.
Оптимальные "в среднем" методы интегрирования, экстраполяции и поиска корней / В. Я. Козленко, В. Я. Крейнович
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 52-58. - Библиогр.: с. 58.
Авторы: Козленко В. Я., Крейнович В. Я.
Ключевые слова: Методы интегрирования, Построение алгоритмов, Алгоритмы, Мера Винера, Экстраполяция
Подробнее
13. Статья
Канович М. И.
Оценки сложности синтеза программ в концептуальных базах знаний / М. И. Канович
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 32-52. - Библиогр.: с. 51-52.
Оценки сложности синтеза программ в концептуальных базах знаний / М. И. Канович
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 32-52. - Библиогр.: с. 51-52.
Ключевые слова: Автоматический синтез программ, Автоматический синтез, Синтез программ, Базы знаний, Системы управления
Подробнее
14. Статья
Кушнер Б. А.
Пример везде неравномерно непрерывной конструктивной функции, продолжимой на псевдочисла / Б. А. Кушнер
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 58-63. - Библиогр.: с. 63.
Пример везде неравномерно непрерывной конструктивной функции, продолжимой на псевдочисла / Б. А. Кушнер
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 58-63. - Библиогр.: с. 63.
Ключевые слова: Конструктивная функция, Непрерывные функции, Псевдочисла, Алгорифмы, Операторы
Подробнее
15. Статья
Чагров Александр Васильевич.
Разрешимость проблемы антитабличности расширений логики Гёделя-Лёба / Чагров Александр Васильевич, Чагрова Лидия Алексеевна
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 126-129. - Библиогр.: с. 128-129.
Разрешимость проблемы антитабличности расширений логики Гёделя-Лёба / Чагров Александр Васильевич, Чагрова Лидия Алексеевна
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 126-129. - Библиогр.: с. 128-129.
Авторы: Чагров Александр Васильевич, Чагрова Лидия Алексеевна
Ключевые слова: Антитабличность, Математическая логика, Труды Тверского государственного университета, Разрешимость, Логические методы
Подробнее
16. Статья
Григорьева А. Н.
Сложность распознавания вхождения трехсвязных изображений / А. Н. Григорьева
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 26-32. - Библиогр.: с. 31-32.
Сложность распознавания вхождения трехсвязных изображений / А. Н. Григорьева
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 26-32. - Библиогр.: с. 31-32.
Ключевые слова: Трёхсвязные изображения, Распознавание, Вхождение трёхсвязных изображений, Вычислительные алгоритмы, Изоморфизм
Подробнее
17. Статья
Горячев С. В.
Сохранение относительной интерпретируемости теорий при их расширениях утверждениями типа непротиворечивости / С. В. Горячев
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 21-26. - Библиогр.: с. 26.
Сохранение относительной интерпретируемости теорий при их расширениях утверждениями типа непротиворечивости / С. В. Горячев
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 21-26. - Библиогр.: с. 26.
Ключевые слова: Относительная интерпретируемость теорий, Непротиворечивость, Интерпретируемость теорий, Расширения, Расширения арифметики
Подробнее
18. Статья
Ногина Е. Ю.
Степени неразрешимости расширений логики Gl / Е. Ю. Ногина
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 90-92. - Библиогр.: с. 92.
Степени неразрешимости расширений логики Gl / Е. Ю. Ногина
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 90-92. - Библиогр.: с. 92.
Ключевые слова: Модальные логики, Пропозициональная логика, Тьюринговые логики, Высшая математика, Теория множеств
Подробнее
19. Статья
Мусикаев Ильмир Хафизович.
Строгая иерархия логик / Мусикаев Ильмир Хафизович
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 63-70. - Библиогр.: с. 70.
Строгая иерархия логик / Мусикаев Ильмир Хафизович
// Логические методы построения эффективных алгоритмов. - Калинин : КГУ, 1986. - С. 63-70. - Библиогр.: с. 70.
Ключевые слова: Динамическая логика, Математическая логика, Иерархия, Программная логика, Труды Тверского государственного университета
Подробнее