Значения слова Выводимый. Что такое Выводимый?

Слово состоит из 9 букв: первая в, вторая ы, третья в, четвёртая о, пятая д, шестая и, седьмая м, восьмая ы, последняя й,

Слово выводимый английскими буквами (транслитом) - vyvodimyi

Исчисление

ИСЧИСЛЕ́НИЕ — обладающий определенными свойствами аппарат правил оперирования со знаками, используемый при эффективном решении задач (получении искомого результата) или при доказательстве (соответственно – опровержении) предложений…в) правилами, позволяющими выводить слова из уже полученных (выведенных) слов (напр., из начальных, полученного из начальных на след. шаге, и т.д.). Алфавит здесь предполагается конечным.
Философская энциклопедия

ИСЧИСЛЕНИЕ (формальная система) — система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов — букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита…в) правилами, позволяющими выводить слова из уже полученных (выведенных) слов (напр., из начальных, полученного из начальных на след. шаге, и т.д.). Алфавит здесь предполагается конечным.
Философская энциклопедия

ИСЧИСЛЕНИЕ - 1) Составная часть названия нек-рых разделов математики, трактующих правила вычислений и оперирования с объектами того или иного типа; напр., дифференциальное И., вариационное И. 2) Дедуктивная система…Элемент наз. выводимым в если в можно построить вывод, кончающийся этим элементом. Для удобства изучения выводов они иногда записываются в виде нелинейной структуры (см. Вывода дерево...
Математическая энциклопедия. - 1977-1985

Протон

«Прото́н» (УР-500, «Протон-К», «Протон-М») — ракета-носитель (РН) тяжёлого класса, предназначенная для выведения автоматических космических аппаратов на орбиту Земли и далее в космическое пространство.по цене пуска, по массе полезного груза, выводимой на ГПО, по стоимости килограмма полезного груза на орбите и по возможности производить достаточное количество РН в течение года.
ru.wikipedia.org

Формальная система

АКСИОМАТИЧЕСКИЙ МЕТОД - способ построения научной теории, при к-ром в основу теории кладутся нек-рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом.задание формальной системы Sкак точного математич. объекта, поскольку понятие теоремы или выводимой формулы системы Sобразуется для всех формальных систем следующим единообразным способом...
Математическая энциклопедия. - 1977-1985

Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории...Полнота Теория называется полной, если в ней для любой формулы выводима либо сама, либо ее отрицание. В противном случае, теория содержит недоказуемые утверждения (утверждения, которые...
ru.wikipedia.org

АКСИОМАТИЧЕСКИЙ МЕТОД (от греч. axioma) — принятое положение — способ построения научной теории, при котором в доказательствах пользуются лишь аксиомами, постулатами и ранее выведенными из них утверждениями.
Прохоров Б.Б. Экология человека. - 2005

Буква в встречается 2 раза. Слова с 2 буквами в
Буква ы встречается 2 раза. Слова с 2 буквами ы
Буква о встречается 1 раз. Слова с 1 буквой о
Буква д встречается 1 раз. Слова с 1 буквой д
Буква и встречается 1 раз. Слова с 1 буквой и
Буква м встречается 1 раз. Слова с 1 буквой м
Буква й встречается 1 раз. Слова с 1 буквой й

Примеры употребления слова выводимый

Эта технология анализирует звук, выводимый игрой, и показывает направление к источникам шума на небольшом радаре, отображаемом поверх основной картинки.

Похожие запросы: