Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
1983, p. 66. Kvirkvelia, 1969, p. 119. Патон Е. О. (1908). Расчет и исчисление веса железного пролетного строения арочного с ездою по низу Мухранского…5 kB (585 palabras) - 05:14 19 mar 2024
Resultados de la Wikipedia en ruso.
- Дифференциальное исчисление Интегральное исчисление Вариационное исчисление Многомерное исчисление (анализ функций многих переменных) Исчисления в математической…2 kB (93 palabras) - 15:08 17 may 2024
- Математический анализ (redirección desde Дифференциальное и интегральное исчисление)Алгебраический подход (исчисление бесконечно малых) начинает появляться у Валлиса, Джеймса Грегори и Барроу. В полной мере новое исчисление как систему создал…80 kB (5818 palabras) - 09:35 20 feb 2024
- Этическое исчисление — применение математики для вычисления вопросов в этике. В общем случае, под этическим исчислением понимается любой метод определения…6 kB (344 palabras) - 16:33 18 abr 2024
- Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости…24 kB (2289 palabras) - 09:36 14 may 2024
- Винтовое исчисление и его приложения к механике. М.:Наука, 1965; 3ейлигер Д. Н. Комплексная линейчатая геометрия. Л.-М., 1934. "ВИНТОВОЕ ИСЧИСЛЕНИЕ". Математическая…3 kB (235 palabras) - 21:02 4 abr 2020
- Формальная система (redirección desde Формальное исчисление)порядков (Логики высшего порядка) Лямбда-исчисление Лямбда-исчисление с типами Исчисление конструкций Исчисление индуктивных конструкций Клини С. К. Введение…17 kB (947 palabras) - 05:06 6 may 2024
- отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают: Исчисление кортежей Исчисление доменов…1 kB (63 palabras) - 17:49 9 may 2022
- Matita[англ.]). Среди вариантов исчисления — исчисление индуктивных конструкций (использует индуктивные типы), исчисление коиндуктивных конструкций (с применением…10 kB (931 palabras) - 04:26 1 jul 2022
- векторного исчисления является тензорное исчисление, изучающее тензоры и тензорные поля. Тензорное исчисление в свою очередь разделяется на тензорную алгебру…9 kB (528 palabras) - 05:35 10 jul 2021
- Вариацио́нное исчисле́ние — раздел анализа, в котором изучаются вариации функционалов. Наиболее типичная задача — найти функцию, на которой заданный функционал…83 kB (9081 palabras) - 22:42 7 abr 2024
- поставить теневое исчисление на строгое основание. В 1970-х Стивен Роман, Джан-Карло Рота и другие разработали теневое исчисление в смысле линейных функционалов…15 kB (1410 palabras) - 08:12 14 feb 2023
- естественных языков. С математической точки зрения исчисление Ламбека является фрагментом линейной логики. Исчисление Ламбека можно определить несколькими эквивалентными…18 kB (1912 palabras) - 12:01 6 jul 2023
- систем[англ.] (ACP), LOTOS. Более современными методами являются пи-исчисление, исчисление окружений[англ.], PEPA[англ.], join-calculus и другие. В случае…6 kB (280 palabras) - 12:26 3 ago 2023
- Исчисление Кёрби (или исчисление Кирби) — метод модификации оснащённых зацеплений[англ.] на трёхмерной сфере с помощью конечного числа движений Кёрби.…8 kB (472 palabras) - 22:37 18 feb 2023
- Дифференциальное исчисление Исторический очерк развития интегрального исчисления даётся в статье Математический анализ. Интегральное исчисление // Казахстан…13 kB (1211 palabras) - 16:54 20 mar 2024
- функции оператора. Функциональное исчисление Бореля является более общим, чем непрерывное функциональное исчисление, и имеет иную направленность, чем…22 kB (1971 palabras) - 20:05 25 ago 2023
- Дифференциальное исчисление — раздел математического анализа, в котором изучаются понятия производной и дифференциала и способы их применения к исследованию…15 kB (1571 palabras) - 06:45 11 ene 2024
- Операционное исчисление. — 1975. — С. 408. Конторович М. И. Операционное исчисление. — 1955. — С. 229. Мартыненко В. С. Операционное исчисление. — 1990. —…20 kB (1937 palabras) - 02:21 10 abr 2024
- Логика высказываний (redirección desde Исчисление высказываний)высказываний, пропозициональная логика (лат. propositio — «высказывание») или исчисление высказываний, также логика нулевого порядка — это раздел символической…18 kB (1335 palabras) - 18:36 29 jun 2023
- направлении тензорное исчисление было развито Туллио Леви-Чивитой и Грегорио Риччи (ранее тензорное исчисление также называли «исчислением Риччи»). Особое развитие…5 kB (239 palabras) - 16:45 22 nov 2022
- π {\displaystyle \pi } -исчисление в теоретической информатике — исчисление процессов, изначально разработанное Робином Милнером, Иоахимом Пэрроу и Дэвидом…15 kB (1088 palabras) - 08:06 30 mar 2022