Истинностное значение (логическое значение)
значение, которое могут принимать рассматриваемые в математической логике высказывания; число различных истинностных значений определяет значность, или валентность логики
Примитивно-рекурсивная функция
Предмет
Высшая математика
👍 Проверено
Автор24
функция, определенная на некотором множестве натуральных чисел, которая или является первичной функцией, или может быть получена из них в результате конечной совокупности операций подстановки и/или примитивной рекурсии
Научные статьи на тему «Примитивно-рекурсивная функция»
Рекурсивные композиции деревьев и их свойства
Введены операции рекурсивной композиции деревьев, показана связь между алгебраическими структурами и деревьями, доказано, что для любой примитивно-рекурсивной функции можно взаимно однозначно поставить в соответствие схему рекурсивной композиции построения дерева терма. Получены выражения для числа листьев и узлов деревьев, полученных на основе рекурсивной композиции.
Creative Commons
Научный журнал
Представление множеств деревьями и/илио
Рассматривается возможность представления множеств в виде деревьев И/ИЛИ. Показано, что если мощность множества описывается примитивно-рекурсивной функцией алгебры, то для такого множества можно взаимно-однозначно поставить в соответствие схему рекурсивной композиции построения дерева И/ИЛИ. Получен метод построения выражения мощности множества, представленного рекурсивной композицией построения дерева И/ИЛИ.
Creative Commons
Научный журнал
Еще термины по предмету «Высшая математика»
Китайская теорема об остатках
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
Спрямляемая кривая
кривая, имеющая конечную длину
- Частично-рекурсивная функция
- Рекурсивность
- Рекурсивное деление
- Алгоритм рекурсивный
- Рекурсивная подпрограмма
- Рекурсивный алгоритм
- Примитивный полином
- Примитивный треугольник
- Примитивное общество
- Системы земледелия примитивные
- Примитивная элементарная ячейка
- Примитивные типы данных
- Элементарная трансляция, примитивная трансляция
- Функция
- Бэра функция (бэровская функция)
- Двоякопериодическая функция (эллиптическая функция)
- Интегрируемая функция (или суммируемая функция)
- Постоянная функция (константная функция)
- Приближение функций (аппроксимация функций)
- Регулярная функция (голоморфная функция)
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
