Cтраница 1
Последовательность формул Г называется неразложимой, если она состоит только из неразложимых формул. В противоположном случае она называется разложимой. [1]
Последовательность формул (1.18) после замены в ней символов Xi j конкретными названиями ячеек определяет некоторую последовательность локально заданных операций. [2]
Последовательность формул (1.18) после замены в ней символов xitj конкретными названиями ячеек определяет некоторую последовательность локальных операций над словом W, в результате последовательного выполнения которых слово W оказывается преобразованным в новое слово W. Некоторые из символов xitj в последовательности формул (1.18) могут обозначать произвольные ячейки, другие - вполне определенные ячейки. [3]
Коллатц [3] затабулировал последовательность формул (3.6) - (3.16) для дифференциальных уравнений первого, второго, третьего и четвертого порядков. [4]
Кроме того, пусть последовательности формул и булевских констант будут такими, как указано в определении базисной формулы. [5]
Геометрический смысл метода виден из последовательности формул ( lil: 2), из которых видно, что каждый шаг расчета есть шаг по методу Эйлера. [6]
Основой численного метода является алгоритм, представляющий последовательность формул, с помощью которых конкретное решение всегда может быть получено на вычислительной машине; если решением считать не окончательный ответ на вопрос задачи, а сам алгоритм, то алгоритмическое решение будет обладать общностью аналитического. Однако, говоря об аналитическом методе, мы предполагаем возможность выражения окончательного решения через хорошо известные функции, благодаря чему это решение является особенно наглядным. Поэтому следует полагать, что применение аналитических методов, когда оно возможно, всегда будет оставаться желательным и полезным. [7]
Математическое описание некоторого вычислительного процесса обычно представляет собой последовательность формул, в которой каждая формула разделена знаком равенства на две части: в левой части содержится то или иное наименование ( символ) переменной или функции, в правой - выражение, по которому она должна быть вычислена. [8]
Заменяя b на различные числа, мы получили бы последовательность формул, большинство которых выражало бы ошибочные суждения. [9]
Алгоритм может быть представлен в виде: I) последовательности формул; 2) схемы алгоритма; 3) программы на алгоритмическом языке. Наиболее наглядным способом описания алгоритма является схема алгоритма, представляющая собой последовательность графических изображений ( символов), соединенных линиями со стрелками, указывающими направление вычислительного процесса. [10]
Далее мы замечаем, что поскольку любое доказательство в 31 представляет собой последовательность формул, то доказательства тоже можно перенумеровать. [11]
Процедура формального вывода в дедуктивных системах, или цепочка вывода, представляет собой последовательность формул, начинающуюся с аксиом, в которой каждая последующая формула выводится на основе совокупности предшествующих формул и аксиом. В формальных системах с малым числом ПВ обычно имеется большое число аксиом, и наоборот. [12]
Программирование в Mathcad чрезвычайно наглядно и понятно, так как программа представляет собой последовательность формул. Основные операторы программирования расположены на панели Programming ( Программирование), вызываемой щелчком на кнопке Programming Toolbar ( Панель программирования) математической панели. [13]
Часто секвенции будут обозначаться через ГгЧЧг или Г Р, где Г обозначает последовательность формул ИВ, может быть, пустую. [14]
Кроме того, программа Mathcad - это, фактически, записанный в виде последовательности формул алгоритм решения задачи. Поэтому программа абсолютно понятна каждому, знающему суть задачи. В отличие от нее программа на любом из традиционных языков программирования представляет собой очень трудный для понимания длинный список операторов. [15]