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

  • 31Формула Лоренца — Формула Лоренца  Лоренца связывает показатель преломления вещества с электронной поляризуемостью частиц (атомов, ионов, молекул), из которых оно состоит. Формулу получили датский физик Людвиг В. Лоренц (дат. Ludvig Valentin Lorenz ) и… …

    Википедия

  • 32Формула половины стороны — Сферический треугольник В сферической тригонометрии, формула половины стороны применяется для решения сферических треугольников. Содержание …

    Википедия

  • 33ДЕДУКЦИИ ТЕОРЕМА — общее название ряда теорем, позволяющих устанавливать доказуемость импликации в случае, когда дан логический вывод формулы Виз формулы А. В простейшем случае классического, интуиционистского и т. п. исчислений высказываний Д. т. утверждает: если… …

    Математическая энциклопедия

  • 34МОДУС ПОНЕНС — (modus ponens), правило отделения, вывода правило в формальных логич. системах. Правило М. п. записывается в виде схемы где Аи В обозначения для формул формальной логич. системы, а логич. связка импликации. М. п. разрешает выводить Виз посылок… …

    Математическая энциклопедия

  • 35Солнечные часы — У этого термина существуют и другие значения, см. Солнечные часы (значения). Настенные (вертикальные) солнечные часы в Соловецком монастыре. Время съёмки 13:40 по московскому време …

    Википедия

  • 36Куб (алгебра) — У этого термина существуют и другие значения, см. Куб (значения). y=x³, при целых значениях x на отрезке от 1 до 25 Кубом числа называется результат умножения числа на само себя трижды ( …

    Википедия

  • 37LU-разложение — Для улучшения этой статьи желательно?: Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Проставив сноски, внести более точные указания на источники. Добавить иллюстрации …

    Википедия

  • 38Теплоёмкость идеального газа — Теплоемкость идеального газа это отношение количества теплоты, сообщенного газу, к изменению температуры δТ, которое при этом произошло. Содержание 1 Молярная теплоемкость …

    Википедия

  • 39Закон Густавсона — Закон Густавсона  Барсиса (англ. Gustafson – Barsis s law)  оценка максимально достижимого ускорения выполнения параллельной программы, в зависимости от количества одновременно выполняемых потоков вычислений («процессоров») и доли… …

    Википедия

  • 40Гадолин, Аксель Вильгельмович — генерал от артиллерии, заслуженный профессор Михайловской артиллерийской академии, доктор минералогии, ординарный академик Императорской Академии Наук, постоянный член артиллерийского комитета главного артиллерийского управления, происходил из… …

    Большая биографическая энциклопедия