исчисление
111ИСЧИСЛЕНИЕ ГАРАНТИЙНЫХ СРОКОВ — в соответствии со ст. 441 ГК гарантийный срок начинает течь с момента передачи товаров покупателю (ст. 428 ГК) (см. Договор купли продажи), если иное не предусмотрено договором купли продажи. Если покупатель лишен возможности использовать товар,… …
112ИСЧИСЛЕНИЕ СРОКОВ — в соответствии со ст. 191 ГК установленный законодательством, сделкой или назначаемый судом срок определяется календарной датой или истечением периода времени, который исчисляется годами, месяцами, неделями, днями или часами. Срок может… …
113Дифференциальное и интегральное исчисление — Математический анализ совокупность разделов математики, посвященных исследованию функций и их обобщений методами дифференциального и интегрального исчислений. При столь общей трактовке к анализу следует отнести и функциональный анализ вместе с… …
114Векторное исчисление — математическая дисциплина, в которой изучают свойства операций над Векторами евклидова пространства. При этом понятие вектора представляет собой математическую абстракцию величин, характеризующихся не только численным значением, но и… …
115Лямбда-исчисление — (λ исчисление)  формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их основная… …
116Λ-исчисление — Лямбда исчисление (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков… …
117Ламбда-исчисление — Лямбда исчисление (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков… …
118Лямбда исчисление — (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их… …
119ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — см. Логистика. Философский энциклопедический словарь. 2010. ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ исчисление ( …
120Дифференциальное исчисление — раздел математики, в котором изучаются производные и дифференциалы функций и их применения к исследованию функций. Оформление Д. и. в самостоятельную математическую дисциплину связано с именами И. Ньютона и Г. Лейбница (вторая половина 17 …
