Cтраница 4
Составление этой матрицы эквивалентно решению в общем виде задачи вычисления внутренних сил в заданной конструкции от нагрузки заданного вида. Если составлена матрица влияния L, то вычисление внутренних сил от заданной нагрузки сводится к формальной операции умножения матрицы на заданный числовой вектор. [46]
Проведение математической символизации можно проиллюстрировать на следующем примере решения условной математической задачи, которое начинается с осуществления математической символизации. Все это требует понимания, и именно в ходе этих актов понимания обретают смысл использованные в процессе решения задачи формальные операции, а их результат принимается лицом, которое их выполняет ( там же, с. Понимание является результатом символизации в математике, необходимое при этом отождествление символа математики с его значением возможно вследствие опоры на базовый личностно-индивидуальный комплекс неявного знания, формирующийся подсознательно-интуитивным образом. [47]
Следовательно, К 018; теперь нетрудно переписать всю программу в машинных кодах, но можно пойти дальше. Замена баз их численными значениями и вычисление физических адресов - процедура формальная, замена буквенных обозначений КОП цифровыми - еще более формальная операция, значит эти операции можно возложить на саму ЭВМ, создав для этого программу перекодировки. Такой упрощенный код команд носит название автокод или язык ассемблера, а программа, переводящая программу, написанную на языке ассемблера, в программу на машинном коде, называется ассемблером. [48]
Вопрос о недостаточности уравнений одномерной - модели многими авторами связывается с анализом осредненных уравнений, полученных из общей системы уравнений гидромеханики вязкой сжимаемой жидкости. Однако приведенный вывод одномерных уравнений показывает, что эта модель получена не в результате осреднения исходной системы уравнений, а путем формальных операций отбрасывания отдельных членов. В этом случае теряются эффекты, принципиально несовместимые по своей природе с одномерными представлениями. Оценка же степени существенности этих эффектов не производится. [49]
При их организации должны соблюдаться соответствующие законы логики ( тождества, противоречия, исключенного третьего, достаточного основания), их следствия и все закономерности формальных операций над понятиями и суждениями. [50]