вывод (формулы)
1вывод (формулы) — — [А.С.Гольдберг. Англо русский энергетический словарь. 2006 г.] Тематики энергетика в целом EN derivationdevelopment …
2вывод формулы — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN development …
3Формулы Байеса — Теорема Байеса одна из основных теорем элементарной теории вероятностей, которая определяет вероятность наступления события в условиях, когда на основе наблюдений известна лишь некоторая частичная информация о событиях. По формуле Байеса можно… …
4Вывод — может употребляться в разных контекстах: Вывод проводник в составе электрического устройства, предназначенный для электрического соединения с другими устройствами Устройства ввода вывода класс устройств в типовой архитектуре ЭВМ Вывод результат… …
5ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… …
6ВЫВОД ЛОГИЧЕСКИЙ — ВЫВОД ЛОГИЧЕСКИЙ рассуждение, в котором осуществляется переход по правилам от высказывания или системы высказываний к высказыванию или системе высказываний. К логическому выводу обычно предъявляются (совместно или по отдельности)… …
7вывод логический — ВЫВОД ЛОГИЧЕСКИЙ рассуждение, в котором по определенным правилам осуществляется переход от высказываний или системы высказываний к высказыванию или системе высказываний. К В. л. обычно предъявляются (разом или по отдельности) следующие… …
8вывод логический — рассуждение, в ходе которого из к. л. исходных суждений посылок с помощью логических правил получают заключение новое суждение. Напр., из суждений Все люди смертны и Кай человек мы можем вывести с помощью правил простого категорического… …
9ВЫВОД — логический формальный вывод в исчислении, содержащем логические правила и имеющем в качестве основных выводимых объектов формулы (интерпретацией к рых являются суждения;см. Логические исчисления. Логико математические исчисления). Поскольку… …
10Эйлера-Фурье формулы — формулы для вычисления коэффициентов разложения функции в тригонометрический ряд (ряд Фурье). Э. Ф. ф. названы по имени Л. Эйлера, давшего (1777) первый их вывод, и Ж. Фурье, систематически (начиная с 1811) пользовавшегося… …