Исчисление

основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, а для некоторых подклассов этого класса (лишь для наиболее простых И., совпадающих с ним) — и Алгоритмы решения. Примерами И. Могут служить совокупность арифметических правил оперирования с цифрами (т. Е. Числовыми знаками), «буквенное» И. Элементарной алгебры, дифференциальное И., интегральное И., вариационное И. И д..

ИСЧИСЛЕНИЕ - знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. Е. Термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил ..

Выражает состояние противоположное ожирению (см.).. ..

(излечение, выздоровление) — исход болезни, противоположный смерти от нее. И. Бывает полное или неполное. Большинство острых лихорадочных болезней оканчивается или смертью, или полным выздоровлением, наступающим иногда сразу, иногда постепенно, с перерывами, возвратами (рецидивами) всей болезни или отдельных явлений ее. Сущность И. Состоит в полном восстановлении нормального химического и физического состояния живых тканей и соков, видоизмененного болезнью, — или, если неполного, то такого, при ..

Конечной разностью функции от одной или нескольких переменных называется приращение функции при данных конечных приращениях переменных независимых. Под И. Конечных разностей разумеют совокупность правил. 1) для определения изменений, которым подвергаются функции при конечных приращениях входящих в них переменных, и 2) для определения первообразных функций, когда измененные их виды известны (прямой и обратный способы). При первом появлении дифференциального исчисления приращения переменных величи..

См. Железные руды.. ..

-я, ср.. ..

Просчитывание, эвальвация, подсчитывание, считание, подсчет, вычисление, расценивание. ..

Знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. Е. Термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразовани..

Ср.1) Процесс действия по знач. Глаг. Исчислять (1), исчислить. Подсчет, вычисление.2) устар. Процесс действия по знач. Глаг. Исчислять (2), исчислить. Перечисление.. ..

Исчисления, ср. (книжн.). 1. Действие по глаг. Исчислить-исчислять. Исчисление убытков. 2. Название отделов высшей математики (мат.). Диференциальное исчисление. Интегральное исчисление. Исчисление конечных плоскостей.. ..

Знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символич. Выражений из букв алфавита системы - языка И., т. Е. Термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул И. (его фразеологии) из нек-рого фиксируемого в том же языке набора формул-аксиом. Любое И. Однозначно определяется заданием алфавита И., правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписыван..

- 1) Составная часть названия нек-рых разделов математики, трактующих правила вычислений и оперирования с объектами того или иного типа. Напр., дифференциальное И., вариационное И. 2) Дедуктивная система, т. Е. Способ задания множества путем указания исходных элементов (аксиом исчисления) и вывода правил, каждое из к-рых описывает, как строить новые элементы из исходных и уже построенных. Выводомв И. Наз. Такое линейно упорядоченное множество, что всякий его элемент Рявляется либо аксиомой И. ..

Некоторая знаковая, символьная система. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений преобразует исчисление в формализованный язык. Основные примеры исчислений. Числовые и алгебраические системы, логические исчисления, например, логистика, как математическая логика.. ..

ИСЧИСЛЕНИЕ, область математики, включающая в себя методы ДИФФЕРЕНЦИРОВАНИЯ и ИНТЕГРИРОВАНИЯ. Дифференциальное исчисление имеет дело с дифференцированием, т.е. Процессом нахождения мгновенной скорости изменения функции в любой момент времени. Предельные значения приращения функции устанавливаются, когда приращение одной из ее переменных стремится к нулю. Отношение этих величин называют ПРОИЗВОДНОЙ. Дифференциальное исчисление используют для определения наклона кривых. Интегральное исчисление посв..

(формальная система) - система символов, основными компонентами которой являются. 1) алфавит (совокупность элементарных символов - букв. Цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы), 4) правила вывода теорем (производных доказуемых формул) из аксиом.Символам формальной системы может придаваться различная смысловая интерпретация в зависимости от того, какая конкретная семантическая модель ставится в соответствие всей формальной ..

Исчисление см. Считать, исчисление.. ..

— основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволя­ющий дать точное описание некоторого класса задач, а для от­дельных подклассов этого класса - и алгоритм решения. В математической логике понятие об И. Подверглось уточнению и более строгой формализации. Логическое И. Строится на базе не­которого формализеванного языка. Задается набор исход­ных символов, из которых с помощью четко определенных правил строятся формулы рассматриваемого И. Некото..