вывод (формулы)

  • 111История возникновения квантовой физики — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей …

    Википедия

  • 112ЕВХАРИСТИЯ. ЧАСТЬ I — [греч. Εὐχαριστία], главное таинство христ. Церкви, состоящее в преложении (μεταβολή изменение, превращение) приготовленных Даров (хлеба и разбавленного водой вина) в Тело и Кровь Христовы и причащении (κοινωνία приобщение; μετάληψις принятие)… …

    Православная энциклопедия

  • 113НАТУРАЛЬНОЕ ИСЧИСЛЕНИЕ — (исчисление естественного в ы в о д а) – общее название логич. исчислений [введенных и впервые описанных нем. логиком и математиком Г. Генценом (1934) и польским логиком С. Яськовским (1934) с целью формализации процесса логич. вывода ], более… …

    Философская энциклопедия

  • 114Лоренц-преобразование — Преобразованиями Лоренца в физике, в частности в специальной теории относительности (СТО), называются преобразования, которым подвергаются пространственно временные координаты (x,y,z,t) каждого события при переходе от одной инерциальной системы… …

    Википедия

  • 115Лоренца преобразования — Преобразованиями Лоренца в физике, в частности в специальной теории относительности (СТО), называются преобразования, которым подвергаются пространственно временные координаты (x,y,z,t) каждого события при переходе от одной инерциальной системы… …

    Википедия

  • 116Преобразование Лоренца — Преобразованиями Лоренца в физике, в частности в специальной теории относительности (СТО), называются преобразования, которым подвергаются пространственно временные координаты (x,y,z,t) каждого события при переходе от одной инерциальной системы… …

    Википедия

  • 117Формальная система — (формальная теория, аксиоматическая теория)  результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… …

    Википедия

  • 118дедукции теорема —         ДЕДУКЦИИ ТЕОРЕМА (от лат. deductio выведение) утверждение о свойствах логической теории. Д. т. гласит: «Если имеется вывод Г, А ( В, то имеется также и вывод Г J А > В, где > знак импликации, Г произвольное (возможно пустое)… …

    Энциклопедия эпистемологии и философии науки

  • 119ЕВХАРИСТИЯ. ЧАСТЬ II — Е. в православной Церкви II тысячелетия Е. в Византии в XI в. К XI в. визант. богослужение приобрело почти тот вид, какой оно сохраняло в правосл. Церкви все последующее тысячелетие; в его основе лежала древняя к польская традиция, значительно… …

    Православная энциклопедия

  • 120Теорема о равнораспределении — Тепловое движение α пептида. Сложное дрожащее движение атомов, составляющих пептид, случайно, и энергия отдельного атома флуктуирует в широких пределах, но с помощью закона равнораспределения вычисляют как среднюю кинетическую энергию каждого… …

    Википедия