Результаты поиска

== Формальный вывод == ...то оценки <math>\beta</math> и <math>\gamma</math> соответственно будут [[Метод наименьших квадратов|МНК]]-оценками регрессионной зависимости отклика от не ...

== Формальный вид == Эксперименты по [[Метод Монте-Карло|методу Монте-Карло]] показали, что оценки ''FEIS'' более приемл ...

...о один из методов определения принадлежности входной строки к некоторому [[Формальный язык|формальному языку]], описанному LL(k) [[Контекстно-свободная грамматик Наиболее простой и «человечный» вариант создания анализатора, использующего метод рекурсивного спуска, — это непосредственное программирование по каждому пра ...

'''Ме́тод узловы́х потенциа́лов''' — формальный метод расчета электрических цепей путём записи [[Система линейных алгебраических ...методики. К таким методикам относятся '''метод узловых потенциалов''' и [[метод контурных токов]]. ...

...темы уравнений, описывающей [[Электрическая цепь|электрическую цепь]]. Это метод расчёта электрических цепей, при котором за неизвестные принимаются токи в ...тодов сократить число уравнений в системе. Одним из таких методов является метод контурных токов. ...

'''Строковое ядро''' — это [[Ядерный метод|ядерная функция]], определённая на [[Строковый тип|строках]], т.е. конечных ...роковых ядер с [[Ядерный метод|ядерных]] алгоритмами обучения, таких как [[метод опорных векторов]], позволяет таким алгоритмам работать со строками без нео ...

...> чисел <math>a_0, a_1, a_2, a_3, \ldots</math>, то из них можно построить формальный [[степенной ряд]] Производящая функция Дирихле последовательности <math>\{a_n\}</math> — это формальный [[ряд Дирихле]] ...

...аузальную инференцию|en|Causal inference}} в сравнительных [[кейс-стади]]. Метод направлен на оценку эффектов исследуемого воздействия (например, экономичес == Формальный вывод == ...

'''GW-приближение''' или '''приближение GW''' или '''GW-метод''' ({{Lang-en|GW approximation (GWA)}}) — это приближение, сделанное для ра Другими словами, собственно-энергетическая часть разлагается в формальный ряд Тейлора по степеням экранированного взаимодействия ''W,'' а член самого ...

== Формальный подход == * [[Метод Хартри — Фока]] ...

[[Формальный язык|Язык]], который может быть задан КС-грамматикой, называется контекстно ...модификации алгоритма с подбором альтернатив. При их создании применяется метод, который позволяет однозначно выбрать одну и только одну альтернативу на ка ...

...ами <math>S^R(x)</math> и <math>T^R(x)</math>. Если в таких терминах найти формальный ряд ...оказал, что при <math>C(x)=1</math> алгоритм представляет собой итерацию [[Метод Ньютона|метода Ньютона]] для <math>f(V)=V^{-1} - A</math><ref>{{Sfn-текст|K ...

...числения|двоичных]] цифр (или символов из любого двухбуквенного [[Алфавит (формальный язык)|алфавита]]). Слово Фибоначчи формируется путём повторения [[Конкатена Название «слово Фибоначчи» используется также для обозначения членов [[Формальный язык|формального языка]] ''L'', содержащего строки из нулей и единиц без ря ...

=== Через [[Формальный степенной ряд|формальные степенные ряды]] === ...твенное равенство многочленов влечёт равенство всех коэффициентов, то по [[Метод производящих функций#Свойства|правилам умножения многочленов]] из этого нап ...

...логика|математической логики]], который занимается изучением связи между [[формальный язык|формальными языками]] и их [[Интерпретация (математическая логика)|инт ...нтаксис]]ом и [[семантика|семантикой]]. При этом, первому в ней отвечает [[формальный язык]], а второму — модель — [[математическая структура]], допускающая неко ...

...пример, если <math>ab=ba</math> и <math>b=c</math>, то <math>ac=ca</math>. Метод задания группы образующими и соотношениями состоит в том, чтобы указать (по Данный метод описания групп более эффективен чем, например, [[Таблица Кэли|таблицы Кэли] ...

Этот вывод чисто формальный и не касается вопросов сходимости. ...сленных методов интегрирования. Она объясняет высокую производительность [[Метод трапеций|метода трапеций]] на гладких [[Периодическая функция|периодических ...

...[[теория моделей|теорию моделей]], [[аксиматический метод|аксиоматический метод]] и [[теория рекурсий|теорию рекурсий]]. Он успешно применил методы [[матем ...относятся к [[семантика|семантике]] [[естественный язык|естественных]] и [[формальный язык|формальных языков]]. Он значительно развил теорию [[возможный мир|возм ...

...ая по специальным правилам последовательность утверждений, записанная на [[формальный язык|формальном языке]]) или текст на [[естественный язык|естественном язык ...из правил вывода. '''Формальным доказательством''' утверждения называется формальный вывод, последней строкой которого является данное утверждение. Утверждение, ...

[[Категория:Формальный метод]] ...