Digite uma palavra ou frase em qualquer idioma 👆
Idioma:
Tradução e análise de palavras por inteligência artificial ChatGPT
Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:
- como a palavra é usada
- frequência de uso
- é usado com mais frequência na fala oral ou escrita
- opções de tradução de palavras
- exemplos de uso (várias frases com tradução)
- etimologia
O que (quem) é Винтовое исчисление - definição
Винтовое исчисление
раздел векторного исчисления (См. Векторное исчисление), в котором изучаются операции над винтами. При этом винтом называется пара векторов {a, b}, приложенных началами к одной точке О и удовлетворяющих условиям: при переходе к новой точке O' вектор а не изменяется, а вектор b заменяется вектором b' = b-[p, a], где р = OO'. Понятие винта используется в механике (равнодействующая f системы сил fi и главный момент m этой системы относительно точки системы образует винт {f, m}), в геометрии (в теории линейчатых поверхностей). В. и. было создано (1895) русским математиком А. П. Котельниковым.
Типизированное лямбда-исчисление
Типизированное лямбда-исчисление — это версия лямбда-исчисления, в которой лямбда-термам приписываются специальные синтаксические метки, называемые типами. Допустимы различные наборы правил конструирования и приписывания таких меток, они порождают различные системы типизации.
Лямбда-исчисление
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости.
Wikipédia
Винтовое исчисление
Винтово́е исчисле́ние — раздел векторного исчисления, в котором изучаются операции над винтами.
