математическая формула
71Матлогика — Математическая логика (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого,… …
72Вероятностей теория — математическая наука, позволяющая по вероятностям одних случайных событий находить вероятности других случайных событий, связанных каким либо образом с первыми. Утверждение о том, что какое либо событие наступает с Вероятностью,… …
73Векторное исчисление — математическая дисциплина, в которой изучают свойства операций над Векторами евклидова пространства. При этом понятие вектора представляет собой математическую абстракцию величин, характеризующихся не только численным значением, но и… …
74ВЕРОЯТНОСТЕЙ ТЕОРИЯ — математическая наука, позволяющая по вероятностям одних случайных событий находить вероятности других случайных событий, связанных к. л. образом с первыми. Утверждение о том, что к. л. событие наступает с вероятностью, равной, напр., 1/2, еще не… …
75Поля теория — математическая теория, изучающая свойства скалярных, векторных (в общем случае тензорных) полей, т. е. областей пространства (или плоскости), каждой точке М которых поставлено в соответствие число u (М) (например, температура, давление,… …
76Сферическая тригонометрия — математическая дисциплина, изучающая зависимости между углами и сторонами сферических треугольников (см. Сферическая геометрия). Пусть А, В, С углы и а, b, с противолежащие им стороны сферического треугольника ABC (см. рис.). Углы и… …
77КАЧЕСТВЕННАЯ ТЕОРИЯ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ — математическая дисциплина, изучающая свойства решений обыкновенных дифференциальных уравнений без нахождения самих решений. Основы К. т. д. у. были заложены в конце 19 в. А. Пуанкаре (см. [1], [2]) и А. М. Ляпуновым (см. [3], [4]). А. Пуанкаре… …
78ЛОГИЧЕСКАЯ АКСИОМА — формула логико математич. языка, принимаемая в качестве аксиомы при построении формальной теории, истинная в любой структуре для данного языка в силу смысла логич. символов. Л. а. выбираются таким образом, чтобы множество логических следствий из… …
79ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …
80ВЫБОРКИ ВЗВЕШИВАНИЕ — математическая процедура, предназначенная для восстановления нарушенных пропорций в составе выборочной совокупности по сравнению с генеральной совокупностью . Взвешивание, как правило, применяется к случайным (статистическим) выборкам. При… …